| 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 | The Logical Difference for ℰℒℋ | Michel Ludwig, Dirk Walther |
| 2014 | JELIA | Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$. | Michel Ludwig, Rafael Pealoza |
| 2014 | KR | Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference. | Michel Ludwig, Boris Konev |
| 2013 | DocEng | The Concept Difference for EL-Terminologies using Hypergraphs. | Andreas Ecke, Michel Ludwig, Dirk Walther |
| 2012 | CADE | Logical Difference Computation with CEX2.5. | Boris Konev, Michel Ludwig, Frank Wolter |
| 2011 | AAAI | Conjunctive Query Inseparability of OWL 2 QL TBoxes. | Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev |
| 2009 | CADE | Fair Derivations in Monodic Temporal Reasoning. | Michel Ludwig, Ullrich Hustadt |
| 2009 | TIME | Resolution-Based Model Construction for PLTL. | Michel Ludwig, Ullrich Hustadt |
| 2007 | LPAR | An Extension of the Knuth-Bendix Ordering with LPO-Like Properties. | Michel Ludwig, Uwe Waldmann |