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.
9087 Publications
2023 | Thesis | IST-REx-ID: 14539 | 
Zikelic D. 2023. Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14788 |
Mund M, Tschanz A, Wu Y-L, Frey FF, Mehl JL, Kaksonen M, Avinoam O, Schwarz US, Ries J. 2023. Clathrin coats partially preassemble and subsequently bend during endocytosis. Journal of Cell Biology. 222(3), e202206038.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14786
Filipović Marijić V, Subirana MA, Schaumlöffel D, Barišić J, Gontier E, Krasnici N, Mijošek T, Hernández-Orts JS, Scholz T, Erk M. 2023. First insight in element localisation in different body parts of the acanthocephalan Dentitruncus truttae using TEM and NanoSIMS. Science of The Total Environment. 887, 164010.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14787 |
Stankowski S, Chase MA, McIntosh H, Streisfeld MA. 2023. Integrating top‐down and bottom‐up approaches to understand the genetic architecture of speciation across a monkeyflower hybrid zone. Molecular Ecology. 32(8), 2041–2054.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12162 |
Corominas-Murtra B, Hannezo EB. 2023. Modelling the dynamics of mammalian gut homeostasis. Seminars in Cell & Developmental Biology. 150–151, 58–65.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13268 |
Huybrechts D, Mauri M. 2023. On type II degenerations of hyperkähler manifolds. Mathematical Research Letters. 30(1), 125–141.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14661 |
Carioni M, Fischer JL, Schlömerkemper A. 2023. External forces in the continuum limit of discrete systems with non-convex interaction potentials: Compactness for a Γ-development. Journal of Convex Analysis. 30(1), 217–247.
[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 K, Kafshdar Goharshady E, Novotný P, Zárevúcky J, Zikelic D. 2023. On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. 35(2), 11.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14798 |
Chen B, Jindal A, Piovarci M, Wang C, Seidel HP, Didyk P, Myszkowski K, Serrano A, Mantiuk RK. 2023. The effect of display capabilities on the gloss consistency between real and virtual objects. Proceedings of the SIGGRAPH Asia 2023 Conference. SIGGRAPH: Computer Graphics and Interactive Techniques Conference, 90.
[Published Version]
View
| Files available
| DOI