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

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
 
2025 | Published | Conference Paper | IST-REx-ID: 20302 | OA
Luo R, Stich SU, Horváth S, Takáč M. Revisiting LocalSGD and SCAFFOLD: Improved rates and missing analysis. In: The 28th International Conference on Artificial Intelligence and Statistics. Vol 258. ML Research Press; 2025:2539-2547.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 20646 | OA | PlanS
Petrova E, Ljubotina M, Yalniz G, Serbyn M. Finding periodic orbits in projected quantum many-body dynamics. PRX Quantum. 2025;6(4). doi:10.1103/tldp-kvkd
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 20709 | OA | PlanS
Brighi P, Ljubotina M, Roccati F, Balducci F. Finite steady-state current defies non-Hermitian many-body localization. Physical Review Research. 2025;7(4). doi:10.1103/crwj-x7j8
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 20648 | OA
Chatterjee K, Goharshady AK, Goharshady E, et al. PolyQEnt: A polynomial quantified entailment solver. In: 23rd International Symposium on Automated Technology for Verification and Analysis. Vol 16145. Springer Nature; 2025:411-424. doi:10.1007/978-3-032-08707-2_19
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 20690 | OA
Brihaye T, Chatterjee K, Mohr S, Weininger M. Risk-aware Markov decision processes using cumulative prospect theory. In: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2025:458-471. doi:10.1109/lics65433.2025.00041
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 20689 | OA
Baier C, Chatterjee K, Meggendorfer T, Piribauer J. Multiplicative rewards in Markovian models. In: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2025:499-512. doi:10.1109/lics65433.2025.00044
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 20817 | OA
Pervez AA, Gavves E, Locatello F. Mechanistic PDE networks for discovery of governing equations. In: 42nd International Conference on Machine Learning. Vol 267. ML Research Press; 2025:48962-48973.
[Published Version] View | Files available | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 20857 | OA
Svoboda J, Chatterjee K. Promoters of cooperation in evolutionary games. Proceedings of the National Academy of Sciences. 2025;122(51):e2524109122. doi:10.1073/pnas.2524109122
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2025 | Published | Conference Paper | IST-REx-ID: 21320 | OA
Giambartolomei G, Mallmann-Trenn F, Saona Urmeneta RJ. IID prophet inequality with random horizon: Going beyond increasing hazard rates. In: 52nd International Colloquium on Automata, Languages, and Programming. Vol 334. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:10.4230/LIPIcs.ICALP.2025.87
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 21326 | OA
Wu D, Mondelli M. 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. ML Research Press; 2025:67499-67536.
[Published Version] View | Files available | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 21268 | OA
Chatterjee K, Doyen L, Raskin J-F, Sankur O. The value problem for multiple-environment MDPs with parity objective. In: 52nd International Colloquium on Automata, Languages, and Programming. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:10.4230/LIPIcs.ICALP.2025.150
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 21412 | OA
Chatterjee K, Křišťan JM, Schmid S, Svoboda J, Yeo MX. Boosting payment channel network liquidity with topology optimization and transaction selection. In: 39th International Symposium on Distributed Computing. Vol 356. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:10.4230/LIPIcs.DISC.2025.23
[Published Version] View | Files available | DOI | arXiv | Cryptology ePrint
 
2025 | Published | Conference Paper | IST-REx-ID: 20819 | OA
Scott JA, Lampert C, Saulpic D. Differentially private federated k-means clustering with server-side data. In: 42nd International Conference on Machine Learning. Vol 267. ML Research Press; 2025:53757-53790.
[Published Version] View | Files available | arXiv
 
2025 | Draft | Preprint | IST-REx-ID: 21207 | OA
Zakerinia H, Scott JA, Lampert C. Federated learning with unlabeled clients: Personalization can happen in low dimensions. arXiv. doi:10.48550/ARXIV.2505.15579
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2025 | Published | Conference Paper | IST-REx-ID: 22828 | OA
Kalinin N, Upadhyay J, Lampert C. Continual release moment estimation with differential privacy. In: Advances in Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025:64002-64047. doi:10.52202/085713-1924
[Published Version] View | DOI | Download Published Version (ext.)
 
2025 | Published | Journal Article | IST-REx-ID: 19841 | OA
Britavskiy N, Mahy L, Lennon DJ, Patrick LR, Sana H, Villaseñor JI, Shenar T, Bodensteiner J, Bernini-Peron M, Berlanas SR, Bowman DM, Crowther PA, De Mink SE, Evans CJ, Götberg YLL, Holgado G, Johnston C, Keszthelyi Z, Klencki J, Langer N, Mandel I, Menon A, Moe M, Oskinova LM, Pauli D, Pawlak M, Ramachandran V, Renzo M, Sander AAC, Schneider FRN, Schootemeijer A, Sen K, Simón-Díaz S, Van Loon JT, Vink JS. 2025. Binarity at LOw Metallicity (BLOeM): Multiplicity of early B-type supergiants in the Small Magellanic Cloud. Astronomy & Astrophysics. 698, A40.
[Published Version] View | Files available | DOI | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed