Вы здесь

Kucera A.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Deciding probabilistic bisimilarity over infinite-state probabilistic system 2008 Brazdil T., Kucera A., Strazovsky O. Acta Informatica 07.06.2008
СТ The stuttering principle revisited 2005 Kucera A., Strejcek J. Acta Informatica 20.08.2005
СТ Equivalence-Checking with Infinite-State Systems: Techniques and Results 2002 Kucera A., Jancar P. Lecture Notes in Computer Science 04.12.2002
СТ Model-Checking LTL with Regular Valuations for Pushdown Systems 2001 Esparza J., Kucera A., Schwoon S. Lecture Notes in Computer Science 04.11.2001
СТ A Logical Viewpoint on Process-Algebraic Quotients 1999 Kucera A., Esparza J. Lecture Notes in Computer Science 12.11.1999
СТ Comparing Expressibility of Normed BPA and Normed BPP Processes 1999 Cerna I., Kretinsky M., Kucera A. Acta Informatica 06.05.1999
СТ Regularity is Decidable for Normed PA Processes in Polynomial Time 1996 Kucera A. Lecture Notes in Computer Science 24.12.1996