Marcus Größer

	2012
21		Christel Baier, Marcus Größer, Nathalie Bertrand: Probabilistic ω-automata. J. ACM 59(1): 1 (2012)
	2009
20		Christel Baier, Marcus Größer, Frank Ciesinski: Quantitative Analysis under Fairness Constraints. ATVA 2009: 135-150
19		Christel Baier, Nathalie Bertrand, Marcus Größer: The Effect of Tossing Coins in Omega-Automata. CONCUR 2009: 15-29
18		Christel Baier, Nathalie Bertrand, Marcus Größer: Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability DCFS 2009: 3-16
17		Mathieu Tracol, Christel Baier, Marcus Größer: Recurrence and Transience for Probabilistic Automata. FSTTCS 2009: 395-406
16		Christel Baier, Nathalie Bertrand, Marcus Größer: Probabilistic Acceptors for Languages over Infinite Words. SOFSEM 2009: 19-33
	2008
15		Christel Baier, Nathalie Bertrand, Marcus Größer: On Decision Problems for Probabilistic Büchi Automata. FoSSaCS 2008: 287-301
14		Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer: Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. LICS 2008: 217-226
13		Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein: Reduction Techniques for Model Checking Markov Decision Processes. QEST 2008: 45-54
12		Frank Ciesinski, Christel Baier, Marcus Größer, David Parker: Generating Compact MTBDD-Representations from ProbmelaSpecifications. SPIN 2008: 60-76
	2007
11		Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer: Probabilistic and Topological Semantics for Timed Automata. FSTTCS 2007: 179-191
10		Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera: Stochastic Game Logic. QEST 2007: 227-236
	2006
9		Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker: On Reduction Criteria for Probabilistic Reward Models. FSTTCS 2006: 309-320
8		Christel Baier, Pedro R. D'Argenio, Marcus Größer: Partial Order Reduction for Probabilistic Branching Time. Electr. Notes Theor. Comput. Sci. 153(2): 97-116 (2006)
	2005
7		Marcus Größer, Christel Baier: Partial Order Reduction for Markov Decision Processes: A Survey. FMCO 2005: 408-427
6		Christel Baier, Marcus Größer: Recognizing omega-regular Languages with Probabilistic Automata. LICS 2005: 137-146
5		Christel Baier, Frank Ciesinski, Marcus Größer: ProbMela and verification of Markov decision processes. SIGMETRICS Performance Evaluation Review 32(4): 22-27 (2005)
	2004
4		Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski: Controller Synthesis for Probabilistic Systems. IFIP TCS 2004: 493-506
3		Christel Baier, Frank Ciesinski, Marcus Größer: PROBMELA: a modeling language for communicating probabilistic processes. MEMOCODE 2004: 57-66
2		Christel Baier, Marcus Größer, Frank Ciesinski: Partial Order Reduction for Probabilistic Systems. QEST 2004: 230-239
1		Frank Ciesinski, Marcus Größer: On Probabilistic Computation Tree Logic. Validation of Stochastic Systems 2004: 147-188

Coauthor Index

1	Christel Baier	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21]
2	Nathalie Bertrand	[11] [14] [15] [16] [18] [19] [21]
3	Benedikt Bollig	[4]
4	Patricia Bouyer (Patricia Bouyer-Decitre)	[11] [14]
5	Tomás Brázdil	[10]
6	Thomas Brihaye	[11] [14]
7	Frank Ciesinski	[1] [2] [3] [4] [5] [9] [12] [13] [20]
8	Pedro R. D'Argenio	[8]
9	Joachim Klein	[13]
10	Antonín Kucera	[10]
11	Marta Z. Kwiatkowska	[9]
12	Martin Leucker	[4]
13	Gethin Norman	[9]
14	David Parker	[9] [12]
15	Mathieu Tracol	[17]

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