| 2012 | IC3K | Java2OWL: A System for Synchronising Java and OWL. | Hans Jrgen Ohlbach |
| 2008 | ECSA | L-DSMS - A Local Data Stream Management System. | Christian Hnsel, Hans Jrgen Ohlbach, Edgar-Philipp Stoffel |
| 2008 | ICDS | The Facility Control Markup Language FCML. | Franois Bry, Bernhard Lorenz, Hans Jrgen Ohlbach, Martin Roeder, Marc Weinberger |
| 2007 | ER | Towards a Semantic Spatial Model for Pedestrian Indoor Navigation. | Edgar-Philipp Stoffel, Bernhard Lorenz, Hans Jrgen Ohlbach |
| 2006 | IV | Ontology Driven Visualisation of Maps with SVG - An Example for Semantic Programming. | Frank Ipfelkofer, Bernhard Lorenz, Hans Jrgen Ohlbach |
| 2006 | KI | GeTS - A Specification Language for Geo-Temporal Notions. | Hans Jrgen Ohlbach |
| 2006 | W2GIS | A Hybrid Spatial Model for Representing Indoor Environments. | Bernhard Lorenz, Hans Jrgen Ohlbach, Edgar-Philipp Stoffel |
| 2005 | TABLEAUX | Automated Reasoning in the Context of the Semantic Web. | Hans Jrgen Ohlbach |
| 2004 | TIME | Relations Between Fuzzy Time Intervals. | Hans Jrgen Ohlbach |
| 2004 | TIME | The Role of Labeled Partitionings for Modeling Periodic Temporal Notions. | Hans Jrgen Ohlbach |
| 1998 | CADE | Combining Hilbert Style and Semantic Reasoning in a Resolution Framework. | Hans Jrgen Ohlbach |
| 1996 | CADE | SCAN - Elimination of Predicate Quantifiers. | Hans Jrgen Ohlbach |
| 1993 | IJCAI | A Multi-Dimensional Terminological Knowledge Representation Language. | Hans Jrgen Ohlbach |
| 1993 | LPAR | Optimized Translation of Multi Modal Logic into Predicate Logic. | Hans Jrgen Ohlbach |
| 1992 | KR | Quantifier Elimination in Second-Order Predicate Logic. | Dov M. Gabbay, Hans Jrgen Ohlbach |
| 1991 | IJCAI | Parameter Structures for Parametrized Modal Operators. | Hans Jrgen Ohlbach, Andreas Herzig |
| 1990 | AIMSA | Compilation of Recursive Two-Literal Clauses into Unification Algorithms. | Hans Jrgen Ohlbach |
| 1990 | CADE | Tutorial on Compilation techniques for Logics. | Hans Jrgen Ohlbach, Andreas Herzig |
| 1990 | ECAI | Abstraction Tree Indexing for Terms. | Hans Jrgen Ohlbach |
| 1990 | ECAI | A Resolution Calculus with Dynamic Sort Structures and Partial Functions. | Christoph Weidenbach, Hans Jrgen Ohlbach |
| 1989 | CSL | New Ways for Developing Proof Theories for First-Order Multi Modal Logics. | Hans Jrgen Ohlbach |
| 1989 | KI | Context Logic - An Introduction. | Hans Jrgen Ohlbach |
| 1988 | CADE | A Resolution Calculus for Modal Logics. | Hans Jrgen Ohlbach |
| 1986 | CADE | The Markgraf Karl Refutation Procedure (MKRP). | Norbert Eisinger, Hans Jrgen Ohlbach |
| 1986 | KI | The Semantic Clause Graph Procedure - A First Overview. | Hans Jrgen Ohlbach |
| 1985 | KI | Theory Unification in Abstract Clause Graphs. | Hans Jrgen Ohlbach |
| 1984 | CADE | Solving a Problem in Relevance Logic with an Automated Theorem Prover. | Hans Jrgen Ohlbach, Graham Wrightson |
| 1983 | IJCAI | TERMINATOR. | Grigoris Antoniou, Hans Jrgen Ohlbach |
| 1983 | KI | Ein regelbasiertes Klauselgraph-Beweisverfahren. | Hans Jrgen Ohlbach |