Christoph Haase

	2012
6		Stefan Göller, Christoph Haase, Joël Ouaknine, James Worrell: Branching-Time Model Checking of Parametric One-Counter Automata. FoSSaCS 2012: 406-420
	2011
5		Byron Cook, Christoph Haase, Joël Ouaknine, Matthew J. Parkinson, James Worrell: Tractable Reasoning in a Fragment of Separation Logic. CONCUR 2011: 235-249
	2010
4		Stefan Göller, Christoph Haase, Joël Ouaknine, James Worrell: Model Checking Succinct and Parametric One-Counter Automata. ICALP (2) 2010: 575-586
	2009
3		Christoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell: Reachability in Succinct and Parametric One-Counter Automata. CONCUR 2009: 369-383
2		Jens Lehmann, Christoph Haase: Ideal Downward Refinement in the EL\mathcal{EL} Description Logic. ILP 2009: 73-87
	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	Byron Cook	[5]
2	Stefan Göller	[4] [6]
3	Stephan Kreutzer	[3]
4	Jens Lehmann	[2]
5	Carsten Lutz	[1]
6	Joël Ouaknine	[3] [4] [5] [6]
7	Matthew J. Parkinson	[5]
8	James Worrell	[3] [4] [5] [6]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page