- The Boundedness and Zero Isolation Problems for Weighted Automata over Nonnegative Rationals Wojciech Czerwiński Engel Lefaucheux Filip Mazowiecki David Purser Markus Whiteland Mon 29 August 2022
- The Reachability Problem for Petri Nets Is Not Elementary Wojciech Czerwiński Sławomir Lasota Ranko Lazić JÉrôme Leroux Filip Mazowiecki Wed 31 March 2021
- Efficient Analysis of VASS Termination Complexity Antonín Kučera Jérôme Leroux Dominik Velan Sat 30 May 2020
- When Reachability Meets Grzegorczyk Jérôme Leroux Sat 30 May 2020
- An Approach to Regular Separability in Vector Addition Systems Wojciech Czerwiński Georg Zetzsche Sat 30 May 2020
- Trace inclusion for one-counter nets revisited Piotr Hofman Patrick Totzke Tue 03 March 2020
- Universality Problem for Unambiguous VASS Wojciech Czerwiński Diego Figueira Piotr Hofman Tue 03 March 2020
- The Reachability Problem for Petri Nets is Not Elementary Wojciech Czerwiński Sławomir Lasota Ranko Lazić Jérôme Leroux Filip Mazowiecki Mon 19 August 2019
- ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States Conrad Cotton-Barratt Andrzej S. Murawski C.-H. Luke Ong Sat 17 August 2019
- The complexity of the equivalence problem for commutative semigroups and symmetric vector addition systems D T Huynh Mon 11 November 2013
- Recent results on the complexity of problems related to Petri nets Rodney R. Howell LouisE. Rosier Mon 11 November 2013
- A multiparameter analysis of the boundedness problem for vector addition systems Louis E Rosier Hsu-Chun Yen Mon 11 November 2013
- Exponential space complete problems for Petri nets and commutative semigroups (Preliminary Report) E. Cardoza R. Lipton A. R. Meyer Mon 11 November 2013
- Approximating Petri Net Reachability Along Context-free Traces Mohamed Faouzi Atig Pierre Ganty Mon 11 November 2013
- A structure to decide reachability in Petri nets J. L. Lambert Mon 11 November 2013
- Vector Addition Systems Reachability Problem (A Simpler Solution) Jérôme Leroux Mon 11 November 2013
- The reachability problem for vector addition systems with a stack is not elementary Ranko Lazic Sun 10 November 2013
- Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states Rodney R. Howell Louis E. Rosier Dung T. Huynh Hsu-Chun Yen Mon 04 November 2013
- The equality problem for vector addition systems is undecidable Michel Hack Mon 04 November 2013
- A partial solution to the reachability-problem for vector-addition systems Jan van Leeuwen Mon 04 November 2013
- On Flatness for 2-Dimensional Vector Addition Systems with States Jérôme Leroux Grégoire Sutre Fri 25 October 2013
- The context-freeness of the languages associated with vector addition systems is decidable Sylviane R. Schwer Fri 25 October 2013
- On the Context-Freeness Problem for Vector Addition Systems Jerome Leroux Vincent Penelle Gregoire Sutre Fri 25 October 2013
- An algorithm for the general Petri net reachability problem Ernst W. Mayr Mon 30 September 2013
- Model checking lossy vector addition systems Ahmed Bouajjani Richard Mayr Wed 27 March 2013
- The covering and boundedness problems for vector addition systems Charles Rackoff Tue 18 December 2012
- Mixing coverability and reachability to analyze VASS with one zero-test Alain Finkel Arnaud Sangnier Tue 18 December 2012
- Flat counter automata almost everywhere Jérôme Leroux Gregoire Sutre Tue 04 December 2012
- On the reachability problem for 5-dimensional vector addition systems John Hopcroft Jean-Jacques Pansiot Wed 31 October 2012
- Projections of vector addition system reachability sets are semilinear Hans Kleine Buening Theodor Lettmann Ernst W. Mayr Tue 30 October 2012
- Analysis of recursively parallel programs Ahmed Bouajjani Michael Emmi Thu 20 September 2012
- Vector addition system reachability problem: a short self-contained proof Jérôme Leroux Wed 13 June 2012
- The decidability of the reachability problem for vector addition systems (Preliminary Version) George S. Sacerdote Richard L. Tenney Thu 24 May 2012
- Decidability of reachability in vector addition systems (Preliminary Version) S. Rao Kosaraju Thu 24 May 2012
Library Size: 13G (34 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
