Publikacje

Konferencja: International Conference on Concurrency Theory

2024

• Łukasz Kamiński , Sławomir Lasota , Bi-Reachability in Petri Nets with Data, 35th International Conference on Concurrency Theory, Calgary, Canada, 9 września 2024 - 13 września 2024. Zobacz w PBN
• Lorenzo Clemente , Weighted Basic Parallel Processes and Combinatorial Enumeration, 35th International Conference on Concurrency Theory, Calgary, Canada, 9 września 2024 - 13 września 2024. Zobacz w 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 września 2023 - 22 września 2023. Zobacz w 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 września 2022 - 16 września 2022. Zobacz w 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 września 2022 - 16 września 2022. Zobacz w PBN
• Wojciech Czerwiński , Involved VASS Zoo, 33rd International Conference on Concurrency Theory, Warszawa, Poland, 12 września 2022 - 16 września 2022. Zobacz w 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 września 2022 - 16 września 2022. Zobacz w 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 września 2020 - 4 września 2020. Zobacz w 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 września 2020 - 4 września 2020. Zobacz w 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 września 2020 - 4 września 2020. Zobacz w PBN
• Wojciech Czerwiński , Piotr Hofman , Diego Figueira, Universality Problem for Unambiguous VASS, 31st International Conference on Concurrency Theory, Vienna, Austria, 1 września 2020 - 4 września 2020. Zobacz w PBN

2019

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

2018

• Piotr Hofman , Sławomir Lasota , Linear Equations with Ordered Data, 29th International Conference on Concurrency Theory, Beijing, China, 4 września 2018 - 7 września 2018. Zobacz w 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 września 2018 - 7 września 2018. Zobacz w PBN