Christoph Haase : Publications
Click here to download all publications in a single bibtex file
@article{how12,
title = "On the Relationship between Reachability Problems in Timed and Counter Automata",
author = "Christoph Haase and Joel Ouaknine and James Worrell",
year = "2012",
month = "May",
note = "Submitted.",
}
@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",
pages = "406--420",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "7213",
doi = "10.1007/978-3-642-28729-9_27",
}
@phdthesis{haase-thesis12,
title = "On the Complexity of Model Checking Counter Automata",
author = "Christoph Haase",
year = "2012",
institution = "University of Oxford",
month = "January",
pages = "220",
}
@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",
}
@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",
doi = "10.1007/978-3-642-14162-1_48",
}
@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",
doi = "10.1007/978-1-84882-912-1_13",
}
@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",
doi = "10.1007/978-3-642-04081-8_25",
}
@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",
doi = "10.1007/978-3-642-13840-9_8",
}
@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",
doi = "10.3233/978-1-58603-891-5-25",
}
@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",
}