Jakub Svoboda

21 Publications

Mark all

[21]
2025 | Published | Conference Paper | IST-REx-ID: 19445 | OA
J. M. Křišťan and J. Svoboda, “Reconfiguration using generalized token jumping,” in 19th International Conference and Workshops on Algorithms and Computation, Chengdu, China, 2025, vol. 15411, pp. 244–265.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[20]
2025 | Published | Conference Paper | IST-REx-ID: 19669 | OA
K. Chatterjee, R. Luo, R. J. Saona Urmeneta, and J. Svoboda, “Linear equations with min and max operators: Computational complexity,” in Proceedings of the 39th AAAI Conference on Artificial Intelligence, Philadelphia, PA, United States, 2025, vol. 39, no. 11, pp. 11150–11157.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[19]
2025 | Published | Conference Paper | IST-REx-ID: 19740 | OA
K. Chatterjee, M. Jafariraviz, R. J. Saona Urmeneta, and J. Svoboda, “Value iteration with guessing for Markov chains and Markov decision processes,” in 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Hamilton, ON, Canada, 2025, vol. 15697, pp. 217–236.
[Published Version] View | Files available | DOI | arXiv
 
[18]
2025 | Published | Conference Paper | IST-REx-ID: 19600
Z. Avarikioti, M. Bastankhah, M. A. Maddah-Ali, K. Z. Pietrzak, J. Svoboda, and M. X. Yeo, “Route discovery in private payment channel networks,” in Computer Security. ESORICS 2024 International Workshops, Bydgoszcz, Poland, 2025, vol. 15263, pp. 207–223.
View | DOI
 
[17]
2025 | Published | Conference Paper | IST-REx-ID: 20053 | OA
K. Chatterjee, S. Gilbert, S. Schmid, J. Svoboda, and M. X. Yeo, “When is liquid democracy possible?: On the manipulation of variance,” in Proceedings of the ACM Symposium on Principles of Distributed Computing, Huatulco, Mexico, 2025, pp. 241–251.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[16]
2025 | Published | Thesis | IST-REx-ID: 20138 | OA
J. Svoboda, “Structural properties of games on graphs,” Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 
[15]
2024 | Published | Conference Paper | IST-REx-ID: 18974 | OA
J. Svoboda, S. Bansal, and K. Chatterjee, “Reinforcement learning from reachability specifications: PAC guarantees with expected conditional distance,” in 41st International Conference on Machine Learning, Vienna, Austria, 2024, vol. 235, pp. 47331–47344.
[Preprint] View | Download Preprint (ext.)
 
[14]
2024 | Published | Journal Article | IST-REx-ID: 14820 | OA
S. Schmid, J. Svoboda, and M. X. Yeo, “Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation,” Theoretical Computer Science, vol. 989. Elsevier, 2024.
[Published Version] View | Files available | DOI
 
[13]
2024 | Published | Conference Paper | IST-REx-ID: 18925
E. Ceylan, K. Chatterjee, S. Schmid, and J. Svoboda, “Congestion-free rerouting of network flows: Hardness and an FPT algorithm,” in NOMS 2024-2024 IEEE Network Operations and Management Symposium, Seoul, Republic of Korea, 2024.
View | DOI
 
[12]
2024 | Published | Conference Paper | IST-REx-ID: 17099 | OA
A. Asadi, K. Chatterjee, R. J. Saona Urmeneta, and J. Svoboda, “Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms,” in 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Gujarat, India, 2024, vol. 323.
[Published Version] View | Files available | DOI | arXiv
 
[11]
2024 | Published | Conference Paper | IST-REx-ID: 17098 | OA
A. Asadi, K. Chatterjee, J. Svoboda, and R. J. Saona Urmeneta, “Deterministic sub-exponential algorithm for discounted-sum games with unary weights,” in 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia, 2024.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[10]
2024 | Published | Journal Article | IST-REx-ID: 15297 | OA
J. Svoboda, S. S. Joshi, J. Tkadlec, and K. Chatterjee, “Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating,” PLoS Computational Biology, vol. 20, no. 3. Public Library of Science, 2024.
[Published Version] View | Files available | DOI | arXiv
 
[9]
2024 | Published | Journal Article | IST-REx-ID: 18703 | OA
J. Svoboda and K. Chatterjee, “Density amplifiers of cooperation for spatial games,” Proceedings of the National Academy of Sciences of the United States of America, vol. 121, no. 50. National Academy of Sciences, 2024.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
[8]
2023 | Published | Conference Paper | IST-REx-ID: 14456 | OA
J. M. Křišťan and J. Svoboda, “Shortest dominating set reconfiguration under token sliding,” in 24th International Symposium on Fundamentals of Computation Theory, Trier, Germany, 2023, vol. 14292, pp. 333–347.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[7]
2023 | Published | Conference Paper | IST-REx-ID: 14736
M. Bastankhah, K. Chatterjee, M. A. Maddah-Ali, S. Schmid, J. Svoboda, and M. X. Yeo, “R2: Boosting liquidity in payment channel networks with online admission control,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13950, pp. 309–325.
View | DOI
 
