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.
5779 Publications
2021 | Published | Conference Paper | IST-REx-ID: 9987 | 
Agarwal, Pratyush, et al. “Stateless Model Checking under a Reads-Value-from Equivalence.” 33rd International Conference on Computer-Aided Verification , vol. 12759, Springer Nature, 2021, pp. 341–66, doi:10.1007/978-3-030-81685-8_16.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9640 |
Tkadlec, Josef, et al. “Fast and Strong Amplifiers of Natural Selection.” Nature Communications, vol. 12, no. 1, 4009, Springer Nature, 2021, doi: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, et al. “Faster Algorithms for Quantitative Verification in Bounded Treewidth Graphs.” Formal Methods in System Design, vol. 57, Springer, 2021, pp. 401–28, doi:10.1007/s10703-021-00373-5.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9414 |
Ishihara, Keisuke, et al. “Spatial Variation of Microtubule Depolymerization in Large Asters.” Molecular Biology of the Cell, vol. 32, no. 9, American Society for Cell Biology, 2021, pp. 869–79, doi:10.1091/MBC.E20-11-0723.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Research Data | IST-REx-ID: 9192 |
Surendranadh, Parvathy, et al. 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, doi:10.15479/AT:ISTA:9192.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9073 |
Hanganu-Opatz, Ileana L., et al. “The Logic of Developing Neocortical Circuits in Health and Disease.” The Journal of Neuroscience, vol. 41, no. 5, Society for Neuroscience, 2021, pp. 813–22, doi: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, vol. 2, no. 4, 100939, Cell Press, 2021, doi:10.1016/j.xpro.2021.100939.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9431 |
Obr, Martin, et al. “Structure of the Mature Rous Sarcoma Virus Lattice Reveals a Role for IP6 in the Formation of the Capsid Hexamer.” Nature Communications, vol. 12, no. 1, 3226, Nature Research, 2021, doi:10.1038/s41467-021-23506-0.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 10103 |
Obr, Martin, et al. “A Structural Perspective of the Role of IP6 in Immature and Mature Retroviral Assembly.” Viruses, vol. 13, no. 9, 1853, MDPI, 2021, doi:10.3390/v13091853.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10290 |
Dimchev, Georgi A., et al. “Computational Toolbox for Ultrastructural Quantitative Analysis of Filament Networks in Cryo-ET Data.” Journal of Structural Biology, vol. 213, no. 4, 107808, Elsevier , 2021, doi:10.1016/j.jsb.2021.107808.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 9345 |
Edelsbrunner, Herbert, et al. “The Density Fingerprint of a Periodic Point Set.” 37th International Symposium on Computational Geometry (SoCG 2021), vol. 189, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 32:1-32:16, doi:10.4230/LIPIcs.SoCG.2021.32.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9243 |
Hernández-Rocamora, Víctor M., et al. “Real Time Monitoring of Peptidoglycan Synthesis by Membrane-Reconstituted Penicillin Binding Proteins.” ELife, vol. 10, 1–32, eLife Sciences Publications, 2021, doi:10.7554/eLife.61525.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 10023 |
Karatzas, Ioannis, et al. “Trajectorial Dissipation and Gradient Flow for the Relative Entropy in Markov Chains.” Communications in Information and Systems, vol. 21, no. 4, International Press, 2021, pp. 481–536, doi:10.4310/CIS.2021.v21.n4.a1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10070 |
Dello Schiavo, Lorenzo, and Kohei Suzuki. “Rademacher-Type Theorems and Sobolev-to-Lipschitz Properties for Strongly Local Dirichlet Spaces.” Journal of Functional Analysis, vol. 281, no. 11, 109234, Elsevier, 2021, doi:10.1016/j.jfa.2021.109234.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9225 |
Feliciangeli, Dario, et al. “Persistence of the Spectral Gap for the Landau–Pekar Equations.” Letters in Mathematical Physics, vol. 111, 19, Springer Nature, 2021, doi:10.1007/s11005-020-01350-5.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Draft | Preprint | IST-REx-ID: 9787 |
Feliciangeli, Dario, and Robert Seiringer. “The Strongly Coupled Polaron on the Torus: Quantum Corrections to the Pekar Asymptotics.” ArXiv, 2101.12566, doi:10.48550/arXiv.2101.12566.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Draft | Preprint | IST-REx-ID: 9791 |
Feliciangeli, Dario, et al. “The Effective Mass Problem for the Landau-Pekar Equations.” ArXiv, 2107.03720, doi:10.48550/arXiv.2107.03720.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10609 |
Chakraborty, Suvradip, et al. “Reverse Firewalls for Adaptively Secure MPC without Setup.” 27th International Conference on the Theory and Application of Cryptology and Information Security, vol. 13091, Springer Nature, 2021, pp. 335–64, doi:10.1007/978-3-030-92075-3_12.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 10410 |
Kamath Hosdurg, Chethan, et al. “The Cost of Adaptivity in Security Games on Graphs.” 19th International Conference, vol. 13043, Springer Nature, 2021, pp. 550–81, doi:10.1007/978-3-030-90453-1_19.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 9466 |
Walter, Michael. “The Convergence of Slide-Type Reductions.” Public-Key Cryptography – PKC 2021, vol. 12710, Springer Nature, 2021, pp. 45–67, doi:10.1007/978-3-030-75245-3_3.
[Published Version]
View
| Files available
| DOI