Zdeněk Sawa

Zdeněk Sawa

Technical University of Ostrava - Ostrava / Czech Republic
Others
AD Scientific Index ID: 5406249
VSB - Technical University of Ostrava
person_outline Zdeněk Sawa's MOST POPULAR ARTICLES
1-) A note on emptiness for alternating finite automata with a one-letter alphabetP Jančar, Z SawaInformation Processing Letters 104 (5), 164-167, 2007482007
2-) DP lower bounds for equivalence-checking and model-checking of one-counter automataP Jančar, A Kučera, F Moller, Z SawaInformation and Computation 188 (1), 1-19, 2004462004
3-) Behavioural equivalences on finite-state systems are PTIME-hardZ Sawa, P JančarComputing and informatics 24 (5), 513-528, 2005172005
4-) Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial timeM Kot, Z SawaElectronic Notes in Theoretical Computer Science 138 (3), 49-60, 2005162005
5-) Equivalence checking of non-flat systems is EXPTIME-hardZ SawaInternational Conference on Concurrency Theory, 237-250, 2003162003