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.

7604 Publications

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

Finding equilibria: Simpler for pessimists, simplest for optimists
L. Brice, T.A. Henzinger, K.S. Thejaswini, in:, 50th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.

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

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

Resolving nondeterminism with randomness
T.A. Henzinger, A. Prakash, K.S. Thejaswini, in:, 50th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.

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

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

Monitoring robustness and individual fairness
A. Gupta, T.A. Henzinger, K. Kueffner, K. Mallik, D. Pape, in:, Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Association for Computing Machinery, 2025, pp. 790–801.

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

Tight bounds between the Jensen–Shannon divergence and the minmax divergence
A. Akopyan, H. Edelsbrunner, Z. Virk, H. Wagner, Entropy 27 (2025).

A duality between surface charge and work function in scanning Kelvin probe microscopy
I.C. Lenton, F. Pertl, L.B. Shafeek, S.R. Waitukaitis, Advanced Materials Interfaces 12 (2025).

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

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

Logic gate neural networks are good for verification
F. Kresse, E. Yu, C. Lampert, T.A. Henzinger, in:, 2nd International Conferenceon Neuro-Symbolic Systems, ML Research Press, 2025.

[Published Version] View | Files available | arXiv

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

Limit-sure reachability for small memory policies in POMDPs is NP-complete
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, A. Shafiee, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 238–247.

[Published Version] View | Files available | arXiv

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

Lower bound on Howard policy iteration for deterministic Markov Decision Processes
A. Asadi, K. Chatterjee, J. De Raaij, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 223–232.

[Published Version] View | Files available | arXiv

Cusp universality for correlated random matrices
L. Erdös, S.J. Henheik, V. Riabov, Communications in Mathematical Physics 406 (2025).

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

Discrete microlocal Morse theory
A. Brown, O. Draganov, Journal of Pure and Applied Algebra 229 (2025).

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

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

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

Joint estimation of paternity, sibships and pollen dispersal in a snapdragon hybrid zone
T. Ellis, D. Field, N.H. Barton, Molecular Ecology 34 (2025).

Liquid-solid interface reactions drive enhanced thermoelectric performance in Ag2Se
Y. Liu, T. Kleinhanns, S. Horta, E. Dutkiewicz, S. Lu, M.C. Spadaro, A. Genç, L. Chen, K.H. Lim, M. Hong, J. Arbiol, M. Ibáñez, Journal of the American Chemical Society 147 (2025) 32199–32208.

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

Prospects of nanoscience with nanocrystals: 2025 edition
Ibáñez M, Boehme SC, Buonsanti R, De Roo J, Milliron DJ, Ithurria S, Rogach AL, Cabot A, Yarema M, Cossairt BM, Reiss P, Talapin DV, Protesescu L, Hens Z, Infante I, Bodnarchuk MI, Ye X, Wang Y, Zhang H, Lhuillier E, Klimov VI, Utzat H, Rainò G, Kagan CR, Cargnello M, Son JS, Kovalenko MV. 2025. Prospects of nanoscience with nanocrystals: 2025 edition. ACS Nano. 19(36), 31969–32051.

The relationship between sexual dimorphism and intersex correlation: Do models support intuition?
G. Puixeu Sala, L. Hayward, Genetics 231 (2025).

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

2025 | Published | Thesis | PhD | IST-REx-ID: 20339 |

Topological methods in discrete geometry and theoretical computer science : Measure partitioning and constraint satisfaction problems
G. Tasinato, Topological Methods in Discrete Geometry and Theoretical Computer Science : Measure Partitioning and Constraint Satisfaction Problems, 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

Decoding zebrafish oogenesis: From primordial germ cell development to fertilization
L. Hofmann, C.-P.J. Heisenberg, Seminars in Cell and Developmental Biology 175 (2025).

Mechanistic adaptation of the metazoan RabGEFs Mon1-Ccz1 and Fuzzy-Inturned
S. Wilmes, J. Tönjes, M. Drechsler, A. Ruf, J.H. Schäfer, A. Lürick, D. Januliene, S. Apelt, D. Di Iorio, S.V. Wegner, M. Loose, A. Moeller, A. Paululat, D. Kümmel, Science Advances 11 (2025) eadx2893.

2025 | Published | Thesis | PhD | IST-REx-ID: 20357

Effect propagation in biological networks
N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025.

[Published Version] View | Files available | DOI

ISTA Research Explorer

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

7604 Publications

Filters and Search Terms

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

7604 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options