ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

11106 Publications

Ayala Á, Muñoz-Castro E, Farinotti D, et al. Less water from glaciers during future megadroughts in the Southern Andes. Communications Earth and Environment. 2025;6. doi:10.1038/s43247-025-02845-6

[Published Version] View | Files available | DOI | WoS

2025 | Published | Journal Article | IST-REx-ID: 20704

Tuo P, Zeng Z, Chen J, Cheng B. Scalable multitemperature free energy sampling of classical Ising spin states. Journal of Chemical Theory and Computation. 2025;21(22):11427-11435. doi:10.1021/acs.jctc.5c01248

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

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

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

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

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

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

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

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

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.)

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

Bao J, Bony S, Takasuka D, Muller CJ. Tropics-wide intraseasonal oscillations. Proceedings of the National Academy of Sciences. 2025;122(48). doi:10.1073/pnas.2511549122

[Published Version] View | Files available | DOI | PubMed | Europe PMC

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

11106 Publications

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

11106 Publications

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options