[6]
2023 | Published | Conference Paper | IST-REx-ID: 12676 | OA
K. Chatterjee, T. Meggendorfer, R. J. Saona Urmeneta, and J. Svoboda, “Faster algorithm for turn-based stochastic games with bounded treewidth,” in Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Florence, Italy, 2023, pp. 4590–4605.
[Published Version] View | DOI | Download Published Version (ext.)
 
[5]
2023 | Published | Journal Article | IST-REx-ID: 12787 | OA
J. Svoboda, J. Tkadlec, K. Kaveh, and K. Chatterjee, “Coexistence times in the Moran process with environmental heterogeneity,” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 479, no. 2271. The Royal Society, 2023.
[Published Version] View | Files available | DOI | WoS
 
[4]
2022 | Published | Journal Article | IST-REx-ID: 10731 | OA
J. Svoboda, J. Tkadlec, A. Pavlogiannis, K. Chatterjee, and M. A. Nowak, “Infection dynamics of COVID-19 virus under lockdown and reopening,” Scientific Reports, vol. 12, no. 1. Springer Nature, 2022.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[3]
2022 | Published | Conference Paper | IST-REx-ID: 12101 | OA
K. Chatterjee, R. Ibsen-Jensen, I. R. Jecker, and J. Svoboda, “Complexity of spatial games,” in 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Madras, India, 2022, vol. 250.
[Published Version] View | Files available | DOI
 
[2]
2022 | Published | Journal Article | IST-REx-ID: 12257 | OA
K. Chatterjee, J. Svoboda, D. Zikelic, A. Pavlogiannis, and J. Tkadlec, “Social balance on networks: Local minima and best-edge dynamics,” Physical Review E, vol. 106, no. 3. American Physical Society, 2022.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
[1]
2020 | Published | Conference Paper | IST-REx-ID: 8533 | OA
K. Chatterjee, R. Ibsen-Jensen, I. R. Jecker, and J. Svoboda, “Simplified game of life: Algorithms and complexity,” in 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czech Republic, 2020, vol. 170.
[Published Version] View | Files available | DOI | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

Grants


21 Publications

Mark all

[21]
2025 | Published | Conference Paper | IST-REx-ID: 19445 | OA
J. M. Křišťan and J. Svoboda, “Reconfiguration using generalized token jumping,” in 19th International Conference and Workshops on Algorithms and Computation, Chengdu, China, 2025, vol. 15411, pp. 244–265.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[20]
2025 | Published | Conference Paper | IST-REx-ID: 19669 | OA
K. Chatterjee, R. Luo, R. J. Saona Urmeneta, and J. Svoboda, “Linear equations with min and max operators: Computational complexity,” in Proceedings of the 39th AAAI Conference on Artificial Intelligence, Philadelphia, PA, United States, 2025, vol. 39, no. 11, pp. 11150–11157.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[19]
2025 | Published | Conference Paper | IST-REx-ID: 19740 | OA
K. Chatterjee, M. Jafariraviz, R. J. Saona Urmeneta, and J. Svoboda, “Value iteration with guessing for Markov chains and Markov decision processes,” in 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Hamilton, ON, Canada, 2025, vol. 15697, pp. 217–236.
[Published Version] View | Files available | DOI | arXiv
 
[18]
2025 | Published | Conference Paper | IST-REx-ID: 19600
Z. Avarikioti, M. Bastankhah, M. A. Maddah-Ali, K. Z. Pietrzak, J. Svoboda, and M. X. Yeo, “Route discovery in private payment channel networks,” in Computer Security. ESORICS 2024 International Workshops, Bydgoszcz, Poland, 2025, vol. 15263, pp. 207–223.
View | DOI
 
[17]
2025 | Published | Conference Paper | IST-REx-ID: 20053 | OA
K. Chatterjee, S. Gilbert, S. Schmid, J. Svoboda, and M. X. Yeo, “When is liquid democracy possible?: On the manipulation of variance,” in Proceedings of the ACM Symposium on Principles of Distributed Computing, Huatulco, Mexico, 2025, pp. 241–251.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[16]
2025 | Published | Thesis | IST-REx-ID: 20138 | OA
J. Svoboda, “Structural properties of games on graphs,” Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 
[15]
2024 | Published | Conference Paper | IST-REx-ID: 18974 | OA
J. Svoboda, S. Bansal, and K. Chatterjee, “Reinforcement learning from reachability specifications: PAC guarantees with expected conditional distance,” in 41st International Conference on Machine Learning, Vienna, Austria, 2024, vol. 235, pp. 47331–47344.
[Preprint] View | Download Preprint (ext.)
 
[14]
2024 | Published | Journal Article | IST-REx-ID: 14820 | OA
S. Schmid, J. Svoboda, and M. X. Yeo, “Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation,” Theoretical Computer Science, vol. 989. Elsevier, 2024.
[Published Version] View | Files available | DOI
 
[13]
2024 | Published | Conference Paper | IST-REx-ID: 18925
E. Ceylan, K. Chatterjee, S. Schmid, and J. Svoboda, “Congestion-free rerouting of network flows: Hardness and an FPT algorithm,” in NOMS 2024-2024 IEEE Network Operations and Management Symposium, Seoul, Republic of Korea, 2024.
View | DOI
 
[12]
2024 | Published | Conference Paper | IST-REx-ID: 17099 | OA
A. Asadi, K. Chatterjee, R. J. Saona Urmeneta, and J. Svoboda, “Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms,” in 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Gujarat, India, 2024, vol. 323.
[Published Version] View | Files available | DOI | arXiv
 
[11]
2024 | Published | Conference Paper | IST-REx-ID: 17098 | OA
A. Asadi, K. Chatterjee, J. Svoboda, and R. J. Saona Urmeneta, “Deterministic sub-exponential algorithm for discounted-sum games with unary weights,” in 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia, 2024.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[10]
2024 | Published | Journal Article | IST-REx-ID: 15297 | OA
J. Svoboda, S. S. Joshi, J. Tkadlec, and K. Chatterjee, “Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating,” PLoS Computational Biology, vol. 20, no. 3. Public Library of Science, 2024.
[Published Version] View | Files available | DOI | arXiv
 
[9]
2024 | Published | Journal Article | IST-REx-ID: 18703 | OA
J. Svoboda and K. Chatterjee, “Density amplifiers of cooperation for spatial games,” Proceedings of the National Academy of Sciences of the United States of America, vol. 121, no. 50. National Academy of Sciences, 2024.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
[8]
2023 | Published | Conference Paper | IST-REx-ID: 14456 | OA
J. M. Křišťan and J. Svoboda, “Shortest dominating set reconfiguration under token sliding,” in 24th International Symposium on Fundamentals of Computation Theory, Trier, Germany, 2023, vol. 14292, pp. 333–347.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[7]
2023 | Published | Conference Paper | IST-REx-ID: 14736
M. Bastankhah, K. Chatterjee, M. A. Maddah-Ali, S. Schmid, J. Svoboda, and M. X. Yeo, “R2: Boosting liquidity in payment channel networks with online admission control,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13950, pp. 309–325.
View | DOI
 
[6]
2023 | Published | Conference Paper | IST-REx-ID: 12676 | OA
K. Chatterjee, T. Meggendorfer, R. J. Saona Urmeneta, and J. Svoboda, “Faster algorithm for turn-based stochastic games with bounded treewidth,” in Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Florence, Italy, 2023, pp. 4590–4605.
[Published Version] View | DOI | Download Published Version (ext.)
 
[5]
2023 | Published | Journal Article | IST-REx-ID: 12787 | OA
J. Svoboda, J. Tkadlec, K. Kaveh, and K. Chatterjee, “Coexistence times in the Moran process with environmental heterogeneity,” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 479, no. 2271. The Royal Society, 2023.
[Published Version] View | Files available | DOI | WoS
 
[4]
2022 | Published | Journal Article | IST-REx-ID: 10731 | OA
J. Svoboda, J. Tkadlec, A. Pavlogiannis, K. Chatterjee, and M. A. Nowak, “Infection dynamics of COVID-19 virus under lockdown and reopening,” Scientific Reports, vol. 12, no. 1. Springer Nature, 2022.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[3]
2022 | Published | Conference Paper | IST-REx-ID: 12101 | OA
K. Chatterjee, R. Ibsen-Jensen, I. R. Jecker, and J. Svoboda, “Complexity of spatial games,” in 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Madras, India, 2022, vol. 250.
[Published Version] View | Files available | DOI
 
[2]
2022 | Published | Journal Article | IST-REx-ID: 12257 | OA
K. Chatterjee, J. Svoboda, D. Zikelic, A. Pavlogiannis, and J. Tkadlec, “Social balance on networks: Local minima and best-edge dynamics,” Physical Review E, vol. 106, no. 3. American Physical Society, 2022.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
[1]
2020 | Published | Conference Paper | IST-REx-ID: 8533 | OA
K. Chatterjee, R. Ibsen-Jensen, I. R. Jecker, and J. Svoboda, “Simplified game of life: Algorithms and complexity,” in 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czech Republic, 2020, vol. 170.
[Published Version] View | Files available | DOI | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed