Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 2.


Blondin, Michael, Englert, Matthias, Finkel, Alain, Goeller, Stefan, Haase, Christoph, Lazic, Ranko, Mckenzie, Pierre and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2021) The Reachability Problem for Two-Dimensional Vector Addition Systems with States. JOURNAL OF THE ACM, 68 (5).


Englert, Matthias, Lazic, Ranko S and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2016) Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete. In: 31st Annual ACM/IEEE Symposium on Logic in Computer Science.

This list was generated on Sun Jul 31 16:44:31 2022 BST.