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.

6293 Publications

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

ε-stationary Nash equilibria in multi-player stochastic graph games
A. Asadi, L. Brice, K. Chatterjee, K.S. Thejaswini, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 9:1-9:17.

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

2025 | Submitted | Preprint | IST-REx-ID: 21309 |

Expanding stellar horizons with polarized light
J. Vandersnickt, R.O. Armenta, V. Vanlaer, A.D.-U. A. David-Uraz, C. Aerts, S.B. Das, J.-C. Bouret, D.M. Bowman, L.A. Bugnet, V. Khalack, J.L.-B. J. Labadie-Bartz, S. Mathis, Y. Nazé, C. Neiner, P. Petit, V. Petit, K.T.-P. K. Thomson-Paressant, T.V. Doorsselaere, M. Vanrespaille, ArXiv (n.d.).

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

Optical spectroscopy of the most compact accreting binary harboring a magnetic White Dwarf and a hydrogen-rich donor
I. Galiullin, A.C. Rodriguez, K. El-Badry, I. Caiazzo, P. Szkody, P. Nagarajan, S. Whitebook, The Astrophysical Journal Letters 990 (2025).

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

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

Quantum delocalization of a levitated nanoparticle
M. Rossi, A. Militaru, N. Carlon Zambon, A. Riera-Campeny, O. Romero-Isart, M. Frimmer, L. Novotny, Physical Review Letters 135 (2025).

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

IID prophet inequality with random horizon: Going beyond increasing hazard rates
G. Giambartolomei, F. Mallmann-Trenn, R.J. Saona Urmeneta, in:, 52nd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.

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

Band and defect engineering in solution-processed nanocrystal building blocks to promote transport properties in nanomaterials: The case of thermoelectric Cu ₃SbSe ₄
S. Xiao, M. Zhao, M. Li, S. Wan, A. Genç, L. Huang, L. Chen, Y. Zhang, M. Ibáñez, K.H. Lim, M. Hong, Y. Liu, A. Cabot, Nano Research 18 (2025).

[Published Version] View | Files available | DOI

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

Genetic load, eco-evolutionary feedback, and extinction in metapopulations
O.O. Olusanya, K. Khudiakova, H. Sachdeva, The American Naturalist 205 (2025) 617–636.

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

On extractability of the KZG family of polynomial commitment schemes
J. Belohorec, P. Dvořák, C. Hoffmann, P. Hubáček, K. Mašková, M. Pastyřík, in:, 45th Annual International Cryptology Conference, Springer Nature, 2025, pp. 584–616.

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

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

Spurious correlations in high dimensional regression: The roles of regularization, simplicity bias and over-parameterization
S. Bombari, M. Mondelli, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 4839–4873.

[Published Version] View | Files available | arXiv

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

Test-time training provably improves transformers as in-context learners
H.A. Gozeten, M.E. Ildiz, X. Zhang, M. Soltanolkotabi, M. Mondelli, S. Oymak, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 20266–20295.

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

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

Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime
D. Wu, M. Mondelli, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 67499–67536.

[Published Version] View | Files available | arXiv

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

Inverse problems with experiment-guided AlphaFold
S.A. Maddipatla, N.E. Sellam, M.I. Bojan, S. Vedula, P. Schanda, A. Marx, A.M. Bronstein, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 42366–42393.

[Published Version] View | Files available | arXiv

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

Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery
F. Kovačević, Z. Yihan, M. Mondelli, in:, Proceedings of 38th Conference on Learning Theory, ML Research Press, 2025, pp. 3354–3404.

[Published Version] View | Files available | arXiv

Solubility of a resultant equation and applications
T.D. Browning, S. Chan, Journal de l’ecole Polytechnique Mathematiques 12 (2025) 1677–1691.

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

2025 | Submitted | Preprint | IST-REx-ID: 21399 |

The equational theories project: Advancing collaborative mathematical research at scale
Bolan M, Breitner J, Brox J, Carlini N, Carneiro M, Doorn F van, Dvorak M, Goens A, Hill A, Husum H, Mejia HI, Kocsis ZA, Floch BL, Bar-on A, Luccioli L, McNeil D, Meiburg A, Monticone P, Nielsen PP, Osazuwa EO, Paolini G, Petracci M, Reinke B, Renshaw D, Rossel M, Roux C, Scanvic J, Srinivas S, Tadipatri AR, Tao T, Tsyrklevich V, Vaquerizo-Villar F, Weber D, Zheng F. The equational theories project: Advancing collaborative mathematical research at scale. arXiv, 10.48550/arXiv.2512.07087.

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

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

Boosting payment channel network liquidity with topology optimization and transaction selection
K. Chatterjee, J.M. Křišťan, S. Schmid, J. Svoboda, M.X. Yeo, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.

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

Learning algorithms for verification of Markov decision processes
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, T. Meggendorfer, D. Parker, M. Ujma, TheoretiCS 4 (2025).

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

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

Marginal values of a stochastic game
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505.

View | Files available | DOI | WoS

Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design 66 (2025) 3–48.

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

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

Average and expected distortion of Voronoi paths and scapes
H. Edelsbrunner, A. Nikitenko, Discrete & Computational Geometry 73 (2025) 490–499.

Research Groups

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

6293 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

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

6293 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options