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.
5802 Publications
2021 | Published | Journal Article | IST-REx-ID: 15013 | 
Spectral radius of random matrices with independent entries
J. Alt, L. Erdös, T.H. Krüger, Probability and Mathematical Physics 2 (2021) 221–280.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Alt, L. Erdös, T.H. Krüger, Probability and Mathematical Physics 2 (2021) 221–280.
2021 | Published | Thesis | IST-REx-ID: 9022 |
Fluctuations in the spectrum of random matrices
G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, Institute of Science and Technology Austria, 2021.
2021 | Published | Journal Article | IST-REx-ID: 8601 |
Edge universality for non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2021).
2021 | Published | Journal Article | IST-REx-ID: 10674 |
Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, Logical Methods in Computer Science 17 (2021) 10:1-10:23.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Aghajohari, G. Avni, T.A. Henzinger, Logical Methods in Computer Science 17 (2021) 10:1-10:23.
2021 | Published | Journal Article | IST-REx-ID: 8793 |
Optimal strategies for selecting coordinators
M. Zeiner, U. Schmid, K. Chatterjee, Discrete Applied Mathematics 289 (2021) 392–415.
[Published Version]
View
| Files available
| DOI
| WoS
M. Zeiner, U. Schmid, K. Chatterjee, Discrete Applied Mathematics 289 (2021) 392–415.
2021 | Published | Journal Article | IST-REx-ID: 10191 |
The reads-from equivalence for the TSO and PSO memory models
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).
[Published Version]
View
| Files available
| DOI
| arXiv
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9987 |
Stateless model checking under a reads-value-from equivalence
P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd International Conference on Computer-Aided Verification , Springer Nature, 2021, pp. 341–366.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd International Conference on Computer-Aided Verification , Springer Nature, 2021, pp. 341–366.
2021 | Published | Journal Article | IST-REx-ID: 9640 |
Fast and strong amplifiers of natural selection
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, Nature Communications 12 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9393 |
Faster algorithms for quantitative verification in bounded treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Formal Methods in System Design 57 (2021) 401–428.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Formal Methods in System Design 57 (2021) 401–428.
2021 | Published | Journal Article | IST-REx-ID: 9414 |
Spatial variation of microtubule depolymerization in large asters
K. Ishihara, F. Decker, P.R. Dos Santos Caldas, J.F. Pelletier, M. Loose, J. Brugués, T.J. Mitchison, Molecular Biology of the Cell 32 (2021) 869–879.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
K. Ishihara, F. Decker, P.R. Dos Santos Caldas, J.F. Pelletier, M. Loose, J. Brugués, T.J. Mitchison, Molecular Biology of the Cell 32 (2021) 869–879.
2021 | Research Data | IST-REx-ID: 9192 |
Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus
P. Surendranadh, L.S. Arathoon, C. Baskett, D. Field, M. Pickup, N.H. Barton, (2021).
[Published Version]
View
| Files available
| DOI
P. Surendranadh, L.S. Arathoon, C. Baskett, D. Field, M. Pickup, N.H. Barton, (2021).
2021 | Published | Journal Article | IST-REx-ID: 9073 |
The logic of developing neocortical circuits in health and disease
I.L. Hanganu-Opatz, S.J.B. Butt, S. Hippenmeyer, N.V. De Marco García, J.A. Cardin, B. Voytek, A.R. Muotri, The Journal of Neuroscience 41 (2021) 813–822.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
I.L. Hanganu-Opatz, S.J.B. Butt, S. Hippenmeyer, N.V. De Marco García, J.A. Cardin, B. Voytek, A.R. Muotri, The Journal of Neuroscience 41 (2021) 813–822.
2021 | Published | Journal Article | IST-REx-ID: 10321 |
Genetic mosaic dissection of candidate genes in mice using mosaic analysis with double markers
N. Amberg, S. Hippenmeyer, STAR Protocols 2 (2021).
[Published Version]
View
| Files available
| DOI
N. Amberg, S. Hippenmeyer, STAR Protocols 2 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9431 |
Structure of the mature Rous sarcoma virus lattice reveals a role for IP6 in the formation of the capsid hexamer
M. Obr, C.L. Ricana, N. Nikulin, J.-P.R. Feathers, M. Klanschnig, A. Thader, M.C. Johnson, V.M. Vogt, F.K. Schur, R.A. Dick, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
M. Obr, C.L. Ricana, N. Nikulin, J.-P.R. Feathers, M. Klanschnig, A. Thader, M.C. Johnson, V.M. Vogt, F.K. Schur, R.A. Dick, Nature Communications 12 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10103 |
A structural perspective of the role of IP6 in immature and mature retroviral assembly
M. Obr, F.K. Schur, R.A. Dick, Viruses 13 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Obr, F.K. Schur, R.A. Dick, Viruses 13 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10290 |
Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data
G.A. Dimchev, B. Amiri, F. Fäßler, M. Falcke, F.K. Schur, Journal of Structural Biology 213 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
G.A. Dimchev, B. Amiri, F. Fäßler, M. Falcke, F.K. Schur, Journal of Structural Biology 213 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9345 |
The density fingerprint of a periodic point set
H. Edelsbrunner, T. Heiss, V. Kurlin , P. Smith, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 32:1-32:16.
[Published Version]
View
| Files available
| DOI
H. Edelsbrunner, T. Heiss, V. Kurlin , P. Smith, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 32:1-32:16.
2021 | Published | Journal Article | IST-REx-ID: 9243 |
Real time monitoring of peptidoglycan synthesis by membrane-reconstituted penicillin binding proteins
V.M. Hernández-Rocamora, N.S. Baranova, K. Peters, E. Breukink, M. Loose, W. Vollmer, ELife 10 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
V.M. Hernández-Rocamora, N.S. Baranova, K. Peters, E. Breukink, M. Loose, W. Vollmer, ELife 10 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10023 |
Trajectorial dissipation and gradient flow for the relative entropy in Markov chains
I. Karatzas, J. Maas, W. Schachermayer, Communications in Information and Systems 21 (2021) 481–536.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Karatzas, J. Maas, W. Schachermayer, Communications in Information and Systems 21 (2021) 481–536.
2021 | Published | Journal Article | IST-REx-ID: 10070 |
Rademacher-type theorems and Sobolev-to-Lipschitz properties for strongly local Dirichlet spaces
L. Dello Schiavo, K. Suzuki, Journal of Functional Analysis 281 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
L. Dello Schiavo, K. Suzuki, Journal of Functional Analysis 281 (2021).