Lukasz Orlikowski

16 papers A* 5B 1Journal 9Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Exploring VASS Parameterised by Geometric Dimension. CoRR Wojciech Czerwinski, Roland Guttenberg, Lukasz Orlikowski, Henry Sinclair-Banks, Yangluo Zheng
2026	J	`jnl`	Reachability in VASS Extended with Integer Counters. CoRR Clotilde Bizière, Wojciech Czerwinski, Roland Guttenberg, Jérôme Leroux, Vincent Michielini, Lukasz Orlikowski, Antoni Puch, Henry Sinclair-Banks
2025	J	`jnl`	Language Equivalence is Undecidable in VASS with Restricted Nondeterminism. CoRR Wojciech Czerwinski, Lukasz Orlikowski
2025	B	`conf`	Languages of Boundedly-Ambiguous Vector Addition Systems with States. CONCUR Wojciech Czerwinski, Lukasz Orlikowski
2025	J	`jnl`	Languages of Boundedly-Ambiguous Vector Addition Systems with States. CoRR Wojciech Czerwinski, Lukasz Orlikowski
2025	A*	`conf`	Reachability in 3-VASS Is Elementary. ICALP Wojciech Czerwinski, Ismaël Jecker, Slawomir Lasota, Lukasz Orlikowski
2025	J	`jnl`	Reachability in 3-VASS is Elementary. CoRR Wojciech Czerwinski, Ismaël Jecker, Slawomir Lasota, Lukasz Orlikowski
2024	A*	`conf`	The Tractability Border of Reachability in Simple Vector Addition Systems with States. FOCS Dmitry Chistikov, Wojciech Czerwinski, Filip Mazowiecki, Lukasz Orlikowski, Henry Sinclair-Banks, Karol Wegrzycki
2024	J	`jnl`	The Tractability Border of Reachability in Simple Vector Addition Systems with States. CoRR Dmitry Chistikov, Wojciech Czerwinski, Filip Mazowiecki, Lukasz Orlikowski, Henry Sinclair-Banks, Karol Wegrzycki
2023	—	`conf`	New Lower Bounds for Reachability in Vector Addition Systems. FSTTCS Wojciech Czerwinski, Ismaël Jecker, Slawomir Lasota, Jérôme Leroux, Lukasz Orlikowski
2023	J	`jnl`	New Lower Bounds for Reachability in Vector Addition Systems. CoRR Wojciech Czerwinski, Ismaël Jecker, Slawomir Lasota, Jérôme Leroux, Lukasz Orlikowski
2022	A*	`conf`	Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes. LICS Wojciech Czerwinski, Lukasz Orlikowski
2022	J	`jnl`	Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes. CoRR Wojciech Czerwinski, Lukasz Orlikowski
2021	A*	`conf`	Improved Lower Bounds for Reachability in Vector Addition Systems. ICALP Wojciech Czerwinski, Slawomir Lasota, Lukasz Orlikowski
2021	A*	`conf`	Reachability in Vector Addition Systems is Ackermann-complete. FOCS Wojciech Czerwinski, Lukasz Orlikowski
2021	J	`jnl`	Reachability in Vector Addition Systems is Ackermann-complete. CoRR Wojciech Czerwinski, Lukasz Orlikowski