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, P., Chatterjee, K., Pathak, S., Pavlogiannis, A., & Toman, V. (2021). Stateless model checking under a reads-value-from equivalence. In 33rd International Conference on Computer-Aided Verification (Vol. 12759, pp. 341–366). Virtual: Springer Nature. 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: 9640 |
Tkadlec, J., Pavlogiannis, A., Chatterjee, K., & Nowak, M. A. (2021). Fast and strong amplifiers of natural selection. Nature Communications. Springer Nature. 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, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2021). Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-021-00373-5
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9414 |
Ishihara, K., Decker, F., Dos Santos Caldas, P. R., Pelletier, J. F., Loose, M., Brugués, J., & Mitchison, T. J. (2021). Spatial variation of microtubule depolymerization in large asters. Molecular Biology of the Cell. American Society for Cell Biology. https://doi.org/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, P., Arathoon, L. S., Baskett, C., Field, D., Pickup, M., & Barton, N. H. (2021). 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. https://doi.org/10.15479/AT:ISTA:9192
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9073 |
Hanganu-Opatz, I. L., Butt, S. J. B., Hippenmeyer, S., De Marco García, N. V., Cardin, J. A., Voytek, B., & Muotri, A. R. (2021). The logic of developing neocortical circuits in health and disease. The Journal of Neuroscience. Society for Neuroscience. 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, N., & Hippenmeyer, S. (2021). Genetic mosaic dissection of candidate genes in mice using mosaic analysis with double markers. STAR Protocols. Cell Press. https://doi.org/10.1016/j.xpro.2021.100939
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9431 |
Obr, M., Ricana, C. L., Nikulin, N., Feathers, J.-P. R., Klanschnig, M., Thader, A., … Dick, R. A. (2021). Structure of the mature Rous sarcoma virus lattice reveals a role for IP6 in the formation of the capsid hexamer. Nature Communications. Nature Research. 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, M., Schur, F. K., & Dick, R. A. (2021). A structural perspective of the role of IP6 in immature and mature retroviral assembly. Viruses. MDPI. https://doi.org/10.3390/v13091853
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10290 |
Dimchev, G. A., Amiri, B., Fäßler, F., Falcke, M., & Schur, F. K. (2021). Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data. Journal of Structural Biology. Elsevier . https://doi.org/10.1016/j.jsb.2021.107808
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 9345 |
Edelsbrunner, H., Heiss, T., Kurlin , V., Smith, P., & Wintraecken, M. (2021). The density fingerprint of a periodic point set. In 37th International Symposium on Computational Geometry (SoCG 2021) (Vol. 189, p. 32:1-32:16). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2021.32
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9243 |
Hernández-Rocamora, V. M., Baranova, N. S., Peters, K., Breukink, E., Loose, M., & Vollmer, W. (2021). Real time monitoring of peptidoglycan synthesis by membrane-reconstituted penicillin binding proteins. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.61525
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 10023 |
Karatzas, I., Maas, J., & Schachermayer, W. (2021). Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. International Press. https://doi.org/10.4310/CIS.2021.v21.n4.a1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10070 |
Dello Schiavo, L., & Suzuki, K. (2021). Rademacher-type theorems and Sobolev-to-Lipschitz properties for strongly local Dirichlet spaces. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2021.109234
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9225 |
Feliciangeli, D., Rademacher, S. A. E., & Seiringer, R. (2021). Persistence of the spectral gap for the Landau–Pekar equations. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-020-01350-5
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Draft | Preprint | IST-REx-ID: 9787 |
Feliciangeli, D., & Seiringer, R. (n.d.). The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics. arXiv. https://doi.org/10.48550/arXiv.2101.12566
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Draft | Preprint | IST-REx-ID: 9791 |
Feliciangeli, D., Rademacher, S. A. E., & Seiringer, R. (n.d.). The effective mass problem for the Landau-Pekar equations. arXiv. https://doi.org/10.48550/arXiv.2107.03720
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10609 |
Chakraborty, S., Ganesh, C., Pancholi, M., & Sarkar, P. (2021). Reverse firewalls for adaptively secure MPC without setup. In 27th International Conference on the Theory and Application of Cryptology and Information Security (Vol. 13091, pp. 335–364). Virtual, Singapore: Springer Nature. https://doi.org/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, C., Klein, K., Pietrzak, K. Z., & Walter, M. (2021). The cost of adaptivity in security games on graphs. In 19th International Conference (Vol. 13043, pp. 550–581). Raleigh, NC, United States: Springer Nature. https://doi.org/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, M. (2021). The convergence of slide-type reductions. In Public-Key Cryptography – PKC 2021 (Vol. 12710, pp. 45–67). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-75245-3_3
[Published Version]
View
| Files available
| DOI