| 2025 | AAAI | Linear Equations with Min and Max Operators: Computational Complexity. | Krishnendu Chatterjee, Ruichen Luo, Raimundo Saona, Jakub Svoboda |
| 2025 | PODC | When is liquid democracy possible?: On the manipulation of variance. | Krishnendu Chatterjee, Seth Gilbert, Stefan Schmid, Jakub Svoboda, Michelle Yeo |
| 2025 | TACAS | Value Iteration with Guessing for Markov Chains and Markov Decision Processes. | Krishnendu Chatterjee, Mahdi JafariRaviz, Raimundo Saona, Jakub Svoboda |
| 2025 | WALCOM | Reconfiguration Using Generalized Token Jumping. | Jan Matys Kristan, Jakub Svoboda |
| 2024 | ESORICS | Route Discovery in Private Payment Channel Networks. | Zeta Avarikioti, Mahsa Bastankhah, Mohammad Ali Maddah-Ali, Krzysztof Pietrzak, Jakub Svoboda, Michelle Yeo |
| 2024 | ICML | Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance. | Jakub Svoboda, Suguman Bansal, Krishnendu Chatterjee |
| 2024 | LICS | Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights. | Ali Asadi, Krishnendu Chatterjee, Jakub Svoboda, Raimundo Saona Urmeneta |
| 2024 | NOMS | Congestion-Free Rerouting of Network Flows: Hardness and an FPT Algorithm. | Esra Ceylan, Krishnendu Chatterjee, Stefan Schmid, Jakub Svoboda |
| 2023 | FC | R2: Boosting Liquidity in Payment Channel Networks with Online Admission Control. | Mahsa Bastankhah, Krishnendu Chatterjee, Mohammad Ali Maddah-Ali, Stefan Schmid, Jakub Svoboda, Michelle Yeo |
| 2023 | FCT | Shortest Dominating Set Reconfiguration Under Token Sliding. | Jan Matys Kristan, Jakub Svoboda |
| 2023 | SODA | Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth. | Krishnendu Chatterjee, Tobias Meggendorfer, Raimundo Saona, Jakub Svoboda |
| 2023 | SIROCCO | Weighted Packet Selection for Rechargeable Links in Cryptocurrency Networks: Complexity and Approximation. | Stefan Schmid, Jakub Svoboda, Michelle Yeo |
| 2020 | MFCS | Simplified Game of Life: Algorithms and Complexity. | Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismal Jecker, Jakub Svoboda |