Antonín Kučera

2005

Antonín Kučera and Jan Strejček:
The stuttering principle revisited,
Acta informatica, 2005. [bibtex]

2004

Tomáš Brázdil, Antonín Kučera, and Oldřich Stražovský:
Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems,
Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004), Springer, 2004, 193-208. [bibtex]

2002

Antonín Kučera and Jan Strejček:
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL,
Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL’02), Springer, 2002, 276-291. [bibtex]

Antonín Kučera and Jan Strejček:
The Stuttering Principle Revisited: On the Expressiveness of Nested X and ⋃ Operators in the Logic LTL,
Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings, Springer Berlin Heidelberg, 2002, 276–291. [bibtex, url]

1999

Ivana Černá, Mojmír Křetínský, and Antonín Kučera:
Comparing Expressibility of Normed BPA and BPP Processes,
Acta Informatica, 1999, 233 - 256. [bibtex]

1996

Ivana Černá, Mojmír Křetínský, and Antonín Kučera:
Bisimilarity is Decidable in the Union of Normed BPA and BPP Processes,
Proceedings of the 1st International Workshop on Verification of Infinite State Systems , 1996, 32 -46. [bibtex]

Ivana Černá, Mojmír Křetínský, and Antonín Kučera:
Comparing Expressibility of Normed BPA and BPP Processes,
1996. [bibtex, pdf]

Ivana Černá, Mojmír Křetínský, and Antonín Kučera:
On the Relationship between Sequential and Parallel Compositions in Process Algebras,
CSL96 - The 1996 Annual Conference of the European Assoc.., Department of Philosophy, Ulterech University, 1996, 11-13. [bibtex]