Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9087 Publications
2021 | Journal Article | IST-REx-ID: 9998 | 
Koroteev P, Pushkar P, Smirnov AV, Zeitlin AM. 2021. Quantum K-theory of quiver varieties and many-body systems. Selecta Mathematica. 27(5), 87.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 9999 |
Pulgar E, Schwayer C, Guerrero N, López L, Márquez S, Härtel S, Soto R, Heisenberg CP, Concha ML. 2021. Apical contacts stemming from incomplete delamination guide progenitor cell allocation through a dragging mechanism. eLife. 10, e66483.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Conference Paper | IST-REx-ID: 10002 |
Chatterjee K, Dvorak W, Henzinger MH, Svozil A. 2021. Symbolic time and space tradeoffs for probabilistic verification. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 10024 |
Floreani S, Redig F, Sau F. 2021. Hydrodynamics for the partial exclusion process in random environment. Stochastic Processes and their Applications. 142, 124–158.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Conference Paper | IST-REx-ID: 10004 |
Chatterjee K, Doyen L. 2021. Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv