PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. - Milan Ceska 001; Vladimír Janousek; Tomás Vojnar (EUROCAST, 1997)

Object-oriented Petri nets, their simulation, and analysis. - Milan Ceska 001; Vladimír Janousek; Tomás Vojnar (SMC, 1998)

Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. - Milan Ceska 001; Vladimír Janousek; Tomás Vojnar (EUROCAST, 1999)

Analysis and Verification Queries over Object-Oriented Petri Nets. - Milan Ceska 001; Vladimír Janousek; Tomás Vojnar (EUROCAST, 2001)

Generating and using state spaces of object-oriented Petri nets. - Milan Ceska 001; Vladimír Janousek; Tomás Vojnar (Comput. Syst. Sci. Eng., 2001)

Partial-Order Reduction in Model Checking Object-Oriented Petri Nets. - Milan Ceska 001; Ludek Hasa; Tomás Vojnar (EUROCAST, 2003)

Parallel State Space Generation and Exploration on Shared-Memory Architectures. - Milan Ceska 001; Bohuslav Krena; Tomás Vojnar (EUROCAST, 2005)

Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. - Milan Ceska 001; Pavel Erlebach; Tomás Vojnar (AVoCS, 2005)

Pattern-Based Verification for Trees. - Milan Ceska 001; Pavel Erlebach; Tomás Vojnar (EUROCAST, 2007)

Generalised multi-pattern-based verification of programs with linear linked structures. - Milan Ceska 001; Pavel Erlebach; Tomás Vojnar (Formal Aspects Comput., 2007)

Model-Based Design and Verification of Reactive Systems. - Jirí Hýsek; Milan Ceska 001; Vladimír Janousek (EUROCAST, 2009)

A Novel Approach to Modechart Verification of Real-Time Systems. - Jan Fiedor; Marek Gach; Milan Ceska 001 (EUROCAST (1), 2011)

Unfoldings of Bounded Hybrid Petri Nets. - Petr Novosad; Milan Ceska 001 (EUROCAST (1), 2011)

Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. - Petr Novosad; Milan Ceska 001 (EUROCAST (1), 2013)

Petri Net Simulation as a Service. - Petr Polasek; Vladimír Janousek; Milan Ceska 001 (PNSE @ Petri Nets, 2014)

Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters. - Milan Ceska Jr.; Milan Ceska 001; Nicola Paoletti (EUROCAST (2), 2017)

Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error. - Milan Ceska Jr.; Milan Ceska 001; Jirí Matyás; Adam Pankuch; Tomás Vojnar (EUROCAST (1), 2019)

Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. - Milan Ceska 001; Vojtech Havlena; Lukás Holík; Jan Korenek; Ondrej Lengál; Denis Matousek; Jirí Matousek 002; Jakub Semric; Tomás Vojnar (CoRR, 2019)

Designing Approximate Arithmetic Circuits with Combined Error Constraints. - Milan Ceska 001; Jirí Matyás; Vojtech Mrazek; Tomás Vojnar (DSD, 2022)