Mark Kattenbelt

	2009
3		Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Abstraction Refinement for Probabilistic Software. VMCAI 2009: 182-197
	2008
2		Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Game-Based Probabilistic Predicate Abstraction in PRISM. Electr. Notes Theor. Comput. Sci. 220(3): 5-21 (2008)
	2007
1		Lucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang: 07101 Working Group Report -- Performance Measures Other Than Time. Quantitative Aspects of Embedded Systems 2007

Coauthor Index

1	Lucia Cloth	[1]
2	Pepijn Crouzen	[1]
3	Matthias Fruth	[1]
4	Tingting Han	[1]
5	David N. Jansen	[1]
6	Marta Z. Kwiatkowska	[2] [3]
7	Gethin Norman	[2] [3]
8	David Parker	[2] [3]
9	Gerard J. M. Smit	[1]
10	Lijun Zhang	[1]

Colors in the list of coauthors