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.




6772 Publications

earlier version | 2025 | Published | Conference Paper | IST-REx-ID: 21280 | OA
Goranci G, Henzinger M, Räcke H, Sricharan A. Incremental approximate maximum flow via residual graph sparsification. In: 52nd International Colloquium on Automata, Languages, and Programming. Vol 334. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025:91:1-91:20. doi:10.4230/lipics.icalp.2025.91
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 21262 | OA
Auerbach B, Cueto Noval M, Erol B, Pietrzak KZ. Continuous group-key agreement: Concurrent updates without pruning. In: 45th Annual International Cryptology Conference. Vol 16007. Springer Nature; 2025:141-172. doi:10.1007/978-3-032-01913-4_5
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2025 | Published | Journal Article | IST-REx-ID: 19278 | OA
Sobarzo Ponce JCA, Pertl F, Balazs D, et al. Spontaneous ordering of identical materials into a triboelectric series. Nature. 2025;638(8051). doi:10.1038/s41586-024-08530-6
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 20481 | OA | PlanS
Pertl F, Lenton IC, Cramer T, Waitukaitis SR. No time for surface charge: How bulk conductivity hides charge patterns from Kelvin probe force microscopy in contact-electrified surfaces. Physical Review Letters. 2025;135(14). doi:10.1103/lcsm-xxty
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Thesis | PhD | IST-REx-ID: 19684 | OA
Yalniz G. Transition to turbulence: Data-, solution-, and pattern-driven approaches. 2025. doi:10.15479/AT-ISTA-19684
[Published Version] View | Files available | DOI
 
2025 | Published | Journal Article | IST-REx-ID: 22774 | OA
Kolmogorov V, Naldi S, Zapata J. Certifying solutions of degenerate semidefinite programs. ACM Communications in Computer Algebra. 2025;59(4):147-152. doi:10.1145/3832046.3832063
[Published Version] View | DOI | Download Published Version (ext.)
 
2025 | Published | Conference Paper | IST-REx-ID: 22826 | OA
Rodionov G, Garipov R, Shutova A, et al. Hogwild! Inference: Parallel LLM generation via concurrent attention. In: 39th Conference on Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025:52014-52055. doi:10.52202/085713-1551
[Published Version] View | DOI | Download Published Version (ext.)
 
2025 | Published | Conference Paper | IST-REx-ID: 22825 | OA
Súkeník P, Lampert C, Mondelli M. Neural collapse is globally optimal in deep regularized ResNets and transformers. In: 39th Conference on Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025:48646-48677. doi:10.52202/085713-1450
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 22824 | OA
Zakerinia H, Lampert C. Fast rate bounds for multi-task and meta-learning with different sample sizes. In: 39th Conference on Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025:9062-9093. doi:10.52202/085713-0278
[Published Version] View | DOI | Download Published Version (ext.)
 
2025 | Published | Conference Paper | IST-REx-ID: 22830 | OA
Garipov R, Velikonivtsev F, Ermakov I, Svirschevski R, Egiazarian V, Ryabinin M. AutoJudge: Judge decoding without manual annotation. In: 39th Annual Conference on Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025:104904-104941. doi:10.52202/085713-3163
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 19595 | OA
Davidson Y, Philipp A, Chakraborty S, Bronstein AM, Gershoni-Poranne R. How local is “local”? Deep learning reveals locality of the induced magnetic field of polycyclic aromatic hydrocarbons. Journal of Chemical Physics. 2025;162(14). doi:10.1063/5.0257558
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 17468 | OA | PlanS
Mondal S, Nguyen HTK, Hauschild R, Freunberger SA. Marcus kinetics control singlet and triplet oxygen evolving from superoxide. Nature. 2025;646(8085):601–605. doi:10.1038/s41586-025-09587-7
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2025 | Published | Conference Paper | IST-REx-ID: 19743 | OA
Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. Fixed point certificates for reachability and expected rewards in MDPs. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15697. Springer Nature; 2025:130-151. doi:10.1007/978-3-031-90653-4_7
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19740 | OA
Chatterjee K, Jafariraviz M, Saona Urmeneta RJ, Svoboda J. Value iteration with guessing for Markov chains and Markov decision processes. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15697. Springer Nature; 2025:217-236. doi:10.1007/978-3-031-90653-4_11
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19744 | OA
Chatterjee K, Goharshady E, Novotný P, Zikelic D. Refuting equivalence in probabilistic programs with conditioning. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15697. Springer Nature; 2025:279-300. doi:10.1007/978-3-031-90653-4_14
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19667 | OA
Chatterjee K, Goharshady E, Karrabi M, Motwani HJ, Seeliger M, Zikelic D. Quantified linear and polynomial arithmetic satisfiability via template-based skolemization. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:11158-11166. doi:10.1609/aaai.v39i11.33213
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19669 | OA
Chatterjee K, Luo R, Saona Urmeneta RJ, Svoboda J. Linear equations with min and max operators: Computational complexity. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:11150-11157. doi:10.1609/aaai.v39i11.33212
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Research Data Reference | IST-REx-ID: 19771 | OA
Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. Artifact: Fixed point certificates for reachability and expected rewards in MDPs. 2025. doi:10.5281/ZENODO.14626585
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2025 | Published | Journal Article | IST-REx-ID: 19843 | OA
Hübner V, Schmid L, Hilbe C, Chatterjee K. Stable strategies of direct and indirect reciprocity across all social dilemmas. PNAS Nexus. 2025;4(5). doi:10.1093/pnasnexus/pgaf154
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 19074 | OA | PlanS
Hübner V, Hilbe C, Staab M, Kleshnina M, Chatterjee K. Time-dependent strategies in repeated asymmetric public goods games. Dynamic Games and Applications. 2025;15:1617-1645. doi:10.1007/s13235-025-00627-5
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed