You are not logged in |
Back to the list of the institutes
Publications
Conference: International Conference on Concurrency Theory
Number of publications: 152024
- Ł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
