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.
6197 Publications
2025 | Published | Conference Paper | IST-REx-ID: 20658 | 
The mid-sphere cousin of the medial axis transform
H. Edelsbrunner, E.R. Stephenson, M.H. Thoresen, in:, 4th International Joint Conference on Discrete Geometry and Mathematical Morphology, Springer Nature, 2025, pp. 133–147.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
H. Edelsbrunner, E.R. Stephenson, M.H. Thoresen, in:, 4th International Joint Conference on Discrete Geometry and Mathematical Morphology, Springer Nature, 2025, pp. 133–147.
2025 | Published | Conference Paper | IST-REx-ID: 20648 |
PolyQEnt: A polynomial quantified entailment solver
K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, M. Saadat, M. Seeliger, D. Zikelic, in:, 23rd International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2025, pp. 411–424.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, M. Saadat, M. Seeliger, D. Zikelic, in:, 23rd International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2025, pp. 411–424.
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20636
TMK-PIN1 drives a short self-organizing circuit for auxin export and signaling in Arabidopsis
Huang R, Wang J, Chang M, Tang W, Yu Y, Zhang Y, Peng Y, Wang Y, Guo Y, Lu T, Cao Y, Zhou Y, Zhang Q, Huang Y, Wu A, Ren L, Gallei MC, Dong J, Chen H, He J, Wen M, Friml J, Sun L, Xiong Y, Yang Z, Xu T. 2025. TMK-PIN1 drives a short self-organizing circuit for auxin export and signaling in Arabidopsis. Developmental Cell., S1534-5807(25)00569–6.
View
| DOI
| PubMed | Europe PMC
Huang R, Wang J, Chang M, Tang W, Yu Y, Zhang Y, Peng Y, Wang Y, Guo Y, Lu T, Cao Y, Zhou Y, Zhang Q, Huang Y, Wu A, Ren L, Gallei MC, Dong J, Chen H, He J, Wen M, Friml J, Sun L, Xiong Y, Yang Z, Xu T. 2025. TMK-PIN1 drives a short self-organizing circuit for auxin export and signaling in Arabidopsis. Developmental Cell., S1534-5807(25)00569–6.
2025 | Published | Journal Article | IST-REx-ID: 20685 |
| 
|
nextGEMS: Entering the era of kilometer-scale Earth system modeling
Segura H et al. 2025. nextGEMS: Entering the era of kilometer-scale Earth system modeling. Geoscientific Model Development. 18(20), 7735–7761.
[Published Version]
View
| Files available
| DOI
Segura H et al. 2025. nextGEMS: Entering the era of kilometer-scale Earth system modeling. Geoscientific Model Development. 18(20), 7735–7761.
2025 | Published | Conference Paper | IST-REx-ID: 20690 |
Risk-aware Markov decision processes using cumulative prospect theory
T. Brihaye, K. Chatterjee, S. Mohr, M. Weininger, in:, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 458–471.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Brihaye, K. Chatterjee, S. Mohr, M. Weininger, in:, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 458–471.
2025 | Published | Conference Paper | IST-REx-ID: 20689 |
Multiplicative rewards in Markovian models
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, in:, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 499–512.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, in:, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 499–512.
2025 | Published | Conference Paper | IST-REx-ID: 20688 |
Stopping criteria for value iteration on concurrent stochastic reachability and safety games
M. Grobelna, J. Kretinsky, M. Weininger, in:, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 568–580.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Grobelna, J. Kretinsky, M. Weininger, in:, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 568–580.
2025 | Published | Conference Paper | IST-REx-ID: 20684 |
“Give me BF16 or give me death”? Accuracy-performance trade-offs in LLM quantization
E. Kurtic, A. Marques, S. Pandit, M. Kurtz, D.-A. Alistarh, in:, Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics, Association for Computational Linguistics, 2025, pp. 26872–26886.
[Published Version]
View
| Files available
| arXiv
E. Kurtic, A. Marques, S. Pandit, M. Kurtz, D.-A. Alistarh, in:, Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics, Association for Computational Linguistics, 2025, pp. 26872–26886.
2025 | Published | Thesis | IST-REx-ID: 20357
Effect propagation in biological networks
N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025.
2025 | Published | Journal Article | IST-REx-ID: 17468 |
|
|
Marcus kinetics control singlet and triplet oxygen evolving from superoxide
S. Mondal, H.T.K. Nguyen, R. Hauschild, S.A. Freunberger, Nature 646 (2025) 601–605.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Mondal, H.T.K. Nguyen, R. Hauschild, S.A. Freunberger, Nature 646 (2025) 601–605.
2025 | Published | Thesis | IST-REx-ID: 20556 |
Theory and applications of verifiable delay functions
C. Hoffmann, Theory and Applications of Verifiable Delay Functions, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
C. Hoffmann, Theory and Applications of Verifiable Delay Functions, Institute of Science and Technology Austria, 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
| Files available
| 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 | In Press | Journal Article | IST-REx-ID: 19507 |
Spatiotemporal switches in progenitor cell fate govern upper hair follicle growth and maintenance
M.S. Andersen, S. Ulyanchenko, P.J. Schweiger, E.B. Hannezo, B.D. Simons, K.B. Jensen, Journal of Investigative Dermatology (n.d.).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
M.S. Andersen, S. Ulyanchenko, P.J. Schweiger, E.B. Hannezo, B.D. Simons, K.B. Jensen, Journal of Investigative Dermatology (n.d.).
2025 | Published | Journal Article | IST-REx-ID: 20188 |
|
|
Front-biased activation of the Ras-Rab5-Rac1 loop coordinates collective cell migration
Y. Jikko, E. Deguchi, K. Matsuda, N. Hino, S. Tsukiji, M. Matsuda, K. Terai, Journal of Cell Science 138 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Y. Jikko, E. Deguchi, K. Matsuda, N. Hino, S. Tsukiji, M. Matsuda, K. Terai, Journal of Cell Science 138 (2025).
2025 | In Press | Journal Article | IST-REx-ID: 20143 |
|
|
Kiwa is a membrane-embedded defense supercomplex activated at phage attachment sites
Z. Zhang, T.C. Todeschini, Y. Wu, R. Kogay, A. Naji, J. Cardenas Rodriguez, R. Mondi, D. Kaganovich, D.W. Taylor, J.P.K. Bravo, M. Teplova, T. Amen, E. Koonin, D.J. Patel, F.L. Nobrega, Cell (n.d.).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
Z. Zhang, T.C. Todeschini, Y. Wu, R. Kogay, A. Naji, J. Cardenas Rodriguez, R. Mondi, D. Kaganovich, D.W. Taylor, J.P.K. Bravo, M. Teplova, T. Amen, E. Koonin, D.J. Patel, F.L. Nobrega, Cell (n.d.).
2025 | Published | Journal Article | IST-REx-ID: 20100 |
|
|
Improving prediction accuracy in chimeric proteins with windowed multiple sequence alignment
S. Vedula, A.M. Bronstein, A. Marx, Computational and Structural Biotechnology Journal 27 (2025) 3292–3298.
[Published Version]
View
| Files available
| DOI
| WoS
S. Vedula, A.M. Bronstein, A. Marx, Computational and Structural Biotechnology Journal 27 (2025) 3292–3298.
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20182 |
Insect sex chromosome evolution: Conservation, turnover, and mechanisms of dosage compensation
M.A. Toups, B. Vicoso, Current Opinion in Insect Science 72 (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
M.A. Toups, B. Vicoso, Current Opinion in Insect Science 72 (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20043 |
Complex K-theory of moduli spaces of Higgs bundles
M. Groechenig, S. Shen, Journal of the European Mathematical Society (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
M. Groechenig, S. Shen, Journal of the European Mathematical Society (2025).
2025 | Research Data Reference | IST-REx-ID: 20103 |
Replication Data for: "Improving Prediction Accuracy in Chimeric Proteins with Windowed Multiple Sequence Alignment"
S. Vedula, A.M. Bronstein, A. Marx, (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Vedula, A.M. Bronstein, A. Marx, (2025).
2025 | Published | Journal Article | IST-REx-ID: 20705 |
|
|
Using optical tweezers to simultaneously trap, charge, and measure the charge of a microparticle in air
A. Stöllner, I.C. Lenton, A. Volosniev, J. Millen, R. Shibuya, H. Ishii, D. Rak, Z. Alpichshev, G. David, R. Signorell, C.J. Muller, S.R. Waitukaitis, Physical Review Letters 135 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
A. Stöllner, I.C. Lenton, A. Volosniev, J. Millen, R. Shibuya, H. Ishii, D. Rak, Z. Alpichshev, G. David, R. Signorell, C.J. Muller, S.R. Waitukaitis, Physical Review Letters 135 (2025).