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.
10932 Publications
2025 | Research Data Reference | IST-REx-ID: 19769 | 
C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, and P. Wienhöft, “Sound statistical model checking for probabilities and expected rewards (experimental reproduction package).” Zenodo, 2025.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 | Published | Conference Paper | IST-REx-ID: 19778 |
C. Hoffmann and K. Z. Pietrzak, “Watermarkable and zero-knowledge Verifiable Delay Functions from any proof of exponentiation,” in 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Roros, Norway, 2025, vol. 15674, pp. 36–66.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2025 | Published | Journal Article | IST-REx-ID: 19783 |
C. Hurm and M. Moser, “Nonlocal‐to‐local convergence for a Cahn–Hilliard tumor growth model,” GAMM-Mitteilungen, vol. 48, no. 2. Wiley, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18778 |
K. Tluckova, B. M. Kaczmarek, A. P. Testa Salmazo, and C. Bernecky, “Mechanism of mammalian transcriptional repression by noncoding RNA,” Nature Structural & Molecular Biology, vol. 32. Springer Nature, pp. 607–612, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Thesis | IST-REx-ID: 18979 |
O. Draganov, “Structures and computations in topological data analysis,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19722
S. Inumella, “Molecular mechanisms of microtubule reorganization in elongating root epidermal cells,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 | In Press | Journal Article | IST-REx-ID: 19507 |
M. S. Andersen, S. Ulyanchenko, P. J. Schweiger, E. B. Hannezo, B. D. Simons, and K. B. Jensen, “Spatiotemporal switches in progenitor cell fate govern upper hair follicle growth and maintenance,” Journal of Investigative Dermatology. Elsevier.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 19731 |
A. Rayaroth Puthiyaveettil, C. Fiedler, and M. Ibáñez, “Let us FIGURE it out: Why do scientists still make ‘bad’ figures?,” ACS Materials Au, vol. 5, no. 3. American Chemical Society, pp. 438–440, 2025.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Thesis | IST-REx-ID: 19745
N. Canigova, “Adaptive strategies of dendritic cell migration in response to environmental cues,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19859 |
L. Lichev and B. Schapira, “Color-avoiding percolation on the Erdős–Rényi random graph,” Annales Henri Lebesgue, vol. 8. École normale supérieure de Rennes, pp. 35–65, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18807 |
S. Rus et al., “Self-organized pattern formation in the developing mouse neural tube by a temporal relay of BMP signaling,” Developmental Cell, vol. 60, no. 4. Elsevier, pp. 567–580, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Conference Paper | IST-REx-ID: 19666 |
T. Meggendorfer, M. Weininger, and P. Wienhöft, “Solving robust Markov decision processes: Generic, reliable, efficient,” in Proceedings of the AAAI Conference on Artificial Intelligence, Philadelphia, PA, United States, 2025, vol. 39, no. 25, pp. 26631–26641.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19936 |
K. Bedarkar et al., “RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers,” Proceedings of the ACM on Programming Languages, vol. 9, no. PLDI. Association for Computing Machinery, pp. 73–97, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19935 |
S. Spies et al., “Destabilizing Iris,” Proceedings of the ACM on Programming Languages, vol. 9, no. PLDI. Association for Computing Machinery, pp. 848–873, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Research Data | IST-REx-ID: 19885 |
J. Saez Mollejo, “Automated All-RF Tuning for Spin Qubit Readout and Control.” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Research Data | IST-REx-ID: 19915 |
B. L. Springstein, “Files for ‘Evolutionary repurposing of a DNA segregation machinery into a cytoskeletal system controlling cyanobacterial cell shape.’” Institute of Science and Technology Austria, 2025.
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19906
S. S. Suresh, “Turbulence in polymeric flows : A characterisation of elasto-inertial turbulence and the maximum drag reduction asymptote,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18848 |
R. F. Ocampo et al., “DNA targeting by compact Cas9d and its resurrected ancestor,” Nature Communications, vol. 16. Springer Nature, 2025.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 19662 |
| 
|
A. M. Gnanaraj, J. Bao, and H. Schmidt, “The impact of the rotation rate on an aquaplanet’s radiant energy budget: Insights from experiments varying the Coriolis parameter,” Weather and Climate Dynamics, vol. 6, no. 2. Copernicus Publications, pp. 489–503, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18855 |
D. G. Harris and V. Kolmogorov, “Parameter estimation for Gibbs distributions,” ACM Transactions on Algorithms, vol. 21, no. 1. Association for Computing Machinery, 2025.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv