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.

12344 Publications


2025 | Published | Conference Paper | IST-REx-ID: 20668 | OA
Hashimoto K, Katsumata S, Pascual Perez G. Exploring how to authenticate application messages in MLS: More efficient, post-quantum, and anonymous blocklistable. In: 34th Usenix Security Symposium. Usenix Association; 2025:6699-6716.
[Published Version] View | Files available | Download Published Version (ext.) | Cryptology ePrint
 

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
 

2025 | Published | Conference Paper | IST-REx-ID: 20299 | OA
Asadi A, Chatterjee K, De Raaij J. Lower bound on Howard policy iteration for deterministic Markov Decision Processes. In: The 41st Conference on Uncertainty in Artificial Intelligence. Vol 286. ML Research Press; 2025:223-232.
[Published Version] View | Files available | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20297 | OA
Asadi A, Chatterjee K, Saona Urmeneta RJ, Shafiee A. Limit-sure reachability for small memory policies in POMDPs is NP-complete. In: The 41st Conference on Uncertainty in Artificial Intelligence. Vol 286. ML Research Press; 2025:238-247.
[Published Version] View | Files available | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20296 | OA
Kresse F, Yu E, Lampert C, Henzinger TA. Logic gate neural networks are good for verification. In: 2nd International Conferenceon Neuro-Symbolic Systems. Vol 288. ML Research Press; 2025.
[Published Version] View | Files available | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 19508 | OA | PlanS
Attia L, Lichev L, Mitsche D, Saona Urmeneta RJ, Ziliotto B. Random zero-sum dynamic games on infinite directed graphs. Dynamic Games and Applications. 2025;15:1517-1535. doi:10.1007/s13235-025-00636-4
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed