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.
6129 Publications
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 | 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
2025 | Published | Journal Article | IST-REx-ID: 20795 |
|
|
Bao, Jiawei, Sandrine Bony, Daisuke Takasuka, and Caroline J Muller. “Tropics-Wide Intraseasonal Oscillations.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2025. https://doi.org/10.1073/pnas.2511549122.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20796 |
|
|
Paouneskou, Dimitra, Antoine Baudrimont, Réka K Kelemen, Marwan N Elkrewi, Angela Graf, Shehab Moukbel Ali Aldawla, Claudia Kölbl, Irene Tiemann-Boege, Beatriz Vicoso, and Verena Jantsch. “BAF-1–VRK-1 Mediated Release of Meiotic Chromosomes from the Nuclear Periphery Is Important for Genome Integrity.” Nature Communications. Springer Nature, 2025. https://doi.org/10.1038/s41467-025-65420-9.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20797 |
|
|
Seabrook, Hannah, Emilien Lavie, Karl T Strömberg, Matthew P. Stafford, and Giulia Rubino. “Surpassing the Loss-Noise Robustness Trade-off in Quantum Key Distribution.” Physical Review Applied. American Physical Society, 2025. https://doi.org/10.1103/xq2l-r4r7.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Preprint | IST-REx-ID: 20804 |
Hlavata, Annamaria, Benjamin Neuditschko, Ulla Schellhaas, Clemens Plaschka, Franz Herzog, and Carrie Bernecky. “Structure of Cytoplasmic RNA Polymerase II.” bioRxiv, 2025. https://doi.org/10.64898/2025.12.10.692585.
View
| DOI
| Download None (ext.)