Publications

Łukasz Orlikowski

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
• Wojciech Czerwiński , Ismaël Jecker , Sławomir Lasota , Łukasz Orlikowski , Reachability in 3-VASS Is Elementary, 52nd EATCS International Colloquium on Automata, Languages, and Programming, Aarhus, Denmark, 8 July 2025 - 11 July 2025, 334 (153) 2025, p. 1-20. See in PBN

2024

• Dmitry Chistikov, Wojciech Czerwiński , Filip Mazowiecki , Łukasz Orlikowski , Henry Sinclair-Banks , Karol Węgrzycki, The Tractability Border of Reachability in Simple Vector Addition Systems with States, 65th IEEE Symposium on Foundations of Computer Science, Chicago, the United States of America, 27 October 2024 - 30 October 2024. See in PBN

2023

• Wojciech Czerwiński , Ismaël Jecker , Sławomir Lasota , Jérôme Leroux, Łukasz Orlikowski , New Lower Bounds for Reachability in Vector Addition Systems, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, 18 December 2023 - 20 December 2023. See in PBN

2022

• Wojciech Czerwiński , Łukasz Orlikowski , Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes, 37'th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 2 August 2022 - 5 August 2022. See in PBN