Publications

Conference: International Conference on Concurrency Theory

2025

• Wojciech Czerwiński , Łukasz Orlikowski , Languages of Boundedly-Ambiguous Vector Addition Systems with States, 36th International Conference on Concurrency Theory, Aarhus, Denmark, 25 August 2025 - 30 August 2025, 348 2025. See in PBN

2024

• Łukasz Kamiński , Sławomir Lasota , Bi-Reachability in Petri Nets with Data, 35th International Conference on Concurrency Theory, Calgary, Canada, 9 September 2024 - 13 September 2024. See in PBN
• Lorenzo Clemente , Weighted Basic Parallel Processes and Combinatorial Enumeration, 35th International Conference on Concurrency Theory, Calgary, Canada, 9 September 2024 - 13 September 2024. See in PBN

2023

• Pascal Baumann, Khushraj Madnani, Filip Mazowiecki , Georg Zetzsche, Monus Semantics in Vector Addition Systems with States, 34th International Conference on Concurrency Theory, Antwerpia, Belgium, 19 September 2023 - 22 September 2023. See in PBN

2022

• Bartosz Klin , Sławomir Lasota , Anca Muscholl, 33rd International Conference on Concurrency Theory (CONCUR 2022), 33rd International Conference on Concurrency Theory, Warszawa, Poland, 12 September 2022 - 16 September 2022. See in PBN
• Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański , A Kleene Theorem for Higher-Dimensional Automata, 33rd International Conference on Concurrency Theory, Warszawa, Poland, 12 September 2022 - 16 September 2022. See in PBN
• Wojciech Czerwiński , Involved VASS Zoo, 33rd International Conference on Concurrency Theory, Warszawa, Poland, 12 September 2022 - 16 September 2022. See in PBN
• Wojciech Czerwiński , Piotr Hofman , Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable, 33rd International Conference on Concurrency Theory, Warszawa, Poland, 12 September 2022 - 16 September 2022. See in PBN

2020

• Lorenzo Clemente , Sławomir Lasota , Radosław Piórkowski, Determinisability of One-Clock Timed Automata, 31st International Conference on Concurrency Theory, Vienna, Austria, 1 September 2020 - 4 September 2020. See in PBN
• Shaull Almagor, Udi Boker, Piotr Hofman , Patrick Totzke, Parametrized Universality Problems for One-Counter Nets, 31st International Conference on Concurrency Theory, Vienna, Austria, 1 September 2020 - 4 September 2020. See in PBN
• Wojciech Czerwiński , Sławomir Lasota , Ranko Lazic, Jerome Leroux, Filip Mazowiecki , Reachability in Fixed Dimension Vector Addition Systems with States, 31st International Conference on Concurrency Theory, Vienna, Austria, 1 September 2020 - 4 September 2020. See in PBN
• Wojciech Czerwiński , Piotr Hofman , Diego Figueira, Universality Problem for Unambiguous VASS, 31st International Conference on Concurrency Theory, Vienna, Austria, 1 September 2020 - 4 September 2020. See in PBN

2019

• Michał Pilipczuk , Filip Mazowiecki , Reachability for Bounded Branching VASS, 30th International Conference on Concurrency Theory, Amsterdam, the Netherlands, 26 August 2019 - 31 August 2019, 140 2019, p. 28:1--28:13. See in PBN
• Lorenzo Clemente , Piotr Hofman , Patrick Totzke, Timed Basic Parallel Processes, 30th International Conference on Concurrency Theory, Amsterdam, the Netherlands, 26 August 2019 - 31 August 2019. See in PBN

2018

• Piotr Hofman , Sławomir Lasota , Linear Equations with Ordered Data, 29th International Conference on Concurrency Theory, Beijing, China, 4 September 2018 - 7 September 2018. See in PBN
• Wojciech Czerwiński , K. Narayan Kumar, Sławomir Lasota , Roland Meyer, Sebastian Muskalla, Prakash Saivasan, Regular Separability of Well-Structured Transition Systems, 29th International Conference on Concurrency Theory, Beijing, China, 4 September 2018 - 7 September 2018. See in PBN