Nikola Benes

	2012
13		Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba: Dual-Priced Modal Transition Systems with Time Durations. LPAR 2012: 122-137
12		Nikola Benes, Ivana Cerná, Filip Stefanak: Factorization for Component-Interaction Automata. SOFSEM 2012: 554-565
	2011
11		Nikola Benes, Ivana Cerná, Jan Kretínský: Modal Transition Systems: Composition and LTL Model Checking. ATVA 2011: 228-242
10		Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba: Parametric Modal Transition Systems. ATVA 2011: 275-289
9		Nikola Benes, Ivana Cerná, Milan Krivánek: CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems PDMC 2011: 63-67
8		Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková: Partial order reduction for state/event LTL with application to component-interaction automata. Sci. Comput. Program. 76(10): 877-890 (2011)
	2010
7		Nikola Benes, Jan Kretínský: Process Algebra for Modal Transition Systemses. MEMICS 2010: 9-18
	2009
6		Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba: Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. ICTAC 2009: 112-126
5		Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova: Partial Order Reduction for State/Event LTL. IFM 2009: 307-321
4		Nikola Benes, Milan Krivánek, Filip Stefanak: Space Effective Model Checking for Component-Interaction Automata. MEMICS 2009
3		Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba: On determinism in modal transition systems. Theor. Comput. Sci. 410(41): 4026-4043 (2009)
	2008
2		Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova: A Case Study in Parallel Verification of Component-Based Systems. Electr. Notes Theor. Comput. Sci. 220(2): 67-83 (2008)
	2007
1		Barbora Zimmerova, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor: Component-Interaction Automata Approach (CoIn). CoCoME 2007: 146-176

Coauthor Index

1	Lubos Brim	[1] [5] [8]
2	Barbora Buhnova (Barbora Zimmerova)	[1] [2] [5] [8]
3	Ivana Cerná (Ivana Cerna)	[1] [2] [5] [8] [9] [11] [12]
4	Jan Kretínský	[3] [6] [7] [10] [11] [13]
5	Milan Krivánek	[4] [9]
6	Kim Guldstrand Larsen (Kim G. Larsen)	[3] [6] [10] [13]
7	Mikael H. Møller	[10] [13]
8	Jiri Sochor	[1] [2] [5] [8]
9	Jirí Srba	[3] [6] [10] [13]
10	Filip Stefanak	[4] [12]
11	Pavlína Vareková	[1] [2] [5] [8]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page