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.
5632 Publications
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 |
Kavcic, Bor, Gašper Tkačik, and Mark Tobias Bollenbach. “Minimal Biophysical Model of Combined Antibiotic Action.” PLOS Computational Biology. Public Library of Science, 2021. https://doi.org/10.1371/journal.pcbi.1008529.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 10674 |
Aghajohari, Milad, Guy Avni, and Thomas A Henzinger. “Determinacy in Discrete-Bidding Infinite-Duration Games.” Logical Methods in Computer Science. International Federation for Computational Logic, 2021. https://doi.org/10.23638/LMCS-17(1:10)2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8793 |
Zeiner, Martin, Ulrich Schmid, and Krishnendu Chatterjee. “Optimal Strategies for Selecting Coordinators.” Discrete Applied Mathematics. Elsevier, 2021. https://doi.org/10.1016/j.dam.2020.10.022.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9239 |
Avni, Guy, Thomas A Henzinger, and Đorđe Žikelić. “Bidding Mechanisms in Graph Games.” Journal of Computer and System Sciences. Elsevier, 2021. https://doi.org/10.1016/j.jcss.2021.02.008.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10191 |
Bui, Truc Lam, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, and Viktor Toman. “The Reads-from Equivalence for the TSO and PSO Memory Models.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2021. https://doi.org/10.1145/3485541.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9987 |
Agarwal, Pratyush, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, and Viktor Toman. “Stateless Model Checking under a Reads-Value-from Equivalence.” In 33rd International Conference on Computer-Aided Verification , 12759:341–66. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-81685-8_16.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9293 |
Chatterjee, Krishnendu, Wolfgang Dvořák, Monika Henzinger, and Alexander Svozil. “Algorithms and Conditional Lower Bounds for Planning Problems.” Artificial Intelligence. Elsevier, 2021. https://doi.org/10.1016/j.artint.2021.103499.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Thesis | IST-REx-ID: 10199 |
Toman, Viktor. “Improved Verification Techniques for Concurrent Systems.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10199.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9640 |
Tkadlec, Josef, Andreas Pavlogiannis, Krishnendu Chatterjee, and Martin A. Nowak. “Fast and Strong Amplifiers of Natural Selection.” Nature Communications. Springer Nature, 2021. https://doi.org/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, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Quantitative Verification in Bounded Treewidth Graphs.” Formal Methods in System Design. Springer, 2021. https://doi.org/10.1007/s10703-021-00373-5.
[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 |
Ishihara, Keisuke, Franziska Decker, Paulo R Dos Santos Caldas, James F. Pelletier, Martin Loose, Jan Brugués, and Timothy J. Mitchison. “Spatial Variation of Microtubule Depolymerization in Large Asters.” Molecular Biology of the Cell. American Society for Cell Biology, 2021. https://doi.org/10.1091/MBC.E20-11-0723.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9168 |
Fraisse, Christelle, and Himani Sachdeva. “The Rates of Introgression and Barriers to Genetic Exchange between Hybridizing Species: Sex Chromosomes vs Autosomes.” Genetics. Genetics Society of America, 2021. https://doi.org/10.1093/genetics/iyaa025.
[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 |
Surendranadh, Parvathy, Louise S Arathoon, Carina Baskett, David Field, Melinda Pickup, and Nicholas 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. https://doi.org/10.15479/AT:ISTA:9192.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9073 |
Hanganu-Opatz, Ileana L., Simon J. B. Butt, Simon Hippenmeyer, Natalia V. De Marco García, Jessica A. Cardin, Bradley Voytek, and Alysson R. Muotri. “The Logic of Developing Neocortical Circuits in Health and Disease.” The Journal of Neuroscience. Society for Neuroscience, 2021. https://doi.org/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, Nicole, and Simon Hippenmeyer. “Genetic Mosaic Dissection of Candidate Genes in Mice Using Mosaic Analysis with Double Markers.” STAR Protocols. Cell Press, 2021. https://doi.org/10.1016/j.xpro.2021.100939.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9431 |
Obr, Martin, Clifton L. Ricana, Nadia Nikulin, Jon-Philip R. Feathers, Marco Klanschnig, Andreas Thader, Marc C. Johnson, Volker M. Vogt, Florian KM Schur, and Robert A. Dick. “Structure of the Mature Rous Sarcoma Virus Lattice Reveals a Role for IP6 in the Formation of the Capsid Hexamer.” Nature Communications. Nature Research, 2021. https://doi.org/10.1038/s41467-021-23506-0.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 10103 |
Obr, Martin, Florian KM Schur, and Robert A. Dick. “A Structural Perspective of the Role of IP6 in Immature and Mature Retroviral Assembly.” Viruses. MDPI, 2021. https://doi.org/10.3390/v13091853.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC