| 2016 | CADE | A Saturation-based Algebraic Reasoner for ELQ. | Jelena Vlasenko, Maryam Daryalal, Volker Haarslev, Brigitte Jaumard |
| 2013 | TABLEAUX | Intelligent Tableau Algorithm for DL Reasoning. | Ming Zuo, Volker Haarslev |
| 2011 | CADE | Automated Reasoning in | Volker Haarslev, Roberto Sebastiani, Michele Vescovi |
| 2011 | CEC | An abstract representation model for evolutionary analysis of multi-agent interactions. | Arash Shaban-Nejad, Volker Haarslev |
| 2010 | ECAI | Parallel TBox Classification in Description Logics - First Experimental Results. | Mina Aslani, Volker Haarslev |
| 2010 | ICCCI | Strategic Health Information Management and Forecast: The Birdwatching Approach. | Arash Shaban-Nejad, Volker Haarslev |
| 2008 | BIBE | Ontology-inferred phylogeny reconstruction for analyzing the evolutionary relationships between species: Ontological inference versus cladistics. | Arash Shaban-Nejad, Volker Haarslev |
| 2008 | ECAI | A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. | Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Mller |
| 2008 | IRI | An ontology-empowered model for annotating protein-protein interaction data: a case study for budding yeast. | Arash Shaban-Nejad, Volker Haarslev |
| 2008 | ISMIS | An Effective Ontology Matching Technique. | Ahmed Alasoud, Volker Haarslev, Nematollaah Shiri |
| 2008 | ITiCSE | Web-based dynamic learning through lexical chaining: a step forward towards knowledge-driven education. | Arash Shaban-Nejad, Volker Haarslev |
| 2007 | AIME | Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus. | Arash Shaban-Nejad, Volker Haarslev |
| 2007 | CBMS | Managing Conceptual Revisions in a Temporal Fungal Taxonomy. | Arash Shaban-Nejad, Volker Haarslev |
| 2007 | OOPSLA | Towards a framework for requirement change management in healthcare software applications. | Arash Shaban-Nejad, Volker Haarslev |
| 2006 | COMPSAC | An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns. | Yonggang Zhang, Juergen Rilling, Volker Haarslev |
| 2006 | FlAIRS | Uncertainty Reasoning in Description Logics: A Generic Approach. | Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri |
| 2006 | KI | On the Scalability of Description Logic Instance Retrieval. | Ralf Mller, Volker Haarslev, Michael Wessel |
| 2006 | MODELS | A Unified Ontology-Based Process Model for Software Maintenance and Comprehension. | Juergen Rilling, Yonggang Zhang, Wen Jun Meng, Ren Witte, Volker Haarslev, Philippe Charland |
| 2004 | KR | Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. | Volker Haarslev, Ralf Mller |
| 2001 | CADE | RACER System Description. | Volker Haarslev, Ralf Mller |
| 2001 | CADE | Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. | Volker Haarslev, Ralf Mller, Anni-Yasmin Turhan |
| 2001 | CADE | The Description Logic ALCNH | Volker Haarslev, Ralf Mller, Michael Wessel |
| 2001 | IJCAI | High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. | Volker Haarslev, Ralf Mller |
| 2000 | KR | Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. | Volker Haarslev, Ralf Mller |
| 2000 | TABLEAUX | Consistency Testing: The RACE Experience. | Volker Haarslev, Ralf Mller |
| 1999 | TABLEAUX | Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. | Volker Haarslev, Ralf Mller |
| 1998 | KR | Foundations of Spatioterminological Reasoning with Description Logics. | Volker Haarslev, Carsten Lutz, Ralf Mller |
| 1994 | KI | Combining Spatial and Terminological Reasoning. | Volker Haarslev, Ralf Mller, Carsten Schrder |
| 1991 | GI | Pictorial Janus: Eine vollstndig visuelle Programmiersprache und ihre Umgebung. | Kenneth M. Kahn, Vijay A. Saraswat, Volker Haarslev |
| 1990 | OOPSLA | A Framework for Visualizing Object-Oriented Systems. | Volker Haarslev, Ralf Mller |