Zdeněk Sawa

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Countdown games, and simulation on (succinct) one-counter nets Logical Methods in Computer Science	2023-03-22	Paper
EXPSPACE-complete variant of countdown games, and simulation on succinct one-counter nets	2018-10-23	Paper
Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time	2013-10-02	Paper
Complexity of checking bisimilarity between sequential and parallel processes Mathematical Foundations of Computer Science 2013	2013-09-20	Paper
Efficient construction of semilinear representations of languages accepted by unary nondeterministic finite automata Fundamenta Informaticae	2013-04-18	Paper
Complexity of deciding bisimilarity between normed BPA and normed BPP Information and Computation	2010-10-07	Paper
Efficient construction of semilinear representations of languages accepted by unary NFA Lecture Notes in Computer Science	2010-08-31	Paper
Equivalence checking of non-flat systems is EXPTIME-hard. Lecture Notes in Computer Science	2010-03-30	Paper
A note on emptiness for alternating finite automata with a one-letter alphabet Information Processing Letters	2010-03-24	Paper
Non-interleaving bisimulation equivalences on basic parallel processes Information and Computation	2010-01-12	Paper
Hardness of equivalence checking for composed finite-state systems Acta Informatica	2009-05-08	Paper
Normed BPA vs. Normed BPP Revisited CONCUR 2008 - Concurrency Theory	2008-11-25	Paper
Behavioural equivalences on finite-state systems are PTIME-hard	2007-03-07	Paper
DP lower bounds for equivalence-checking and model-checking of one-counter automata Information and Computation	2004-11-23	Paper
scientific article; zbMATH DE number 2087430 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2080931 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 1490007 (Why is no real title available?)	2000-08-13	Paper

Research outcomes over time

This page was built for person: Zdeněk Sawa