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 KH, Weber S. Linear-time MaxCut in multigraphs parameterized above the Poljak-Turzík bound. Algorithmica. 2025. doi: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 NE. A monitoring-oriented theory and classification of quantitative specifications. 2025. doi:10.15479/AT-ISTA-20147
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20342 |
| 
|
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative properties and automata. Logical Methods in Computer Science. 2025;21(2). doi:10.46298/lmcs-21(2:2)2025
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20607
Mondal S. Oxygen and sulfur redox : Conversion kinetics and phase equilibria. 2025. doi: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, et al. Genealogical analysis of replicate flower colour hybrid zones in Antirrhinum. Molecular Ecology. 2025. doi:10.1111/mec.70067
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2025 | Published | Thesis | IST-REx-ID: 20694
Pal A. Using genealogies to study the genomic basis of species divergence. 2025. doi: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, et al. Topographically-controlled contribution of avalanches to glacier mass balance in the 21st century. Nature Communications. 2025;16. doi: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. Fueling the mind: Brain metabolism in health and neurodevelopmental disorders. Annual Review of Genetics. 2025;59:415-434. doi: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 TA, Nickovic D, Oliveira da Costa A. Information-Flow Interfaces and Security Lattices. In: Engineering Safe and Trustworthy Cyber Physical Systems. Vol 15471. Cham: Springer Nature; 2025:251-263. doi: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. Role of cAMP in TIR1/AFB auxin signaling: Open issues. Trends in Plant Science. 2025:S1360-1385(25)00300-0. doi: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. Dynamical probe of the pseudo Jahn-Teller effect in one-dimensional confined fermions. Physical Review Research. 2025;7(3). doi:10.1103/2fr6-b59y
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20734 |
|
|
Zhang Y, Ji HC, Venkataramanan R, Mondelli M. Spectral estimators for structured generalized linear models via approximate message passing. Mathematical Statistics and Learning. 2025;8(3-4):193-304. doi:10.4171/MSL/52
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20733 |
|
|
Aggarwal K, Rolandi A, Yang Y, et al. Rapid optimal work extraction from a quantum-dot information engine. Physical Review Research. 2025;7(3). doi: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. Additive partial matchings for persistent homology. In: Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery; 2025:188-196. doi:10.1145/3747199.3747561
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20727 |
Shi S, Hübl M, Grosjean GM, Goodrich CP, Waitukaitis SR. Electrostatics overcome acoustic collapse to assemble, adapt, and activate levitated matter. Proceedings of the National Academy of Sciences of the United States of America. 2025;122(50):e2516865122. doi:10.1073/pnas.2516865122
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Research Data Reference | IST-REx-ID: 20749 |
Shi S. Datasets and code for manuscript “Electrostatics overcome acoustic collapse to assemble, adapt, and activate levitated matter.” 2025. doi: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. Numerical homogenization of sand from grain-level simulations. ACM Transactions on Graphics. 2025;44(6). doi:10.1145/3763344
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20730 |
|
|
Van Straaten B, Fedele F, Vigneau F, et al. All-rf-based coarse-tuning algorithm for quantum devices using machine learning. Physical Review Applied. 2025;24(5). doi: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, et al. All rf-based tuning algorithm for quantum devices using machine learning. 2025. doi: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 DA, Senior JL, Higginbotham AP. Dual relaxation oscillations in a Josephson-junction array. Physical Review Applied. 2025;24. doi:10.1103/qvls-7s3q
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv