@inproceedings{ghow12,
  title = "Branching-Time Model Checking of Parametric One-Counter Automata",
  author = "Stefan G\"oller and Christoph Haase and Joel Ouaknine and James Worrell",
  year = "2012",
  booktitle = "Proceedings of the 15th International Conference on Foundations of Software Science and Computer Security ({FoSSaCS'12})",
  editor = "Lars Birkedal",
  month = "March",
  note = "To appear.",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "xxxx",
}
@inproceedings{CHOPW11,
  title = "Tractable Reasoning in a Fragment of Separation Logic.",
  author = "Byron Cook and Christoph Haase and Joel Ouaknine and Matthew Parkinson and James Worrell",
  year = "2011",
  booktitle = "Proceedings of the 22nd International Conference on Concurrency Theory ({CONCUR'11})",
  editor = "Joost-Pieter Katoen and Barbara K\"onig",
  location = "Aachen, Germany",
  pages = "235--249",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6901",
  doi = "10.1007/978-3-642-23217-6_16",
}
@inbook{HOW-hoare10,
  title = "On Process-algebraic Extensions of Metric Temporal Logic",
  author = "Christoph Haase and Joel Ouaknine and James Worrell",
  year = "2010",
  booktitle = "Reflections on the Work of C.A.R. Hoare",
  chapter = "13",
  copyright = "Springer-Verlag London",
  editor = "C.B. Jones, A.W. Roscoe and K.R. Wood",
  pages = "283--300",
  publisher = "Springer",
  series = "History of computing",
}
@conference{ghow-icalp10,
  title = "Model Checking Succinct and Parametric One-Counter Automata",
  author = "Stefan Göller and Christoph Haase and Joel Ouaknine and James Worrell",
  year = "2010",
  booktitle = "Proceedings of the 37th International Colloquium on Automata, Languages and Programming ({ICALP'10}), Track B (Part II)",
  copyright = "Springer",
  editor = "Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis",
  location = "Bordeaux, France",
  month = "July",
  pages = "575--586",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6199",
}
@techreport{HKOW10,
  title = "Reachability in Parametric One-Counter Automata",
  author = "Christoph Haase and Stephan Kreutzer and Joel Ouaknine and James Worrell",
  year = "2010",
  note = "Unpublished draft.",
  url = "http://www.comlab.ox.ac.uk/files/2833/iandc.pdf",
}
@inproceedings{HKOW-09concur,
  title = "Reachability in Succinct and Parametric One-Counter Automata",
  author = "Christoph Haase and Stephan Kreutzer and Joel Ouaknine and James Worrell",
  year = "2009",
  booktitle = "Proceedings of the 20th International Conference on Concurrency Theory ({CONCUR'09})",
  copyright = "Springer-Verlag",
  editor = "M. Bravetti and G. Zavattaro",
  location = "Bologna, Italy",
  month = "September",
  pages = "369--383",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5710",
}
@inproceedings{LH-ilp09,
  title = "Ideal Downward Refinement in the EL Description Logic",
  author = "Jens Lehmann and Christoph Haase",
  year = "2009",
  booktitle = "Proceedings of the 19th International Conference on Inductive Logic Programming ({ILP'09})",
  copyright = "Springer-Verlag",
  editor = "Luc De Raedt",
  location = "Leuven, Belgium",
  month = "July",
  pages = "73--87",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5989",
}
@conference{HL08-ecai,
  title = "Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes",
  author = "Christoph Haase and Carsten Lutz",
  year = "2008",
  booktitle = "Proceedings of the 18th European Conference on Artificial Intelligence ({ECAI'08})",
  editor = "Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris",
  location = "Patras, Greece",
  month = "July",
  pages = "25--29",
  publisher = "IOS Press",
  series = "Frontiers in Artificial Intelligence and Applications",
  volume = "178",
}
@mastersthesis{H07-msc,
  title = "Complexity of Subsumption in Extensions of EL",
  author = "Christoph Haase",
  year = "2007",
  month = "August",
  school = "TU Dresden",
  url = "http://web.comlab.ox.ac.uk//files/638/Haase-Msc-2007.pdf",
}