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.
4964 Publications
2023 | Thesis | IST-REx-ID: 14539 | 
Zikelic, Dorde. “Automated Verification and Control of Infinite State Stochastic Systems.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14539.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14788 |
Mund, Markus, Aline Tschanz, Yu-Le Wu, Felix F Frey, Johanna L. Mehl, Marko Kaksonen, Ori Avinoam, Ulrich S. Schwarz, and Jonas Ries. “Clathrin Coats Partially Preassemble and Subsequently Bend during Endocytosis.” Journal of Cell Biology. Rockefeller University Press, 2023. https://doi.org/10.1083/jcb.202206038.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14786
Filipović Marijić, Vlatka, Maria Angels Subirana, Dirk Schaumlöffel, Josip Barišić, Etienne Gontier, Nesrete Krasnici, Tatjana Mijošek, Jesús S. Hernández-Orts, Tomáš Scholz, and Marijana Erk. “First Insight in Element Localisation in Different Body Parts of the Acanthocephalan Dentitruncus Truttae Using TEM and NanoSIMS.” Science of The Total Environment. Elsevier, 2023. https://doi.org/10.1016/j.scitotenv.2023.164010.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14787 |
Stankowski, Sean, Madeline A. Chase, Hanna McIntosh, and Matthew A. Streisfeld. “Integrating Top‐down and Bottom‐up Approaches to Understand the Genetic Architecture of Speciation across a Monkeyflower Hybrid Zone.” Molecular Ecology. Wiley, 2023. https://doi.org/10.1111/mec.16849.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12162 |
Corominas-Murtra, Bernat, and Edouard B Hannezo. “Modelling the Dynamics of Mammalian Gut Homeostasis.” Seminars in Cell & Developmental Biology. Elsevier, 2023. https://doi.org/10.1016/j.semcdb.2022.11.005.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13268 |
Huybrechts, D., and Mirko Mauri. “On Type II Degenerations of Hyperkähler Manifolds.” Mathematical Research Letters. International Press, 2023. https://doi.org/10.4310/mrl.2023.v30.n1.a6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14661 |
Carioni, Marcello, Julian L Fischer, and Anja Schlömerkemper. “External Forces in the Continuum Limit of Discrete Systems with Non-Convex Interaction Potentials: Compactness for a Γ-Development.” Journal of Convex Analysis. Heldermann Verlag, 2023.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14799 |
Pauw BR, Smales GJ, Anker AS, Annadurai V, Balazs D, Bienert R, Bouwman WG, Breßler I, Breternitz J, Brok ES, Bryant G, Clulow AJ, Crater ER, De Geuser F, Giudice AD, Deumer J, Disch S, Dutt S, Frank K, Fratini E, Garcia PRAF, Gilbert EP, Hahn MB, Hallett J, Hohenschutz M, Hollamby M, Huband S, Ilavsky J, Jochum JK, Juelsholt M, Mansel BW, Penttilä P, Pittkowski RK, Portale G, Pozzo LD, Rochels L, Rosalie JM, Saloga PEJ, Seibt S, Smith AJ, Smith GN, Spiering GA, Stawski TM, Taché O, Thünemann AF, Toth K, Whitten AE, Wuttke J. 2023. The human factor: Results of a small-angle scattering data analysis round robin. Journal of Applied Crystallography. 56(6), 1618–1629.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14778 |
Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.” Formal Aspects of Computing. Association for Computing Machinery, 2023. https://doi.org/10.1145/3585391.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14798 |
Chen, Bin, Akshay Jindal, Michael Piovarci, Chao Wang, Hans Peter Seidel, Piotr Didyk, Karol Myszkowski, Ana Serrano, and Rafał K. Mantiuk. “The Effect of Display Capabilities on the Gloss Consistency between Real and Virtual Objects.” In Proceedings of the SIGGRAPH Asia 2023 Conference. Association for Computing Machinery, 2023. https://doi.org/10.1145/3610548.3618226.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14815 |
Beznosikov, Aleksandr, Samuel Horvath, Peter Richtarik, and Mher Safaryan. “On Biased Compression for Distributed Learning.” Journal of Machine Learning Research. Journal of Machine Learning Research, 2023.
[Published Version]
View
| Files available
| WoS
| arXiv
2023 | Conference Paper | IST-REx-ID: 14456 |
Křišťan, Jan Matyáš, and Jakub Svoboda. “Shortest Dominating Set Reconfiguration under Token Sliding.” In 24th International Symposium on Fundamentals of Computation Theory, 14292:333–47. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-43587-4_24.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14829 |
Cohen, Shir, Guy Goren, Eleftherios Kokoris Kogias, Alberto Sonnino, and Alexander Spiegelman. “Proof of Availability and Retrieval in a Modular Blockchain Architecture.” In 27th International Conference on Financial Cryptography and Data Security, 13951:36–53. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-47751-5_3.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Journal Article | IST-REx-ID: 14827
Schwayer, Cornelia, and David Brückner. “Connecting Theory and Experiment in Cell and Tissue Mechanics.” Journal of Cell Science. The Company of Biologists, 2023. https://doi.org/10.1242/jcs.261515.
View
| DOI
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14830
Zikelic, Dorde, Mathias Lechner, Thomas A Henzinger, and Krishnendu Chatterjee. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.” In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:11926–35. Association for the Advancement of Artificial Intelligence, 2023. https://doi.org/10.1609/aaai.v37i10.26407.
[Preprint]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14831 |
Sakref, Yann, Maitane Muñoz Basagoiti, Zorana Zeravcic, and Olivier Rivoire. “On Kinetic Constraints That Catalysis Imposes on Elementary Processes.” The Journal of Physical Chemistry B. American Chemical Society, 2023. https://doi.org/10.1021/acs.jpcb.3c04627.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14844 |
Azadbakht, Ali, Billie Meadowcroft, Juraj Majek, Anđela Šarić, and Daniela J. Kraft. “Nonadditivity in Interactions between Three Membrane-Wrapped Colloidal Spheres.” Biophysical Journal. Elsevier, n.d. https://doi.org/10.1016/j.bpj.2023.12.020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Other Publication | IST-REx-ID: 14861 |
Becker, Lea Marie, Mélanie Berbon, Alicia Vallet, Axelle Grelard, Estelle Morvan, Benjamin Bardiaux, Roman Lichtenecker, Matthias Ernst, Antoine Loquet, and Paul Schanda. Cover Picture: The Rigid Core and Flexible Surface of Amyloid Fibrils Probed by Magic‐Angle‐Spinning NMR Spectroscopy of Aromatic Residues. Angewandte Chemie International Edition. Vol. 62. Wiley, 2023. https://doi.org/10.1002/anie.202304138.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 14849 |
Cipolloni, Giorgio, László Erdös, Dominik J Schröder, and Yuanyuan Xu. “On the Rightmost Eigenvalue of Non-Hermitian Random Matrices.” The Annals of Probability. Institute of Mathematical Statistics, 2023. https://doi.org/10.1214/23-aop1643.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14835 |
Becker, Lea Marie, Mélanie Berbon, Alicia Vallet, Axelle Grelard, Estelle Morvan, Benjamin Bardiaux, Roman Lichtenecker, Matthias Ernst, Antoine Loquet, and Paul Schanda. “Der starre Kern und die flexible Oberfläche von Amyloidfibrillen – Magic‐Angle‐Spinning NMR Spektroskopie von aromatischen Resten.” Angewandte Chemie. Wiley, 2023. https://doi.org/10.1002/ange.202219314.
[Published Version]
View
| Files available
| DOI