Jan Kretínský

	2012
14		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
13		Jan Kretínský, Javier Esparza: Deterministic Automata for the (F,G)-fragment of LTL CoRR abs/1204.5057: (2012)
	2011
12		Nikola Benes, Ivana Cerná, Jan Kretínský: Modal Transition Systems: Composition and LTL Model Checking. ATVA 2011: 228-242
11		Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba: Parametric Modal Transition Systems. ATVA 2011: 275-289
10		Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák: Fixed-Delay Events in Generalized Semi-Markov Processes Revisited. CONCUR 2011: 140-155
9		Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák: Measuring performance of continuous-time stochastic processes using timed automata. HSCC 2011: 33-42
8		Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák: Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata CoRR abs/1101.4204: (2011)
7		Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák: Fixed-delay Events in Generalized Semi-Markov Processes Revisited CoRR abs/1106.1424: (2011)
	2010
6		Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák: Stochastic Real-Time Games with Qualitative Timed Automata Objectives. CONCUR 2010: 207-221
5		Nikola Benes, Jan Kretínský: Process Algebra for Modal Transition Systemses. MEMICS 2010: 9-18
	2009
4		Tomás Brázdil, Vojtech Forejt, Jan Krcál, Jan Kretínský, Antonín Kucera: Continuous-Time Stochastic Games with Time-Bounded Reachability. FSTTCS 2009: 61-72
3		Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba: Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. ICTAC 2009: 112-126
2		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
1		Tomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera: The Satisfiability Problem for Probabilistic CTL. LICS 2008: 391-402

Coauthor Index

1	Nikola Benes	[2] [3] [5] [11] [12] [14]
2	Tomás Brázdil	[1] [4] [6] [7] [8] [9] [10]
3	Ivana Cerná (Ivana Cerna)	[12]
4	Javier Esparza	[13]
5	Vojtech Forejt	[1] [4]
6	Jan Krcál	[4] [6] [7] [8] [9] [10]
7	Antonín Kucera	[1] [4] [6] [8] [9]
8	Kim Guldstrand Larsen (Kim G. Larsen)	[2] [3] [11] [14]
9	Mikael H. Møller	[11] [14]
10	Vojtech Rehák	[6] [7] [8] [9] [10]
11	Jirí Srba	[2] [3] [11] [14]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page