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.
5779 Publications
2021 | Published | Conference Paper | IST-REx-ID: 9296 | 
Aichholzer O, Arroyo Guevara AM, Masárová Z, et al. On compatible matchings. In: 15th International Conference on Algorithms and Computation. Vol 12635. Springer Nature; 2021:221-233. doi:10.1007/978-3-030-68211-8_18
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10631 |
Cherepanov I, Bighin G, Schouder CA, et al. Excited rotational states of molecules in a superfluid. Physical Review A. 2021;104(6). doi:10.1103/PhysRevA.104.L061303
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9912 |
Erdös L, Krüger TH, Nemish Y. Scattering in quantum dots via noncommutative rational functions. Annales Henri Poincaré . 2021;22:4205–4269. doi:10.1007/s00023-021-01085-6
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9550 |
Bao Z, Erdös L, Schnelli K. Equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. 2021;9. doi:10.1017/fms.2021.38
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 15013 |
Alt J, Erdös L, Krüger TH. Spectral radius of random matrices with independent entries. Probability and Mathematical Physics. 2021;2(2):221-280. doi:10.2140/pmp.2021.2.221
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Thesis | IST-REx-ID: 9022 |
Cipolloni G. Fluctuations in the spectrum of random matrices. 2021. doi:10.15479/AT:ISTA:9022
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 8601 |
Cipolloni G, Erdös L, Schröder DJ. Edge universality for non-Hermitian random matrices. Probability Theory and Related Fields. 2021. doi:10.1007/s00440-020-01003-7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10674 |
Aghajohari M, Avni G, Henzinger TA. Determinacy in discrete-bidding infinite-duration games. Logical Methods in Computer Science. 2021;17(1):10:1-10:23. doi:10.23638/LMCS-17(1:10)2021
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8793 |
Zeiner M, Schmid U, Chatterjee K. Optimal strategies for selecting coordinators. Discrete Applied Mathematics. 2021;289(1):392-415. doi:10.1016/j.dam.2020.10.022
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 10191 |
Bui TL, Chatterjee K, Gautam T, Pavlogiannis A, Toman V. The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. 2021;5(OOPSLA). doi:10.1145/3485541
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9987 |
Agarwal P, Chatterjee K, Pathak S, Pavlogiannis A, Toman V. Stateless model checking under a reads-value-from equivalence. In: 33rd International Conference on Computer-Aided Verification . Vol 12759. Springer Nature; 2021:341-366. doi:10.1007/978-3-030-81685-8_16
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9640 |
Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. Fast and strong amplifiers of natural selection. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-24271-w
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9393 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods in System Design. 2021;57:401-428. doi:10.1007/s10703-021-00373-5
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9414 |
Ishihara K, Decker F, Dos Santos Caldas PR, et al. Spatial variation of microtubule depolymerization in large asters. Molecular Biology of the Cell. 2021;32(9):869-879. doi:10.1091/MBC.E20-11-0723
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Research Data | IST-REx-ID: 9192 |
Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. 2021. doi:10.15479/AT:ISTA:9192
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9073 |
Hanganu-Opatz IL, Butt SJB, Hippenmeyer S, et al. The logic of developing neocortical circuits in health and disease. The Journal of Neuroscience. 2021;41(5):813-822. doi:10.1523/jneurosci.1655-20.2020
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10321 |
Amberg N, Hippenmeyer S. Genetic mosaic dissection of candidate genes in mice using mosaic analysis with double markers. STAR Protocols. 2021;2(4). doi:10.1016/j.xpro.2021.100939
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9431 |
Obr M, Ricana CL, Nikulin N, et al. Structure of the mature Rous sarcoma virus lattice reveals a role for IP6 in the formation of the capsid hexamer. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-23506-0
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 10103 |
Obr M, Schur FK, Dick RA. A structural perspective of the role of IP6 in immature and mature retroviral assembly. Viruses. 2021;13(9). doi:10.3390/v13091853
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10290 |
Dimchev GA, Amiri B, Fäßler F, Falcke M, Schur FK. Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data. Journal of Structural Biology. 2021;213(4). doi:10.1016/j.jsb.2021.107808
[Published Version]
View
| Files available
| DOI
| WoS