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 |
Asadi, A., Brice, L., Chatterjee, K., & Thejaswini, K. S. (2025). ε-stationary Nash equilibria in multi-player stochastic graph games. In 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 360, p. 9:1-9:17). Pilani, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/lipics.fsttcs.2025.9
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Submitted |
Preprint |
IST-REx-ID: 21309 |
Vandersnickt, J., Armenta, R. O., Vanlaer, V., A. David-Uraz, A. D.-U., Aerts, C., Das, S. B., … Vanrespaille, M. (n.d.). Expanding stellar horizons with polarized light. arXiv. https://doi.org/10.48550/arXiv.2512.15170
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21317 |
|
|
Galiullin, I., Rodriguez, A. C., El-Badry, K., Caiazzo, I., Szkody, P., Nagarajan, P., & Whitebook, S. (2025). Optical spectroscopy of the most compact accreting binary harboring a magnetic White Dwarf and a hydrogen-rich donor. The Astrophysical Journal Letters. IOP Publishing. https://doi.org/10.3847/2041-8213/adff82
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21318 |
Rossi, M., Militaru, A., Carlon Zambon, N., Riera-Campeny, A., Romero-Isart, O., Frimmer, M., & Novotny, L. (2025). Quantum delocalization of a levitated nanoparticle. Physical Review Letters. American Physical Society. https://doi.org/10.1103/2yzc-fsm3
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21320 |
Giambartolomei, G., Mallmann-Trenn, F., & Saona Urmeneta, R. J. (2025). IID prophet inequality with random horizon: Going beyond increasing hazard rates. In 52nd International Colloquium on Automata, Languages, and Programming (Vol. 334). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2025.87
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21321 |
|
|
Xiao, S., Zhao, M., Li, M., Wan, S., Genç, A., Huang, L., … Cabot, A. (2025). Band and defect engineering in solution-processed nanocrystal building blocks to promote transport properties in nanomaterials: The case of thermoelectric Cu 3SbSe 4. Nano Research. Tsinghua University Press. https://doi.org/10.26599/nr.2025.94907072
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 21322 |
Olusanya, O. O., Khudiakova, K., & Sachdeva, H. (2025). Genetic load, eco-evolutionary feedback, and extinction in metapopulations. The American Naturalist. University of Chicago Press. https://doi.org/10.1086/735562
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2025 |
Published |
Conference Paper |
IST-REx-ID: 21323 |
Belohorec, J., Dvořák, P., Hoffmann, C., Hubáček, P., Mašková, K., & Pastyřík, M. (2025). On extractability of the KZG family of polynomial commitment schemes. In 45th Annual International Cryptology Conference (Vol. 16005, pp. 584–616). Santa Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-032-01887-8_19
[Preprint]
View
| DOI
| Download Preprint (ext.)
2025 |
Published |
Conference Paper |
IST-REx-ID: 21324 |
Bombari, S., & Mondelli, M. (2025). Spurious correlations in high dimensional regression: The roles of regularization, simplicity bias and over-parameterization. In Proceedings of the 42nd International Conference on Machine Learning (Vol. 267, pp. 4839–4873). Vancouver, Canada: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21325 |
Gozeten, H. A., Ildiz, M. E., Zhang, X., Soltanolkotabi, M., Mondelli, M., & Oymak, S. (2025). Test-time training provably improves transformers as in-context learners. In Proceedings of the 42nd International Conference on Machine Learning (Vol. 267, pp. 20266–20295). Vancouver, Canada: ML Research Press.
[Published Version]
View
| Files available
| PubMed | Europe PMC
2025 |
Published |
Conference Paper |
IST-REx-ID: 21326 |
Wu, D., & Mondelli, M. (2025). Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime. In Proceedings of the 42nd International Conference on Machine Learning (Vol. 267, pp. 67499–67536). Vancouver, Canada: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21327 |
Maddipatla, S. A., Sellam, N. E., Bojan, M. I., Vedula, S., Schanda, P., Marx, A., & Bronstein, A. M. (2025). Inverse problems with experiment-guided AlphaFold. In Proceedings of the 42nd International Conference on Machine Learning (Vol. 267, pp. 42366–42393). Vancouver, Canada: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21328 |
Kovačević, F., Yihan, Z., & Mondelli, M. (2025). Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery. In Proceedings of 38th Conference on Learning Theory (Vol. 291, pp. 3354–3404). Lyon, France: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21343 |
|
|
Browning, T. D., & Chan, S. (2025). Solubility of a resultant equation and applications. Journal de l’ecole Polytechnique Mathematiques. Ecole polytechnique. https://doi.org/10.5802/jep.320
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Submitted |
Preprint |
IST-REx-ID: 21399 |
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 |
Chatterjee, K., Křišťan, J. M., Schmid, S., Svoboda, J., & Yeo, M. X. (2025). Boosting payment channel network liquidity with topology optimization and transaction selection. In 39th International Symposium on Distributed Computing (Vol. 356). Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2025.23
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21413 |
|
|
Brázdil, T., Chatterjee, K., Chmelik, M., Forejt, V., Kretinsky, J., Kwiatkowska, M., … Ujma, M. (2025). Learning algorithms for verification of Markov decision processes. TheoretiCS. TheoretiCS Foundation. https://doi.org/10.46298/theoretics.25.10
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 17037
Attia, L., Oliu-Barton, M., & Saona Urmeneta, R. J. (2025). Marginal values of a stochastic game. Mathematics of Operations Research. Institute for Operations Research and the Management Sciences. https://doi.org/10.1287/moor.2023.0297
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 17094 |
|
|
Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2025). Information-flow interfaces. Formal Methods in System Design. Springer Nature. https://doi.org/10.1007/s10703-024-00447-0
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 17149 |
Edelsbrunner, H., & Nikitenko, A. (2025). Average and expected distortion of Voronoi paths and scapes. Discrete & Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-024-00660-y
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv