Milan Ceska

	2009
14		Jirí Hýsek, Milan Ceska, Vladimír Janousek: Model-Based Design and Verification of Reactive Systems. EUROCAST 2009: 865-872
13		Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar: Preface. Electr. Notes Theor. Comput. Sci. 251: 1-3 (2009)
	2008
12		Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: Local Quantitative LTL Model Checking. FMICS 2008: 53-68
11		Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. QEST 2008: 77-78
	2007
10		Milan Ceska, Pavel Erlebach, Tomás Vojnar: Pattern-Based Verification for Trees. EUROCAST 2007: 488-496
9		Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST 2007: 215-216
8		Milan Ceska, Pavel Erlebach, Tomás Vojnar: Generalised multi-pattern-based verification of programs with linear linked structures. Formal Asp. Comput. 19(3): 363-374 (2007)
	2006
7		Milan Ceska, Pavel Erlebach, Tomás Vojnar: Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. Electr. Notes Theor. Comput. Sci. 145: 113-130 (2006)
	2005
6		Milan Ceska, Bohuslav Krena, Tomás Vojnar: Parallel State Space Generation and Exploration on Shared-Memory Architectures. EUROCAST 2005: 275-280
	2003
5		Milan Ceska, Ludek Hasa, Tomás Vojnar: Partial-Order Reduction in Model Checking Object-Oriented Petri Nets. EUROCAST 2003: 265-278
	2001
4		Milan Ceska, Vladimír Janousek, Tomás Vojnar: Analysis and Verification Queries over Object-Oriented Petri Nets. EUROCAST 2001: 369-384
3		Milan Ceska, Vladimír Janousek, Tomás Vojnar: Generating and using state spaces of object-oriented Petri nets. Comput. Syst. Sci. Eng. 16(3): 183-193 (2001)
	1999
2		Milan Ceska, Vladimír Janousek, Tomás Vojnar: Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. EUROCAST 1999: 90-104
	1997
1		Milan Ceska, Vladimír Janousek, Tomás Vojnar: PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. EUROCAST 1997: 591-610

Coauthor Index

1	Jiri Barnat	[9] [11] [12]
2	Lubos Brim	[9] [11] [12]
3	Ivana Cerná (Ivana Cerna)	[9] [11] [12]
4	Pavel Erlebach	[7] [8] [10]
5	Ludek Hasa	[5]
6	Jirí Hýsek	[14]
7	Vladimír Janousek	[1] [2] [3] [4] [14]
8	Zdenek Kotásek	[13]
9	Bohuslav Krena	[6]
10	Mojmír Kretínský	[13]
11	Ludek Matyska	[13]
12	Jana Tumova	[9] [11] [12]
13	Tomás Vojnar	[1] [2] [3] [4] [5] [6] [7] [8] [10] [13]