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.
7446 Publications
2020 | Published | Thesis | IST-REx-ID: 8353 | 
Steiner J. Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. 2020. doi:10.15479/AT:ISTA:8353
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8284 |
Steiner J, Sazanov LA. Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. eLife. 2020;9. doi:10.7554/eLife.59407
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8037 |
Lukacisinova M, Fernando B, Bollenbach MT. Highly parallel lab evolution reveals that epistasis can curb the evolution of antibiotic resistance. Nature Communications. 2020;11. doi:10.1038/s41467-020-16932-z
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Conference Paper | IST-REx-ID: 7348 |
Ferrere T, Henzinger TA, Kragl B. Monitoring event frequencies. In: 28th EACSL Annual Conference on Computer Science Logic. Vol 152. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.CSL.2020.20
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7346 |
Schmid L, Chatterjee K, Schmid S. The evolutionary price of anarchy: Locally bounded agents in a dynamic virus game. In: Proceedings of the 23rd International Conference on Principles of Distributed Systems. Vol 153. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.OPODIS.2019.21
[Preprint]
View
| Files available
| DOI
| arXiv
2020 | Published | Thesis | IST-REx-ID: 8332 |
Kragl B. Verifying concurrent programs: Refinement, synchronization, sequentialization. 2020. doi:10.15479/AT:ISTA:8332
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 7505 |
Henzinger TA, Lukina A, Schilling C. Outside the box: Abstraction-based monitoring of neural networks. In: 24th European Conference on Artificial Intelligence. Vol 325. IOS Press; 2020:2433-2440. doi:10.3233/FAIA200375
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Thesis | IST-REx-ID: 7196 |
Tkadlec J. A role of graphs in evolutionary processes. 2020. doi:10.15479/AT:ISTA:7196
[Published Version]
View
| Files available
| DOI
2020 | Research Data Reference | IST-REx-ID: 9814 |
Ibsen-Jensen R, Tkadlec J, Chatterjee K, Nowak M. Data and mathematica notebooks for plotting figures from language learning with communication between learners from language acquisition with communication between learners. 2020. doi:10.6084/m9.figshare.5973013.v1
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2020 | Published | Journal Article | IST-REx-ID: 8099 |
Gammerdinger WJ, Toups MA, Vicoso B. Disagreement in FST estimators: A case study from sex chromosomes. Molecular Ecology Resources. 2020;20(6):1517-1525. doi:10.1111/1755-0998.13210
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 7464 |
Dick RA, Xu C, Morado DR, et al. Structures of immature EIAV Gag lattices reveal a conserved role for IP6 in lentivirus assembly. PLOS Pathogens. 2020;16(1). doi:10.1371/journal.ppat.1008277
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8971 |
Fäßler F, Dimchev GA, Hodirnau V-V, Wan W, Schur FK. Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction. Nature Communications. 2020;11. doi:10.1038/s41467-020-20286-x
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8261 |
Zhang X, Schlögl A, Jonas PM. Selective routing of spatial information flow from input to output in hippocampal granule cells. Neuron. 2020;107(6):1212-1225. doi:10.1016/j.neuron.2020.07.006
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Conference Paper | IST-REx-ID: 8572 |
Althoff M, Bak S, Bao Z, et al. ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. In: EPiC Series in Computing. Vol 74. EasyChair; 2020:16-48. doi:10.29007/7dt2
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Published | Journal Article | IST-REx-ID: 8001 |
Vandael DH, Borges Merjane C, Zhang X, Jonas PM. Short-term plasticity at hippocampal mossy fiber synapses is induced by natural activity patterns and associated with vesicle pool engram formation. Neuron. 2020;107(3):509-521. doi:10.1016/j.neuron.2020.05.013
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Conference Paper | IST-REx-ID: 8987 |
Pietrzak KZ. Delayed authentication: Preventing replay and relay attacks in private contact tracing. In: Progress in Cryptology. Vol 12578. LNCS. Springer Nature; 2020:3-15. doi:10.1007/978-3-030-65277-7_1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 7966 |
Auerbach B, Giacon F, Kiltz E. Everybody’s a target: Scalability in public-key encryption. In: Advances in Cryptology – EUROCRYPT 2020. Vol 12107. Springer Nature; 2020:475-506. doi:10.1007/978-3-030-45727-3_16
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7466 |
Kierdorf K, Hersperger F, Sharrock J, et al. Muscle function and homeostasis require cytokine inhibition of AKT activity in Drosophila. eLife. 2020;9. doi:10.7554/eLife.51595
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8168 |
Kulmuni J, Butlin RK, Lucek K, Savolainen V, Westram AM. Towards the completion of speciation: The evolution of reproductive isolation beyond the first barriers. Philosophical Transactions of the Royal Society Series B: Biological sciences. 2020;375(1806). doi:10.1098/rstb.2019.0528
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2020 | Research Data | IST-REx-ID: 8834 |
Katsaros G. Enhancement of proximity induced superconductivity in planar Germanium. 2020. doi:10.15479/AT:ISTA:8834
[Published Version]
View
| Files available
| DOI