| 2019 | JELIA | Computing Minimal Projection Modules for | Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther |
| 2016 | FOIS | On Computing Minimal EL-Subsumption Modules. | Jieying Chen, Michel Ludwig, Dirk Walther |
| 2015 | KI | Deciding Subsumers of Least Fixpoint Concepts w.r.t. general | Shasha Feng, Michel Ludwig, Dirk Walther |
| 2015 | KSEM | Towards Extracting Ontology Excerpts. | Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther |
| 2014 | ECAI | Towards an FCA-based Recommender System for Black-Box Optimization. | Josefine Asmus, Daniel Borchmann, Ivo F. Sbalzarini, Dirk Walther |
| 2014 | ECAI | The Logical Difference for ℰℒℋ | Michel Ludwig, Dirk Walther |
| 2013 | DocEng | The Concept Difference for EL-Terminologies using Hypergraphs. | Andreas Ecke, Michel Ludwig, Dirk Walther |
| 2012 | JELIA | On Satisfiability in ATL with Strategy Contexts. | Nicolas Troquard, Dirk Walther |
| 2009 | IJCAI | Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. | Boris Konev, Dirk Walther, Frank Wolter |
| 2008 | CADE | The Logical Difference Problem for Description Logic Terminologies. | Boris Konev, Dirk Walther, Frank Wolter |
| 2008 | ECAI | Semantic Modularity and Module Extraction in Description Logics. | Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter |
| 2007 | IJCAI | Conservative Extensions in Expressive Description Logics. | Carsten Lutz, Dirk Walther, Frank Wolter |
| 2007 | TARK | Alternating-time temporal logic with explicit strategies. | Dirk Walther, Wiebe van der Hoek, Michael J. Wooldridge |
| 2005 | TIME | Quantitative Temporal Logics: PSPACE and Below. | Carsten Lutz, Dirk Walther, Frank Wolter |
| 2004 | CADE | PDL with Negation of Atomic Programs. | Carsten Lutz, Dirk Walther |