Publikace
Počet publikací: 16
2014
-
Language equivalence of probabilistic pushdown automata.
Information and computation, rok: 2014, ročník: 237, vydání: October 2014, DOI
2012
-
Bisimilarity of Probabilistic Pushdown Automata
FSTTCS, rok: 2012
2010
-
Reachability Games on Extended Vector Addition Systems with States
Proceedings of 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), rok: 2010
2006
-
Equivalence-Checking on Infinite-State Systems: Techniques and Results
Theory and practice of logic programming, rok: 2006, ročník: 6, vydání: 3
-
Undecidability Results for Bisimilarity on Prefix Rewrite Systems
LNCS, Foundations of Software Science and Computation Structures (FOSSACS'06), rok: 2006, ročník: 2006, vydání: 3921
2004
-
DP lower bounds for equivalence-checking and model-checking of one-counter automata
Information and Computation, rok: 2004, ročník: 188, vydání: 1
2002
-
CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings.
Rok: 2002, počet stran: 609 s.
-
Equivalence-Checking with Infinite-State Systems: Techniques and Results.
Proceedings of 29th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2002), rok: 2002
-
Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds
Proceedings of 5th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2002), rok: 2002
2001
-
Deciding Bisimulation-Like Equivalences with Finite-State Processes
Theoretical Computer Science, rok: 2001, ročník: 258, vydání: 1-2