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.
5767 Publications
2021 | Published | Thesis | IST-REx-ID: 9022 | 
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 |
G. Cipolloni, L. Erdös, and D. J. Schröder, “Edge universality for non-Hermitian random matrices,” Probability Theory and Related Fields. Springer Nature, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8988 |
Düllberg, Christian F, In vitro reconstitution reveals phosphoinositides as cargo-release factors and activators of the ARF6 GAP ADAP1. Proceedings of the National Academy of Sciences of the United States of America 118 (1). 2021
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 8997 |
B. Kavcic, G. Tkačik, and M. T. Bollenbach, “Minimal biophysical model of combined antibiotic action,” PLOS Computational Biology, vol. 17. Public Library of Science, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 10674 |
M. Aghajohari, G. Avni, and T. A. Henzinger, “Determinacy in discrete-bidding infinite-duration games,” Logical Methods in Computer Science, vol. 17, no. 1. International Federation for Computational Logic, p. 10:1-10:23, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8793 |
M. Zeiner, U. Schmid, and K. Chatterjee, “Optimal strategies for selecting coordinators,” Discrete Applied Mathematics, vol. 289, no. 1. Elsevier, pp. 392–415, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9239 |
G. Avni, T. A. Henzinger, and Đ. Žikelić, “Bidding mechanisms in graph games,” Journal of Computer and System Sciences, vol. 119, no. 8. Elsevier, pp. 133–144, 2021.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10191 |
T. L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, and V. Toman, “The reads-from equivalence for the TSO and PSO memory models,” Proceedings of the ACM on Programming Languages, vol. 5, no. OOPSLA. Association for Computing Machinery, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9987 |
P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, and V. Toman, “Stateless model checking under a reads-value-from equivalence,” in 33rd International Conference on Computer-Aided Verification , Virtual, 2021, vol. 12759, pp. 341–366.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9293 |
K. Chatterjee, W. Dvořák, M. Henzinger, and A. Svozil, “Algorithms and conditional lower bounds for planning problems,” Artificial Intelligence, vol. 297, no. 8. Elsevier, 2021.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Thesis | IST-REx-ID: 10199 |
V. Toman, “Improved verification techniques for concurrent systems,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9640 |
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, and M. A. Nowak, “Fast and strong amplifiers of natural selection,” Nature Communications, vol. 12, no. 1. Springer Nature, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9393 |
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Faster algorithms for quantitative verification in bounded treewidth graphs,” Formal Methods in System Design, vol. 57. Springer, pp. 401–428, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9907 |
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 |
K. Ishihara et al., “Spatial variation of microtubule depolymerization in large asters,” Molecular Biology of the Cell, vol. 32, no. 9. American Society for Cell Biology, pp. 869–879, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9168 |
C. Fraisse and H. Sachdeva, “The rates of introgression and barriers to genetic exchange between hybridizing species: Sex chromosomes vs autosomes,” Genetics, vol. 217, no. 2. Genetics Society of America, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2021 | Published | Journal Article | IST-REx-ID: 8928 |
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 |
P. Surendranadh, L. S. Arathoon, C. Baskett, D. Field, M. Pickup, and N. H. Barton, “Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus.” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9073 |
I. L. Hanganu-Opatz et al., “The logic of developing neocortical circuits in health and disease,” The Journal of Neuroscience, vol. 41, no. 5. Society for Neuroscience, pp. 813–822, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10321 |
N. Amberg and S. Hippenmeyer, “Genetic mosaic dissection of candidate genes in mice using mosaic analysis with double markers,” STAR Protocols, vol. 2, no. 4. Cell Press, 2021.
[Published Version]
View
| Files available
| DOI