ISTA Research Explorer

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 |

Linear-time MaxCut in multigraphs parameterized above the Poljak-Turzík bound
J. Lill, K.H. Petrova, S. Weber, Algorithmica (2025).

[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS

2025 | Published | Thesis | IST-REx-ID: 20147 |

A monitoring-oriented theory and classification of quantitative specifications
N.E. Sarac, A Monitoring-Oriented Theory and Classification of Quantitative Specifications, Institute of Science and Technology Austria, 2025.

[Published Version] View | Files available | DOI

Safety and liveness of quantitative properties and automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, Logical Methods in Computer Science 21 (2025).

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

2025 | Published | Thesis | IST-REx-ID: 20607

Oxygen and sulfur redox : Conversion kinetics and phase equilibria
S. Mondal, Oxygen and Sulfur Redox : Conversion Kinetics and Phase Equilibria, Institute of Science and Technology Austria, 2025.

[Published Version] View | Files available | DOI

Genealogical analysis of replicate flower colour hybrid zones in Antirrhinum
A. Pal, D. Shipilina, A. Le Moan, A.J. Mcnairn, J.K. Grenier, M. Kucka, G. Coop, Y.F. Chan, N.H. Barton, D. Field, S. Stankowski, Molecular Ecology (2025).

[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS

2025 | Published | Thesis | IST-REx-ID: 20694

Using genealogies to study the genomic basis of species divergence
A. Pal, Using Genealogies to Study the Genomic Basis of Species Divergence, Institute of Science and Technology Austria, 2025.

[Published Version] View | Files available | DOI

Topographically-controlled contribution of avalanches to glacier mass balance in the 21st century
M. Kneib, F. Maussion, F. Brun, G. Carcanade, D. Farinotti, M. Huss, M. Van Tiel, A. Jouberton, P. Schmitt, L. Schuster, A. Dehecq, N. Champollion, Nature Communications 16 (2025).

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

Fueling the mind: Brain metabolism in health and neurodevelopmental disorders
D. Marano, V. Mariano, G. Novarino, Annual Review of Genetics 59 (2025) 415–434.

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

2025 | Published | Book Chapter | IST-REx-ID: 20723 |

Information-Flow Interfaces and Security Lattices
E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, Engineering Safe and Trustworthy Cyber Physical Systems, Springer Nature, Cham, 2025, pp. 251–263.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

Role of cAMP in TIR1/AFB auxin signaling: Open issues
J. Friml, Trends in Plant Science (2025) S1360-1385(25)00300–0.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

Dynamical probe of the pseudo Jahn-Teller effect in one-dimensional confined fermions
A. Becker, G. Koutentakis, P. Schmelcher, Physical Review Research 7 (2025).

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

Spectral estimators for structured generalized linear models via approximate message passing
Y. Zhang, H.C. Ji, R. Venkataramanan, M. Mondelli, Mathematical Statistics and Learning 8 (2025) 193–304.

[Published Version] View | Files available | DOI

Rapid optimal work extraction from a quantum-dot information engine
K. Aggarwal, A. Rolandi, Y. Yang, J. Hickie, D. Jirovec, A. Ballabio, D. Chrastina, G. Isella, M.T. Mitchison, M. Perarnau-Llobet, N. Ares, Physical Review Research 7 (2025).

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

2025 | Published | Conference Paper | IST-REx-ID: 20729 |

Additive partial matchings for persistent homology
R. Gonzalez-Diaz, M. Soriano Trigueros, A. Torras-Casas, in:, Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, Association for Computing Machinery, 2025, pp. 188–196.

[Published Version] View | Files available | DOI

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

Electrostatics overcome acoustic collapse to assemble, adapt, and activate levitated matter
S. Shi, M. Hübl, G.M. Grosjean, C.P. Goodrich, S.R. Waitukaitis, Proceedings of the National Academy of Sciences of the United States of America 122 (2025) e2516865122.

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

2025 | Research Data Reference | IST-REx-ID: 20749 |

Datasets and code for manuscript "Electrostatics overcome acoustic collapse to assemble, adapt, and activate levitated matter"
S. Shi, (2025).

[Published Version] View | Files available | DOI | Download Published Version (ext.)

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

Numerical homogenization of sand from grain-level simulations
Y.-L. Chen, M. Ly, C. Wojtan, ACM Transactions on Graphics 44 (2025).

[Published Version] View | Files available | DOI

All-rf-based coarse-tuning algorithm for quantum devices using machine learning
B. Van Straaten, F. Fedele, F. Vigneau, J. Hickie, D. Jirovec, A. Ballabio, D. Chrastina, G. Isella, G. Katsaros, N. Ares, Physical Review Applied 24 (2025).

[Published Version] View | Files available | DOI

2025 | Research Data Reference | IST-REx-ID: 20750 |

All rf-based tuning algorithm for quantum devices using machine learning
B. Van Straaten, F. Fedele, F. Vigneau, J. Hickie, D. Jirovec, D. Chrastina, G. Isella, N. Ares, (2025).

[Published Version] View | Files available | DOI | Download Published Version (ext.)

Dual relaxation oscillations in a Josephson-junction array
S. Mukhopadhyay, D.A. Lancheros Naranjo, J.L. Senior, A.P. Higginbotham, Physical Review Applied 24 (2025).

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

Institute of Science and Technology Austria (ISTA)

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

6216 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

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

6216 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options