Zdenek Sawa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1999–2013
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | MFCS | Complexity of Checking Bisimilarity between Sequential and Parallel Processes. | Wojciech Czerwinski, Petr Jancar, Martin Kot, Zdenek Sawa |
| 2008 | CONCUR | Normed BPA vs. Normed BPP Revisited. | Petr Jancar, Martin Kot, Zdenek Sawa |
| 2003 | CONCUR | Equivalence Checking of Non-Flat Systems Is EXPTIME-hard. | Zdenek Sawa |
| 2002 | FOSSACS | Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds. | Petr Jancar, Antonn Kucera, Faron Moller, Zdenek Sawa |
| 2001 | SOFSEM | P-Hardness of Equivalence Testing on Finite-State Processes. | Zdenek Sawa, Petr Jancar |
| 1999 | SOFSEM | Simulation Problems for One-Counter Machines. | Petr Jancar, Faron Moller, Zdenek Sawa |