| 2026 | HCI | Multimodal Human-Cobot-Interaction for Collaborative Tasks. | Sven Milde, Stefan Friesen, Rainer Blum, Jan-Torsten Milde, Marius Schultheis, Johannes Weyel, Tobias Mller, Thies Beinke, Niklas Schreiner, Julian Heumller, Dennis Mller, Frank Hartmann |
| 2023 | ECAI | Guided Tours in ALeA - Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects. | Jonas Betzendahl, Michael Kohlhase, Dennis Mller |
| 2023 | GI | Learning with ALeA: Tailored experiences through annotated course material. | Theresa Kruse, Marc Berges, Jonas Betzendahl, Michael Kohlhase, Dominic Lohr, Dennis Mller |
| 2022 | AAAI | An Interactive Explanatory AI System for Industrial Quality Control. | Dennis Mller, Michael Mrz, Stephan Scheele, Ute Schmid |
| 2021 | ICLR | Disambiguating Symbolic Expressions in Informal Documents. | Dennis Mller, Cezary Kaliszyk |
| 2018 | CADE | Theories as Types. | Dennis Mller, Florian Rabe, Michael Kohlhase |
| 2017 | ITP | Making PVS Accessible to Generic Services by Interpretation in a Universal Format. | Michael Kohlhase, Dennis Mller, Sam Owre, Florian Rabe |
| 2016 | CIKM | A Standard for Aligning Mathematical Concepts. | Cezary Kaliszyk, Michael Kohlhase, Dennis Mller, Florian Rabe |
| 2016 | CIKM | Knowledge Management across Formal Libraries. | Dennis Mller |
| 2016 | CIKM | FrameIT Reloaded: Serious Math Games from Modular Math Ontologies. | Denis Rochau, Michael Kohlhase, Dennis Mller |
| 2013 | FUSION | Road Boundary Detection and Tracking using monochrome camera images. | Sarah Strygulec, Dennis Mller, Mirko Meuter, Christian Nunn, Sharmila Ghosh, Christian Whler |
| 2009 | WSC | Statistical Analysis and Comparison of Simulation Models of Highly Dependable Systems - An Experimental Study. | Peter Buchholz, Dennis Mller |
| 2007 | ISVC | Pedestrian Tracking from a Moving Host Using Corner Points. | Mirko Meuter, Dennis Mller, Stefan Mller-Schneiders, Uri Iurgel, Su-Birm Park, Anton Kummert |
| 2005 | DSN | Combining Response Surface Methodology with Numerical Models for Optimization of Class-Based Queueing Systems. | Peter Kemper, Dennis Mller, Axel Thmmler |