Jiri Adamek
发表
Frantisek Plasil,
Vladimir Mencl,
Jiri Adamek,
2004
.
Petr Hnetynka,
Jiri Adamek,
2008,
SEESE '08.
Frantisek Plasil,
Jiri Adamek,
2004
.
Frantisek Plasil,
Jiri Adamek,
2002
.
Frantisek Plasil,
Jiri Adamek,
2004
.
Frantisek Plasil,
Jiri Adamek,
2005
.
Stefan Milius,
Henning Urbat,
Jiri Adamek,
2021,
ACM Trans. Comput. Log..
Jiri Adamek,
J. Adámek,
2019,
Log. Methods Comput. Sci..
Petr Tuma,
Petr Hnetynka,
Roger Ward,
2008
.
Tomas Bures,
Jan Kofron,
Frantisek Plasil,
2006
.
Jiri Adamek,
2007
.