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.
6092 Publications
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 18984 | 
Combining REBOUND and MESA: Dynamical evolution of planets orbiting interacting binaries
Z. Xing, S. Torres Rodriguez, Y.L.L. Götberg, A.A. Trani, V. Korol, J. Cuadra, Monthly Notices of the Royal Astronomical Society 537 (2025) 285–292.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
Z. Xing, S. Torres Rodriguez, Y.L.L. Götberg, A.A. Trani, V. Korol, J. Cuadra, Monthly Notices of the Royal Astronomical Society 537 (2025) 285–292.
2025 | Published | Journal Article | IST-REx-ID: 19001 |
Loschmidt echo for deformed Wigner matrices
L. Erdös, S.J. Henheik, O. Kolupaiev, Letters in Mathematical Physics 115 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
L. Erdös, S.J. Henheik, O. Kolupaiev, Letters in Mathematical Physics 115 (2025).
2025 | Published | Journal Article | IST-REx-ID: 18850 |
Chromatin enables precise and scalable gene regulation with factors of limited specificity
M.L. Perkins, J. Crocker, G. Tkačik, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.L. Perkins, J. Crocker, G. Tkačik, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).
2025 | Published | Conference Paper | IST-REx-ID: 19712 |
On the soundness of algebraic attacks against code-based assumptions
M. Cueto Noval, S.-P. Merz, P. Stählin, A. Ünal, in:, 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Springer Nature, 2025, pp. 385–415.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Cueto Noval, S.-P. Merz, P. Stählin, A. Ünal, in:, 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Springer Nature, 2025, pp. 385–415.
2025 | Published | Journal Article | IST-REx-ID: 19713 |
Hybrid decentralized optimization: Leveraging both first- and zeroth-order optimizers for faster convergence
S. Talaei, M. Ansaripour, G. Nadiradze, D.-A. Alistarh, Proceedings of The39th AAAI Conference on Artificial Intelligence 39 (2025) 20778–20786.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S. Talaei, M. Ansaripour, G. Nadiradze, D.-A. Alistarh, Proceedings of The39th AAAI Conference on Artificial Intelligence 39 (2025) 20778–20786.
2025 | Published | Preprint | IST-REx-ID: 19717 |
Early emergence of projection-subtype fate-restricted radial glial progenitors orchestrates neocortical neurogenesis
I. Varela-Martínez, A. Villalba Requena, J. Garcia-Marqués, S. Hippenmeyer, M. Nieto, BioRxiv (2025).
[Preprint]
View
| DOI
| Download Preprint (ext.)
I. Varela-Martínez, A. Villalba Requena, J. Garcia-Marqués, S. Hippenmeyer, M. Nieto, BioRxiv (2025).
2025 | Published | Journal Article | IST-REx-ID: 10011 |
A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness
S. Hensel, T. Laux, Journal of Differential Geometry 130 (2025) 209–268.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Hensel, T. Laux, Journal of Differential Geometry 130 (2025) 209–268.
2025 | Published | Conference Paper | IST-REx-ID: 19740 |
Value iteration with guessing for Markov chains and Markov decision processes
K. Chatterjee, M. Jafariraviz, R.J. Saona Urmeneta, J. Svoboda, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 217–236.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, M. Jafariraviz, R.J. Saona Urmeneta, J. Svoboda, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 217–236.
2025 | Published | Conference Paper | IST-REx-ID: 19739 |
BUBAAK: Dynamic cooperative verification
M. Chalupa, C. Richter, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 212–216.
[Published Version]
View
| Files available
| DOI
M. Chalupa, C. Richter, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 212–216.
2025 | Conference Paper | IST-REx-ID: 19738 |
Securely instantiating ‘Half Gates’ garbling in the standard model
A. Acharya, K. Azari, M.A. Baig, D. Hofheinz, C. Kamath, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 37–75.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Acharya, K. Azari, M.A. Baig, D. Hofheinz, C. Kamath, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 37–75.
2025 | Published | Conference Paper | IST-REx-ID: 19743 |
Fixed point certificates for reachability and expected rewards in MDPs
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 130–151.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 130–151.
2025 | Published | Conference Paper | IST-REx-ID: 19742 |
Sound statistical model checking for probabilities and expected rewards
C.E. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 167–190.
[Published Version]
View
| Files available
| DOI
| arXiv
C.E. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 167–190.
2025 | Published | Conference Paper | IST-REx-ID: 19744 |
Refuting equivalence in probabilistic programs with conditioning
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 279–300.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 279–300.
2025 | Research Data Reference | IST-REx-ID: 19771 |
Artifact: Fixed point certificates for reachability and expected rewards in MDPs
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, (2025).
2025 | Submitted | Preprint | IST-REx-ID: 19762 |
Early indirect neurogenesis transitions to late direct neurogenesis in mouse cerebral cortex development
A. Cárdenas, I. Çelik, A. Espinós, C. Streicher, L. López-González, L. del-Valle-Anton, V. Fernández, S. Amin, E. Negri, E.F. Ortuño, S. Hippenmeyer, V. Borrell, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Cárdenas, I. Çelik, A. Espinós, C. Streicher, L. López-González, L. del-Valle-Anton, V. Fernández, S. Amin, E. Negri, E.F. Ortuño, S. Hippenmeyer, V. Borrell, BioRxiv (n.d.).
2025 | Research Data Reference | IST-REx-ID: 19769 |
Sound statistical model checking for probabilities and expected rewards (experimental reproduction package)
C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, (2025).
2025 | Published | Conference Paper | IST-REx-ID: 19778 |
Watermarkable and zero-knowledge Verifiable Delay Functions from any proof of exponentiation
C. Hoffmann, K.Z. Pietrzak, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 36–66.
[Preprint]
View
| DOI
| Download Preprint (ext.)
C. Hoffmann, K.Z. Pietrzak, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 36–66.
2025 | Published | Journal Article | IST-REx-ID: 19783 |
Nonlocal‐to‐local convergence for a Cahn–Hilliard tumor growth model
C. Hurm, M. Moser, GAMM-Mitteilungen 48 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
C. Hurm, M. Moser, GAMM-Mitteilungen 48 (2025).
2025 | Published | Journal Article | IST-REx-ID: 18778 |
Mechanism of mammalian transcriptional repression by noncoding RNA
K. Tluckova, B.M. Kaczmarek, A.P. Testa Salmazo, C. Bernecky, Nature Structural & Molecular Biology 32 (2025) 607–612.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
K. Tluckova, B.M. Kaczmarek, A.P. Testa Salmazo, C. Bernecky, Nature Structural & Molecular Biology 32 (2025) 607–612.
2025 | Published | Thesis | IST-REx-ID: 18979 |
Structures and computations in topological data analysis
O. Draganov, Structures and Computations in Topological Data Analysis, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
O. Draganov, Structures and Computations in Topological Data Analysis, Institute of Science and Technology Austria, 2025.