Powrót do listy instytutów
Publikacje
Konferencja: International Conference on Concurrency Theory
Liczba publikacji: 142024
- Ł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
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