Jakub Svoboda

According to our database, Jakub Svoboda authored at least 18 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation.

Stefan Schmid, Jakub Svoboda, Michelle Yeo

Theor. Comput. Sci., 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

Linear Equations with Min and Max Operators: Computational Complexity.

Krishnendu Chatterjee, Ruichen Luo, Raimundo Saona, Jakub Svoboda

CoRR, 2024

Reconfiguration Using Generalized Token Jumping.

Jan Matyás Kristan, Jakub Svoboda

CoRR, 2024

Congestion-Free Rerouting of Network Flows: Hardness and an FPT Algorithm.

Esra Ceylan, Krishnendu Chatterjee, Stefan Schmid, Jakub Svoboda

Proceedings of the NOMS 2024 IEEE Network Operations and Management Symposium, 2024

Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights.

Ali Asadi, Krishnendu Chatterjee, Jakub Svoboda, Raimundo Saona Urmeneta

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance.

Jakub Svoboda, Suguman Bansal, Krishnendu Chatterjee

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Concurrent Stochastic Games with Stateful-Discounted and Parity Objectives: Complexity and Algorithms.

Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda

Proceedings of the 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2024

2023

Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth.

Krishnendu Chatterjee, Tobias Meggendorfer, Raimundo Saona, Jakub Svoboda

Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, 2023

Shortest Dominating Set Reconfiguration Under Token Sliding.

Jan Matyás Kristan, Jakub Svoboda

Proceedings of the Fundamentals of Computation Theory - 24th International Symposium, 2023

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

Proceedings of the Financial Cryptography and Data Security, 2023

2022

Social Balance on Networks: Local Minima and Best Edge Dynamics.

Krishnendu Chatterjee, Jakub Svoboda, Dorde Zikelic, Andreas Pavlogiannis, Josef Tkadlec

CoRR, 2022

Online Admission Control and Rebalancing in Payment Channel Networks.

Mahsa Bastankhah, Krishnendu Chatterjee, Mohammad Ali Maddah-Ali, Stefan Schmid, Jakub Svoboda, Michelle Yeo

CoRR, 2022

Weighted Packet Selection for Rechargeable Links: Complexity and Approximation.

Stefan Schmid, Jakub Svoboda, Michelle Yeo

CoRR, 2022

Complexity of Spatial Games.

Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda

Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022

2021

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

2020

Simplified Game of Life: Algorithms and Complexity.

Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

2016

A Survey on Network Security Monitoring Systems.

Ibrahim Ghafir, Vaclav Prenosil, Jakub Svoboda, Mohammad Hammoudeh

Proceedings of the 4th IEEE International Conference on Future Internet of Things and Cloud Workshops, 2016