Christoph Haase

	2009
2		Christoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell: Reachability in Succinct and Parametric One-Counter Automata. CONCUR 2009: 369-383
	2008
1		Christoph Haase, Carsten Lutz: Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes. ECAI 2008: 25-29

Coauthor Index

1	Stephan Kreutzer	[2]
2	Carsten Lutz	[1]
3	Joël Ouaknine	[2]
4	James Worrell	[2]

Colors in the list of coauthors