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 | 
D. Zikelic, “Automated verification and control of infinite state stochastic systems,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14788 |
M. Mund et al., “Clathrin coats partially preassemble and subsequently bend during endocytosis,” Journal of Cell Biology, vol. 222, no. 3. Rockefeller University Press, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14786
V. Filipović Marijić et al., “First insight in element localisation in different body parts of the acanthocephalan Dentitruncus truttae using TEM and NanoSIMS,” Science of The Total Environment, vol. 887. Elsevier, 2023.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14787 |
S. Stankowski, M. A. Chase, H. McIntosh, and M. A. Streisfeld, “Integrating top‐down and bottom‐up approaches to understand the genetic architecture of speciation across a monkeyflower hybrid zone,” Molecular Ecology, vol. 32, no. 8. Wiley, pp. 2041–2054, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12162 |
B. Corominas-Murtra and E. B. Hannezo, “Modelling the dynamics of mammalian gut homeostasis,” Seminars in Cell & Developmental Biology, vol. 150–151. Elsevier, pp. 58–65, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13268 |
D. Huybrechts and M. Mauri, “On type II degenerations of hyperkähler manifolds,” Mathematical Research Letters, vol. 30, no. 1. International Press, pp. 125–141, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14661 |
M. Carioni, J. L. Fischer, and A. Schlömerkemper, “External forces in the continuum limit of discrete systems with non-convex interaction potentials: Compactness for a Γ-development,” Journal of Convex Analysis, vol. 30, no. 1. Heldermann Verlag, pp. 217–247, 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 |
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, and D. Zikelic, “On lexicographic proof rules for probabilistic termination,” Formal Aspects of Computing, vol. 35, no. 2. Association for Computing Machinery, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14798 |
B. Chen et al., “The effect of display capabilities on the gloss consistency between real and virtual objects,” in Proceedings of the SIGGRAPH Asia 2023 Conference, Sydney, Australia, 2023.
[Published Version]
View
| Files available
| DOI