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.
6216 Publications
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19603 | 
Lill, J., Petrova, K. H., & Weber, S. (2025). Linear-time MaxCut in multigraphs parameterized above the Poljak-Turzík bound. Algorithmica. Springer Nature. https://doi.org/10.1007/s00453-025-01306-y
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2025 | Published | Thesis | IST-REx-ID: 20147 |
Sarac, N. E. (2025). A monitoring-oriented theory and classification of quantitative specifications. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20147
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20342 |
| 
|
Boker, U., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2025). Safety and liveness of quantitative properties and automata. Logical Methods in Computer Science. EPI Sciences. https://doi.org/10.46298/lmcs-21(2:2)2025
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20607
Mondal, S. (2025). Oxygen and sulfur redox : Conversion kinetics and phase equilibria. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20607
[Published Version]
View
| Files available
| DOI
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20190 |
|
|
Pal, A., Shipilina, D., Le Moan, A., Mcnairn, A. J., Grenier, J. K., Kucka, M., … Stankowski, S. (2025). Genealogical analysis of replicate flower colour hybrid zones in Antirrhinum. Molecular Ecology. Wiley. https://doi.org/10.1111/mec.70067
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2025 | Published | Thesis | IST-REx-ID: 20694
Pal, A. (2025). Using genealogies to study the genomic basis of species divergence. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20694
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20728 |
|
|
Kneib, M., Maussion, F., Brun, F., Carcanade, G., Farinotti, D., Huss, M., … Champollion, N. (2025). Topographically-controlled contribution of avalanches to glacier mass balance in the 21st century. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-025-65608-z
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20731 |
|
|
Marano, D., Mariano, V., & Novarino, G. (2025). Fueling the mind: Brain metabolism in health and neurodevelopmental disorders. Annual Review of Genetics. Annual Reviews. https://doi.org/10.1146/annurev-genet-111523-102424
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Book Chapter | IST-REx-ID: 20723 |
Bartocci, E., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2025). Information-Flow Interfaces and Security Lattices. In Engineering Safe and Trustworthy Cyber Physical Systems (Vol. 15471, pp. 251–263). Cham: Springer Nature. https://doi.org/10.1007/978-3-031-97537-0_15
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20725 |
|
|
Friml, J. (2025). Role of cAMP in TIR1/AFB auxin signaling: Open issues. Trends in Plant Science. Elsevier. https://doi.org/10.1016/j.tplants.2025.10.018
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20732 |
|
|
Becker, A., Koutentakis, G., & Schmelcher, P. (2025). Dynamical probe of the pseudo Jahn-Teller effect in one-dimensional confined fermions. Physical Review Research. American Physical Society. https://doi.org/10.1103/2fr6-b59y
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20734 |
|
|
Zhang, Y., Ji, H. C., Venkataramanan, R., & Mondelli, M. (2025). Spectral estimators for structured generalized linear models via approximate message passing. Mathematical Statistics and Learning. EMS Press. https://doi.org/10.4171/MSL/52
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20733 |
|
|
Aggarwal, K., Rolandi, A., Yang, Y., Hickie, J., Jirovec, D., Ballabio, A., … Ares, N. (2025). Rapid optimal work extraction from a quantum-dot information engine. Physical Review Research. American Physical Society. https://doi.org/10.1103/q3dx-kyqj
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20729 |
Gonzalez-Diaz, R., Soriano Trigueros, M., & Torras-Casas, A. (2025). Additive partial matchings for persistent homology. In Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation (pp. 188–196). Guanajuato, Mexico: Association for Computing Machinery. https://doi.org/10.1145/3747199.3747561
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20727 |
Shi, S., Hübl, M., Grosjean, G. M., Goodrich, C. P., & Waitukaitis, S. R. (2025). Electrostatics overcome acoustic collapse to assemble, adapt, and activate levitated matter. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2516865122
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Research Data Reference | IST-REx-ID: 20749 |
Shi, S. (2025). Datasets and code for manuscript “Electrostatics overcome acoustic collapse to assemble, adapt, and activate levitated matter.” Zenodo. https://doi.org/10.5281/ZENODO.15752991
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 | Published | Journal Article | IST-REx-ID: 20628 |
Chen, Y.-L., Ly, M., & Wojtan, C. (2025). Numerical homogenization of sand from grain-level simulations. ACM Transactions on Graphics. Hong Kong, China: Association for Computing Machinery. https://doi.org/10.1145/3763344
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20730 |
|
|
Van Straaten, B., Fedele, F., Vigneau, F., Hickie, J., Jirovec, D., Ballabio, A., … Ares, N. (2025). All-rf-based coarse-tuning algorithm for quantum devices using machine learning. Physical Review Applied. American Physical Society. https://doi.org/10.1103/v11m-dbhm
[Published Version]
View
| Files available
| DOI
2025 | Research Data Reference | IST-REx-ID: 20750 |
Van Straaten, B., Fedele, F., Vigneau, F., Hickie, J., Jirovec, D., Chrastina, D., … Ares, N. (2025). All rf-based tuning algorithm for quantum devices using machine learning. Zenodo. https://doi.org/10.5281/ZENODO.17352653
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 | Published | Journal Article | IST-REx-ID: 20324 |
|
|
Mukhopadhyay, S., Lancheros Naranjo, D. A., Senior, J. L., & Higginbotham, A. P. (2025). Dual relaxation oscillations in a Josephson-junction array. Physical Review Applied. American Physical Society. https://doi.org/10.1103/qvls-7s3q
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv