Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6217 Publications
2025 | Published | Journal Article | IST-REx-ID: 19404 | 
Tavano S, Brückner D, Tasciyan S, Tong X, Kardos R, Schauer A, Hauschild R, Heisenberg C-PJ. 2025. BMP-dependent patterning of ectoderm tissue material properties modulates lateral mesendoderm cell migration during early zebrafish gastrulation. Cell Reports. 44(3), 115387.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Conference Paper | IST-REx-ID: 20535 |
Dhulipala L, Henzinger M, Li GZ, Liu QC, Sricharan AR, Zhu L. 2025. Near-optimal differentially private graph algorithms via the Multidimensional AboveThreshold Mechanism. 33rd Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LIPIcs, vol. 351, 91.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20536 |
Safavi Hemami R, Seybold MP. 2025. B-Treaps revised: Write efficient randomized block search trees with high load. 19th International Symposium on Algorithms and Data Structures. WADS: Algorithms and Data Structures Symposium, LIPIcs, vol. 349, 47.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20534 |
Henzinger M, Kosinas E, Münk R, Räcke H. 2025. Efficient contractions of dynamic graphs - with applications. 33rd Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms vol. 351, 36.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20533 |
Henzinger M, Safavi Hemami R. 2025. Securing dynamic data: A primer on differentially private data structures. 33rd Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LIPIcs, vol. 351, 2.
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 20587 |
Baig MA, Günther CU, Pietrzak KZ. 2025. Nakamoto consensus from multiple resources. 7th Conference on Advances in Financial Technologies. AFT: Conference on Advances in Financial Technologies, LIPIcs, vol. 354, 16.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20585
Cultrera di Montesano S, Draganov O, Edelsbrunner H, Saghafian M. 2025. Chromatic alpha complexes. Foundations of Data Science. 8, 30–62.
[Preprint]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19600 |
Avarikioti Z, Bastankhah M, Maddah-Ali MA, Pietrzak KZ, Svoboda J, Yeo MX. 2025. Route discovery in private payment channel networks. Computer Security. ESORICS 2024 International Workshops. ESORICS: European Symposium on Research in Computer Security, LNCS, vol. 15263, 207–223.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2025 | Published | Journal Article | IST-REx-ID: 20040 |
Pedrotti F. 2025. Contractive coupling rates and curvature lower bounds for Markov chains. The Annals of Applied Probability. 35(1), 196–250.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20155 |
Brigati G, Stoltz G. 2025. How to construct explicit decay rates for kinetic Fokker–Planck equations? SIAM Journal on Mathematical Analysis. 57(4), 3587–3622.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20485
Misova M. 2025. Dissecting gap junction biology using the C. elegans nervous system. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20441 |
Naik S. 2025. Keratins act as global coordinators of tissue spreading through mechanosensitive feedback. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19597 |
| 
|
Valentini M, Souto RS, Borovkov M, Krogstrup P, Meir Y, Leijnse M, Danon J, Katsaros G. 2025. Subgap transport in superconductor-semiconductor hybrid islands: Weak and strong coupling regimes. Physical Review Research. 7(2), 023022.
[Published Version]
View
| Files available
| DOI
2025 | Draft | Preprint | IST-REx-ID: 20465 |
Naik S, Keta Y-E, Pranjic-Ferscha K, Hannezo EB, Henkes S, Heisenberg C-PJ. Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties. bioRxiv, 10.1101/2025.02.14.638262.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2025 | Published | Journal Article | IST-REx-ID: 19566 |
Miteva FE, Maes ME, Alamalhoda M, Firoozi A, Colombo G, Siegert S. 2025. Optic nerve crush does not induce retinal ganglion cell loss in the contralateral eye. Investigative Ophthalmology & Visual Science. 66(3), 49.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Thesis | IST-REx-ID: 20467
Miteva FE. 2025. The role of cyclooxygenase 1 on microglial response to inflammatory stressors. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19540 |
Henheik SJ. 2025. Modeling complex quantum systems : Random matrices, BCS theory, and quantum lattice systems. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19853 |
Smith K. 2025. Exploring internal magnetism in partially suppressed red giant stars. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 20610
Meggendorfer T, Weininger M, Wienhöft P. 2025. What are the odds? Improving statistical model checking of Markov decision processes. Second International Joint Conference on QEST+FORMATS. QEST-FORMATS: International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, LNCS, vol. 16143, 195–218.
View
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 20592 |
Yao D, Tronarp F, Bosch N. 2025. Propagating model uncertainty through filtering-based probabilistic numerical ODE solvers. Proceedings of the 1st International Conference on Probabilistic Numerics. ProbNum: Conference on Probabilistic Numerics, PMLR, vol. 271.
[Preprint]
View
| Download Preprint (ext.)
| arXiv