Milan Ceska
发表
Vladimír Janousek,
Milan Ceska,
Tomás Vojnar,
1998,
SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).
Milan Ceska,
Tomás Vojnar,
Milan Ceska,
2019,
EUROCAST.
Milan Ceska,
Tomás Vojnar,
Pavel Erlebach,
2006,
Electron. Notes Theor. Comput. Sci..
Lukás Holík,
Milan Ceska,
Tomás Vojnar,
2018,
TACAS.
Jan Kretínský,
Milan Ceska,
Jan Křetínský,
2019,
CAV.
Vladimír Janousek,
Milan Ceska,
Tomás Vojnar,
2001,
EUROCAST.
Milan Ceska,
Jan Fiedor,
Marek Gach,
2011,
EUROCAST.
Nicola Paoletti,
Milan Ceska,
Milan Ceska,
2017,
EUROCAST.
Milan Ceska,
Tomás Vojnar,
Ludek Hasa,
2003,
EUROCAST.
Luca Cardelli,
Martin Fränzle,
Nicola Paoletti,
2017,
CAV.
Vladimír Janousek,
Milan Ceska,
Tomás Vojnar,
1999,
EUROCAST.
Milan Ceska,
Tomás Vojnar,
Bohuslav Krena,
2005,
EUROCAST.
Milan Ceska,
Tomás Vojnar,
Pavel Erlebach,
2007,
Formal Aspects of Computing.
Vladimír Janousek,
Milan Ceska,
Petr Polasek,
2014,
PNSE @ Petri Nets.
Vladimír Janousek,
Milan Ceska,
Tomás Vojnar,
2001,
Comput. Syst. Sci. Eng..
Jirí Matousek,
Lukás Holík,
Jan Korenek,
2019,
2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM).
Zdenek Kotásek,
Ludek Matyska,
Milan Ceska,
2009,
Electron. Notes Theor. Comput. Sci..
Milan Ceska,
Petr Novosad,
Milan Ceska,
2013,
EUROCAST.
Luca Cardelli,
Alessandro Abate,
Luca Laurenti,
2017,
HSCC.
Vladimír Janousek,
Milan Ceska,
Tomás Vojnar,
1997,
EUROCAST.
Milan Ceska,
Tomás Vojnar,
Pavel Erlebach,
2007,
EUROCAST.
Milan Ceska,
Petr Novosad,
Milan Ceska,
2011,
EUROCAST.
Vladimír Janousek,
Milan Ceska,
Jirí Hýsek,
2009,
EUROCAST.