Publications

Conference: International Conference on Concurrency Theory

2022

• 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

• 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