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.
5809 Publications
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 | Thesis | IST-REx-ID: 19393 |
Non-equilibrium topological phases with periodically driven molecules and quantum rotors
V. Karle, Non-Equilibrium Topological Phases with Periodically Driven Molecules and Quantum Rotors, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
V. Karle, Non-Equilibrium Topological Phases with Periodically Driven Molecules and Quantum Rotors, Institute of Science and Technology Austria, 2025.
2025 | Published | Journal Article | IST-REx-ID: 19777 |
Precipitation phase drives seasonal and decadal snowline changes in high mountain Asia
M. Bernat, E.S. Miles, M. Kneib, K. Fujita, O. Sasaki, T. Shaw, F. Pellicciotti, Environmental Research Letters 20 (2025).
[Published Version]
View
| Files available
| DOI
M. Bernat, E.S. Miles, M. Kneib, K. Fujita, O. Sasaki, T. Shaw, F. Pellicciotti, Environmental Research Letters 20 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19776 |
Optimal sums of three cubes in Fq[t]
T.D. Browning, J. Glas, V. Wang, Mathematische Zeitschrift 310 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
T.D. Browning, J. Glas, V. Wang, Mathematische Zeitschrift 310 (2025).
2025 | Research Data Reference | IST-REx-ID: 19780 |
Snow line altitude in high mountain Asia derived from satellite imagery (LS5, LS7, LS8 & S2) between 1999 and 2019
M. Bernat, (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Bernat, (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 | Epub ahead of print | Journal Article | IST-REx-ID: 19779
Evidence of ferroelectric distortions in topological crystalline insulators via transverse thermoelectric measurements
P. Negi, B. He, D. Ukolov, S. Horta, K. Maji, N. Mao, N. Peshcherenko, P. Yanda, M. Yao, M. Dutta, I. Robredo, M. Iraola, M.G. Vergniory, P. Lemmens, Y. Zhang, C. Shekhar, M. Ibáñez, C. Felser, S. Roychowdhury, Journal of the American Chemical Society (2025).
View
| DOI
| PubMed | Europe PMC
P. Negi, B. He, D. Ukolov, S. Horta, K. Maji, N. Mao, N. Peshcherenko, P. Yanda, M. Yao, M. Dutta, I. Robredo, M. Iraola, M.G. Vergniory, P. Lemmens, Y. Zhang, C. Shekhar, M. Ibáñez, C. Felser, S. Roychowdhury, Journal of the American Chemical Society (2025).
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: 19784 |
RUBIES: A complete census of the bright and red distant universe with JWST/NIRSpec
de Graaff A, Brammer G, Weibel A, Lewis Z, Maseda MV, Oesch PA, Bezanson R, Boogaard LA, Cleri NJ, Cooper OR, Gottumukkala R, Greene JE, Hirschmann M, Hviding RE, Katz H, Labbé I, Leja J, Matthee JJ, McConachie I, Miller TB, Naidu RP, Price SH, Rix H-W, Setton DJ, Suess KA, Wang B, Whitaker KE, Williams CC. 2025. RUBIES: A complete census of the bright and red distant universe with JWST/NIRSpec. Astronomy & Astrophysics. 697, A189.
[Published Version]
View
| Files available
| DOI
de Graaff A, Brammer G, Weibel A, Lewis Z, Maseda MV, Oesch PA, Bezanson R, Boogaard LA, Cleri NJ, Cooper OR, Gottumukkala R, Greene JE, Hirschmann M, Hviding RE, Katz H, Labbé I, Leja J, Matthee JJ, McConachie I, Miller TB, Naidu RP, Price SH, Rix H-W, Setton DJ, Suess KA, Wang B, Whitaker KE, Williams CC. 2025. RUBIES: A complete census of the bright and red distant universe with JWST/NIRSpec. Astronomy & Astrophysics. 697, A189.
2025 | Published | Journal Article | IST-REx-ID: 19785 |
Token-driven totally asymmetric simple exclusion processes
B. Kavcic, G. Tkačik, Physical Review E 111 (2025).
[Published Version]
View
| Files available
| DOI
B. Kavcic, G. Tkačik, Physical Review E 111 (2025).
2025 | Research Data | IST-REx-ID: 19658 |
Token-driven totally asymmetric simple exclusion processes
G. Tkačik, (2025).
[Published Version]
View
| Files available
| DOI
G. Tkačik, (2025).
2025 | Published | Journal Article | IST-REx-ID: 19796 |
Mapping the attractor landscape of Boolean networks with biobalm
V.G. Trinh, K.H. Park, S. Pastva, J.C. Rozum, Bioinformatics 41 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
V.G. Trinh, K.H. Park, S. Pastva, J.C. Rozum, Bioinformatics 41 (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19794 |
Network models incorporating chloride dynamics predict optimal strategies for terminating status epilepticus
C. Currin, R.J. Burman, T. Fedele, G. Ramantani, R.E. Rosch, H. Sprekeler, J.V. Raimondo, Neurobiology of Disease 212 (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Currin, R.J. Burman, T. Fedele, G. Ramantani, R.E. Rosch, H. Sprekeler, J.V. Raimondo, Neurobiology of Disease 212 (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19798 |
A note on finding large transversals efficiently
M. Anastos, P. Morris, Journal of Combinatorial Designs (2025).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Anastos, P. Morris, Journal of Combinatorial Designs (2025).
2025 | Published | Journal Article | IST-REx-ID: 19403 |
BCS critical temperature on half-spaces
B. Roos, R. Seiringer, Archive for Rational Mechanics and Analysis 249 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
B. Roos, R. Seiringer, Archive for Rational Mechanics and Analysis 249 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19075
Laser-assisted thermoelectric-enhanced hydrogen peroxide biosensors based on Ag2Se nanofilms for sensitive detection of bacterial pathogens
H. Ma, S. Pu, S. Jia, S. Xu, Q. Yu, L. Yang, H. Wu, Q. Sun, Nanoscale 17 (2025) 5858–5868.
View
| DOI
| PubMed | Europe PMC
H. Ma, S. Pu, S. Jia, S. Xu, Q. Yu, L. Yang, H. Wu, Q. Sun, Nanoscale 17 (2025) 5858–5868.
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 | Journal Article | IST-REx-ID: 15016 |
Adeno-associated viral tools to trace neural development and connectivity across amphibians
Jaeger ECB, Vijatovic D, Deryckere A, Zorin N, Nguyen AL, Ivanian G, Woych J, Arnold RC, Ortega Gurrola A, Shvartsman A, Barbieri F, Toma F-A, Gorbsky GJ, Horb ME, Cline HT, Shay TF, Kelley DB, Yamaguchi A, Shein-Idelson M, Tosches MA, Sweeney LB. 2025. Adeno-associated viral tools to trace neural development and connectivity across amphibians. Developmental Cell. 60(5), 794–812.e6.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
Jaeger ECB, Vijatovic D, Deryckere A, Zorin N, Nguyen AL, Ivanian G, Woych J, Arnold RC, Ortega Gurrola A, Shvartsman A, Barbieri F, Toma F-A, Gorbsky GJ, Horb ME, Cline HT, Shay TF, Kelley DB, Yamaguchi A, Shein-Idelson M, Tosches MA, Sweeney LB. 2025. Adeno-associated viral tools to trace neural development and connectivity across amphibians. Developmental Cell. 60(5), 794–812.e6.
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.
2025 | Published | Journal Article | IST-REx-ID: 19797 |
The mass distribution of stars stripped in binaries: The effect of metallicity
B. Hovis-Afflerbach, Y.L.L. Götberg, A. Schootemeijer, J. Klencki, A.L. Strom, B.A. Ludwig, M.R. Drout, Astronomy and Astrophysics 697 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
B. Hovis-Afflerbach, Y.L.L. Götberg, A. Schootemeijer, J. Klencki, A.L. Strom, B.A. Ludwig, M.R. Drout, Astronomy and Astrophysics 697 (2025).