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, Jonas, Kalina H Petrova, and Simon Weber. “Linear-Time MaxCut in Multigraphs Parameterized above the Poljak-Turzík Bound.” Algorithmica. Springer Nature, 2025. 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, Naci E. “A Monitoring-Oriented Theory and Classification of Quantitative Specifications.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20147.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20342 |
| 
|
Boker, Udi, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “ Safety and Liveness of Quantitative Properties and Automata.” Logical Methods in Computer Science. EPI Sciences, 2025. 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, Soumyadip. “Oxygen and Sulfur Redox : Conversion Kinetics and Phase Equilibria.” Institute of Science and Technology Austria, 2025. 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, Arka, Daria Shipilina, Alan Le Moan, Adrian J. Mcnairn, Jennifer K. Grenier, Marek Kucka, Graham Coop, et al. “Genealogical Analysis of Replicate Flower Colour Hybrid Zones in Antirrhinum.” Molecular Ecology. Wiley, 2025. 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, Arka. “Using Genealogies to Study the Genomic Basis of Species Divergence.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20694.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20728 |
|
|
Kneib, Marin, Fabien Maussion, Fanny Brun, Guillem Carcanade, Daniel Farinotti, Matthias Huss, Marit Van Tiel, et al. “Topographically-Controlled Contribution of Avalanches to Glacier Mass Balance in the 21st Century.” Nature Communications. Springer Nature, 2025. 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, Domenico, Vittoria Mariano, and Gaia Novarino. “Fueling the Mind: Brain Metabolism in Health and Neurodevelopmental Disorders.” Annual Review of Genetics. Annual Reviews, 2025. 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, Ezio, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira da Costa. “Information-Flow Interfaces and Security Lattices.” In Engineering Safe and Trustworthy Cyber Physical Systems, 15471:251–63. Cham: Springer Nature, 2025. 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, Jiří. “Role of CAMP in TIR1/AFB Auxin Signaling: Open Issues.” Trends in Plant Science. Elsevier, 2025. 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., Georgios Koutentakis, and P. Schmelcher. “Dynamical Probe of the Pseudo Jahn-Teller Effect in One-Dimensional Confined Fermions.” Physical Review Research. American Physical Society, 2025. https://doi.org/10.1103/2fr6-b59y.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20734 |
|
|
Zhang, Yihan, Hong Chang Ji, Ramji Venkataramanan, and Marco Mondelli. “Spectral Estimators for Structured Generalized Linear Models via Approximate Message Passing.” Mathematical Statistics and Learning. EMS Press, 2025. https://doi.org/10.4171/MSL/52.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20733 |
|
|
Aggarwal, Kushagra, Alberto Rolandi, Yikai Yang, Joseph Hickie, Daniel Jirovec, Andrea Ballabio, Daniel Chrastina, et al. “Rapid Optimal Work Extraction from a Quantum-Dot Information Engine.” Physical Review Research. American Physical Society, 2025. https://doi.org/10.1103/q3dx-kyqj.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20729 |
Gonzalez-Diaz, Rocio, Manuel Soriano Trigueros, and Alvaro Torras-Casas. “Additive Partial Matchings for Persistent Homology.” In Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, 188–96. Association for Computing Machinery, 2025. https://doi.org/10.1145/3747199.3747561.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20727 |
Shi, Sue, Maximilian Hübl, Galien M Grosjean, Carl Peter Goodrich, and Scott R Waitukaitis. “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, 2025. https://doi.org/10.1073/pnas.2516865122.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Research Data Reference | IST-REx-ID: 20749 |
Shi, Sue. “Datasets and Code for Manuscript ‘Electrostatics Overcome Acoustic Collapse to Assemble, Adapt, and Activate Levitated Matter.’” Zenodo, 2025. 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, Yi-Lu, Mickaël Ly, and Chris Wojtan. “Numerical Homogenization of Sand from Grain-Level Simulations.” ACM Transactions on Graphics. Association for Computing Machinery, 2025. https://doi.org/10.1145/3763344.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20730 |
|
|
Van Straaten, Barnaby, Federico Fedele, Florian Vigneau, Joseph Hickie, Daniel Jirovec, Andrea Ballabio, Daniel Chrastina, Giovanni Isella, Georgios Katsaros, and Natalia Ares. “All-Rf-Based Coarse-Tuning Algorithm for Quantum Devices Using Machine Learning.” Physical Review Applied. American Physical Society, 2025. https://doi.org/10.1103/v11m-dbhm.
[Published Version]
View
| Files available
| DOI
2025 | Research Data Reference | IST-REx-ID: 20750 |
Van Straaten, Barnaby, Federico Fedele, Florian Vigneau, Joseph Hickie, Daniel Jirovec, Daniel Chrastina, Giovanni Isella, and Natalia Ares. “All Rf-Based Tuning Algorithm for Quantum Devices Using Machine Learning.” Zenodo, 2025. 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, Soham, Diego A Lancheros Naranjo, Jorden L Senior, and Andrew P Higginbotham. “Dual Relaxation Oscillations in a Josephson-Junction Array.” Physical Review Applied. American Physical Society, 2025. https://doi.org/10.1103/qvls-7s3q.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv