|
СТ |
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 |
