Publications
Total number of publications: 16
2014
-
Language equivalence of probabilistic pushdown automata.
Information and computation, year: 2014, volume: 237, edition: October 2014, DOI
2012
-
Bisimilarity of Probabilistic Pushdown Automata
FSTTCS, year: 2012
2010
-
Reachability Games on Extended Vector Addition Systems with States
Proceedings of 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), year: 2010
2006
-
Equivalence-Checking on Infinite-State Systems: Techniques and Results
Theory and practice of logic programming, year: 2006, volume: 6, edition: 3
-
Undecidability Results for Bisimilarity on Prefix Rewrite Systems
LNCS, Foundations of Software Science and Computation Structures (FOSSACS'06), year: 2006, volume: 2006, edition: 3921
2004
-
DP lower bounds for equivalence-checking and model-checking of one-counter automata
Information and Computation, year: 2004, volume: 188, edition: 1
2002
-
CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings.
Year: 2002, number of pages: 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), year: 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), year: 2002
2001
-
Deciding Bisimulation-Like Equivalences with Finite-State Processes
Theoretical Computer Science, year: 2001, volume: 258, edition: 1-2