Marco Bakera

	2009
3		Marco Bakera, Sven Jörges, Tiziana Margaria: Test your Strategy: Graphical Construction of Strategies for Connect-Four. ICECCS 2009: 172-181
	2008
2		Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner: Solving µ-Calculus Parity Games by Symbolic Planning. MoChArt 2008: 15-33
	2007
1		Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen: Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. ISoLA 2007: 85-97

Coauthor Index

1	Stefan Edelkamp	[2]
2	Sven Jörges	[3]
3	Peter Kissmann	[2]
4	Tiziana Margaria (Tiziana Margaria-Steffen)	[1] [3]
5	Clemens D. Renner	[1] [2]
6	Bernhard Steffen	[1]