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, Keitaro, et al. “Exploring How to Authenticate Application Messages in MLS: More Efficient, Post-Quantum, and Anonymous Blocklistable.” 34th Usenix Security Symposium, Usenix Association, 2025, pp. 6699–716.
[Published Version] View | Files available | Download Published Version (ext.) | Cryptology ePrint
 

2025 | Published | Journal Article | IST-REx-ID: 22774 | OA
Kolmogorov, Vladimir, et al. “Certifying Solutions of Degenerate Semidefinite Programs.” ACM Communications in Computer Algebra, vol. 59, no. 4, ACM, 2025, pp. 147–52, doi:10.1145/3832046.3832063.
[Published Version] View | DOI | Download Published Version (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 22826 | OA
Rodionov, Gleb, et al. “Hogwild! Inference: Parallel LLM Generation via Concurrent Attention.” 39th Conference on Neural Information Processing Systems, vol. 38, Neural Information Processing Systems Foundation, 2025, pp. 52014–55, 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, Peter, et al. “Neural Collapse Is Globally Optimal in Deep Regularized ResNets and Transformers.” 39th Conference on Neural Information Processing Systems, vol. 38, Neural Information Processing Systems Foundation, 2025, pp. 48646–77, doi:10.52202/085713-1450.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 22824 | OA
Zakerinia, Hossein, and Christoph Lampert. “Fast Rate Bounds for Multi-Task and Meta-Learning with Different Sample Sizes.” 39th Conference on Neural Information Processing Systems, vol. 38, Neural Information Processing Systems Foundation, 2025, pp. 9062–93, doi:10.52202/085713-0278.
[Published Version] View | DOI | Download Published Version (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 22830 | OA
Garipov, Roman, et al. “AutoJudge: Judge Decoding without Manual Annotation.” 39th Annual Conference on Neural Information Processing Systems, vol. 38, Neural Information Processing Systems Foundation, 2025, pp. 104904–41, doi:10.52202/085713-3163.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 19595 | OA
Davidson, Yair, et al. “How Local Is ‘Local’? Deep Learning Reveals Locality of the Induced Magnetic Field of Polycyclic Aromatic Hydrocarbons.” Journal of Chemical Physics, vol. 162, no. 14, 144101, AIP Publishing, 2025, 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, Soumyadip, et al. “Marcus Kinetics Control Singlet and Triplet Oxygen Evolving from Superoxide.” Nature, vol. 646, no. 8085, Springer Nature, 2025, pp. 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, Krishnendu, et al. “Fixed Point Certificates for Reachability and Expected Rewards in MDPs.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15697, Springer Nature, 2025, pp. 130–51, 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, Krishnendu, et al. “Value Iteration with Guessing for Markov Chains and Markov Decision Processes.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15697, Springer Nature, 2025, pp. 217–36, 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, Krishnendu, et al. “Refuting Equivalence in Probabilistic Programs with Conditioning.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15697, Springer Nature, 2025, pp. 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, Krishnendu, et al. “Quantified Linear and Polynomial Arithmetic Satisfiability via Template-Based Skolemization.” Proceedings of the 39th AAAI Conference on Artificial Intelligence, vol. 39, no. 11, Association for the Advancement of Artificial Intelligence, 2025, pp. 11158–66, doi:10.1609/aaai.v39i11.33213.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19669 | OA
Chatterjee, Krishnendu, et al. “Linear Equations with Min and Max Operators: Computational Complexity.” Proceedings of the 39th AAAI Conference on Artificial Intelligence, vol. 39, no. 11, Association for the Advancement of Artificial Intelligence, 2025, pp. 11150–57, doi:10.1609/aaai.v39i11.33212.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Research Data Reference | IST-REx-ID: 19771 | OA
Chatterjee, Krishnendu, et al. Artifact: Fixed Point Certificates for Reachability and Expected Rewards in MDPs. Zenodo, 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, Valentin, et al. “Stable Strategies of Direct and Indirect Reciprocity across All Social Dilemmas.” PNAS Nexus, vol. 4, no. 5, pgaf154, Oxford University Press, 2025, 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, Valentin, et al. “Time-Dependent Strategies in Repeated Asymmetric Public Goods Games.” Dynamic Games and Applications, vol. 15, Springer Nature, 2025, pp. 1617–45, doi:10.1007/s13235-025-00627-5.
[Published Version] View | Files available | DOI | WoS
 

2025 | Published | Conference Paper | IST-REx-ID: 20299 | OA
Asadi, Ali, et al. “Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes.” The 41st Conference on Uncertainty in Artificial Intelligence, vol. 286, ML Research Press, 2025, pp. 223–32.
[Published Version] View | Files available | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20297 | OA
Asadi, Ali, et al. “Limit-Sure Reachability for Small Memory Policies in POMDPs Is NP-Complete.” The 41st Conference on Uncertainty in Artificial Intelligence, vol. 286, ML Research Press, 2025, pp. 238–47.
[Published Version] View | Files available | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20296 | OA
Kresse, Fabian, et al. “Logic Gate Neural Networks Are Good for Verification.” 2nd International Conferenceon Neuro-Symbolic Systems, vol. 288, 26, ML Research Press, 2025.
[Published Version] View | Files available | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 19508 | OA | PlanS
Attia, Luc, et al. “Random Zero-Sum Dynamic Games on Infinite Directed Graphs.” Dynamic Games and Applications, vol. 15, Springer Nature, 2025, pp. 1517–35, doi:10.1007/s13235-025-00636-4.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed