Publications

Conference: Foundations of Software Technology and Theoretical Computer Science

2024

• Kyveli Maria Doveri Karra , Pierre Ganty, B. Srivathsan, A Myhill-Nerode Style Characterization for Timed Automata with Integer Resets, 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Gandhinagar, India, 16 December 2024 - 18 December 2024. See in PBN

2023

• Dmitry Chistikov, Wojciech Czerwiński , Piotr Hofman , Filip Mazowiecki , Henry Sinclair-Banks, Acyclic Petri and Workflow Nets with Resets, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, 18 December 2023 - 20 December 2023. See in PBN
• Wojciech Czerwiński , Maciej Dębski, Tomasz Gogacz , Gordon Ho, Sanjay Jain, Michał Skrzypczak , Frank Stephan, Christopher Tan, Languages Given by Finite Automata over the Unary Alphabet, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, 18 December 2023 - 20 December 2023. See in PBN
• Wojciech Czerwiński , Ismaël Jecker , Sławomir Lasota , Jérôme Leroux, Łukasz Orlikowski , New Lower Bounds for Reachability in Vector Addition Systems, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, 18 December 2023 - 20 December 2023. See in PBN

2021

• Sławomir Lasota , Mohnish Pattathurajan, Parikh Images of Register Automata, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Virtual, India, 14 December 2021 - 17 December 2021, 213 2021, p. 50:1--50:14. See in PBN

2020

• Paweł Parys , Higher-Order Nonemptiness Step by Step, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, Goa, India, 14 December 2020 - 18 December 2020, 182 2020, p. 53:1-53:14. See in PBN
• Udi Boker, Denis Kuperberg, Michał Skrzypczak , Karoliina Lehtinen, On the Succinctness of Alternating Parity Good-For-Games Automata, Leibniz International Proceedings in Informatics, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, Goa, India, 14 December 2020 - 18 December 2020, 182 2020, p. 41:1--41:13. See in PBN

2018

• Udi Boker, Orna Kupferman, Michał Skrzypczak , How Deterministic are Good-For-Games Automata?, 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Kanpur, India, 11 December 2017 - 15 December 2017. See in PBN
• Paweł Parys , The Complexity of the Diagonal Problem for Recursion Schemes, 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Kanpur, India, 11 December 2017 - 15 December 2017. See in PBN