Unambiguity in automata theory, Proceedings of DCFS 2015, pp.3-18, 2015. ,
Regular separability of well-structured transition systems, 18. Schloss Dagstuhl -Leibniz-Zentrum für Informatik, vol.118, pp.1-35, 2018. ,
LTL with the freeze quantifier and register automata, ACM Trans. Comput. Log, vol.10, issue.3, 2009. ,
Reachability in two-clock timed automata is PSPACEcomplete, Inf. Comput, vol.243, pp.26-36, 2015. ,
Trace inclusion for one-counter nets revisited, Proceedings of RP 2014, vol.8762, pp.151-162, 2014. ,
Petri nets and regular processes, J. Comput. Syst. Sci, vol.59, issue.3, pp.476-503, 1999. ,
Reducibility among combinatorial problems, Proceedings of a symposium on the Complexity of Computer Computations, pp.85-103, 1972. ,
The reachability problem requires exponential space, vol.62, 1976. ,
The containment problem for unambiguous register automata, Proceedings of STACS 2019, vol.53, p.15, 2019. ,
Finite state machines for strings over infinite alphabets, ACM Trans. Comput. Log, vol.5, issue.3, pp.403-435, 2004. ,
The covering and boundedness problems for vector addition systems, Theor. Comput. Sci, vol.6, pp.223-231, 1978. ,
A superpolynomial lower bound for the size of non-deterministic complement of an unambiguous automaton, Proceedings of ICALP 2018, vol.138, pp.1-138, 2018. ,
L(A)=L(B)? decidability results from complete formal systems, Theor. Comput. Sci, vol.251, issue.1-2, pp.1-166, 2001. ,
On the equivalence and containment problems for unambiguous regular expressions, regular grammars and finite automata, SIAM J. Comput, vol.14, issue.3, pp.598-611, 1985. ,
On path equivalence of nondeterministic finite automata, Inf. Process. Lett, vol.58, issue.1, pp.43-46, 1996. ,