| 2026 | AAAI | Expressive Power of Graph Transformers via Logic. | Veeti Ahvonen, Maurice Funk, Damian Heiman, Antti Kuusisto, Carsten Lutz |
| 2025 | KR | Fitting Description Logic Ontologies to ABox and Query Examples. | Maurice Funk, Marvin Grosser, Carsten Lutz |
| 2023 | IJCAI | SAT-Based PAC Learning of Description Logic Concepts. | Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz |
| 2023 | PODS | Extremal Fitting Problems for Conjunctive Queries. | Balder ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz |
| 2022 | IJCAI | Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies. | Maurice Funk, Jean Christoph Jung, Carsten Lutz |
| 2021 | IJCAI | Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies. | Maurice Funk, Jean Christoph Jung, Carsten Lutz |
| 2019 | IJCAI | Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. | Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter |
| 2017 | GI | A system for SMT based constraint programming in Java. | Maurice Funk |