A Survey on Network Security Monitoring Systems. - Ibrahim Ghafir; Vaclav Prenosil; Jakub Svoboda; Mohammad Hammoudeh (FiCloud Workshops, 2016)

Simplified Game of Life: Algorithms and Complexity. - Krishnendu Chatterjee; Rasmus Ibsen-Jensen; Ismaël Jecker; Jakub Svoboda (MFCS, 2020)

Route Discovery in Private Payment Channel Networks. - Zeta Avarikioti; Mahsa Bastankhah; Mohammad Ali Maddah-Ali; Krzysztof Pietrzak; Jakub Svoboda; Michelle Yeo (IACR Cryptol. ePrint Arch., 2021)

Complexity of Spatial Games. - Krishnendu Chatterjee; Rasmus Ibsen-Jensen; Ismaël Jecker; Jakub Svoboda (FSTTCS, 2022)

Weighted Packet Selection for Rechargeable Links: Complexity and Approximation. - Stefan Schmid 001; Jakub Svoboda; Michelle Yeo (CoRR, 2022)

Online Admission Control and Rebalancing in Payment Channel Networks. - Mahsa Bastankhah; Krishnendu Chatterjee; Mohammad Ali Maddah-Ali; Stefan Schmid 001; Jakub Svoboda; Michelle Yeo (CoRR, 2022)

Social Balance on Networks: Local Minima and Best Edge Dynamics. - Krishnendu Chatterjee; Jakub Svoboda; Dorde Zikelic; Andreas Pavlogiannis; Josef Tkadlec (CoRR, 2022)

R2: Boosting Liquidity in Payment Channel Networks with Online Admission Control. - Mahsa Bastankhah; Krishnendu Chatterjee; Mohammad Ali Maddah-Ali; Stefan Schmid 001; Jakub Svoboda; Michelle Yeo (FC (1), 2023)

Shortest Dominating Set Reconfiguration Under Token Sliding. - Jan Matyás Kristan; Jakub Svoboda (FCT, 2023)

Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth. - Krishnendu Chatterjee; Tobias Meggendorfer; Raimundo Saona; Jakub Svoboda (SODA, 2023)

Concurrent Stochastic Games with Stateful-Discounted and Parity Objectives: Complexity and Algorithms. - Ali Asadi; Krishnendu Chatterjee; Raimundo Saona; Jakub Svoboda (FSTTCS, 2024)

Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance. - Jakub Svoboda; Suguman Bansal; Krishnendu Chatterjee (ICML, 2024)

Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights. - Ali Asadi; Krishnendu Chatterjee; Jakub Svoboda; Raimundo Saona Urmeneta (LICS, 2024)

Congestion-Free Rerouting of Network Flows: Hardness and an FPT Algorithm. - Esra Ceylan; Krishnendu Chatterjee; Stefan Schmid 001; Jakub Svoboda (NOMS, 2024)

Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating. - Jakub Svoboda; Soham Joshi; Josef Tkadlec; Krishnendu Chatterjee (PLoS Comput. Biol., 2024)

Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. - Stefan Schmid 001; Jakub Svoboda; Michelle Yeo (Theor. Comput. Sci., 2024)

Linear Equations with Min and Max Operators: Computational Complexity. - Krishnendu Chatterjee; Ruichen Luo; Raimundo Saona; Jakub Svoboda (AAAI, 2025)

Value Iteration with Guessing for Markov Chains and Markov Decision Processes. - Krishnendu Chatterjee; Mahdi JafariRaviz; Raimundo Saona; Jakub Svoboda (TACAS (2), 2025)

Reconfiguration Using Generalized Token Jumping. - Jan Matyás Kristan; Jakub Svoboda (WALCOM, 2025)

When is liquid democracy possible? On the manipulation of variance. - Krishnendu Chatterjee; Seth Gilbert; Stefan Schmid 001; Jakub Svoboda; Michelle Yeo (IACR Cryptol. ePrint Arch., 2025)