Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




5735 Publications

2021 | Published | Journal Article | IST-REx-ID: 9550 | OA
Equipartition principle for Wigner matrices
Z. Bao, L. Erdös, K. Schnelli, Forum of Mathematics, Sigma 9 (2021).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 15013 | OA
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
 
2021 | Published | Thesis | IST-REx-ID: 9022 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 8601 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 10674 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 8793 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 9239 | OA
Bidding mechanisms in graph games
G. Avni, T.A. Henzinger, Đ. Žikelić, Journal of Computer and System Sciences 119 (2021) 133–144.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10191 | OA
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
 
2021 | Published | Conference Paper | IST-REx-ID: 9987 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 9293 | OA
Algorithms and conditional lower bounds for planning problems
K. Chatterjee, W. Dvořák, M. Henzinger, A. Svozil, Artificial Intelligence 297 (2021).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 9640 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 9393 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 9907 | OA
Cardiolipin-containing lipid membranes attract the bacterial cell division protein diviva
Labajová, Naďa, Cardiolipin-containing lipid membranes attract the bacterial cell division protein diviva. International Journal of Molecular Sciences 22 (15). 2021
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 9414 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 8928 | OA
Genomic inference of complex domestication histories in three Solanaceae species
Arnoux, Stéphanie, Genomic inference of complex domestication histories in three Solanaceae species. Journal of Evolutionary Biology 34 (2). 2021
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2021 | Research Data | IST-REx-ID: 9192 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 9073 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 10321 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 9431 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 10103 | OA
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
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed