| 2023 | SC | The Graph Database Interface: Scaling Online Transactional and Analytical Graph Workloads to Hundreds of Thousands of Cores. | Maciej Besta, Robert Gerstenberger, Marc Fischer, Michal Podstawski, Nils Blach, Berke Egeli, George Mitenkov, Wojciech Chlapek, Marek T. Michalewicz, Hubert Niewiadomski, Jrgen Mller, Torsten Hoefler |
| 2010 | ICIP | Local multi-modal image matching based on self-similarity. | Christoph Bodensteiner, Wolfgang Hbner, Kai Jngling, Jrgen Mller, Michael Arens |
| 2009 | ICSOC | Gain in Transparency versus Investment in the EPC Network - Analysis and Results of a Discrete Event Simulation Based on a Case Study in the Fashion Industry. | Jrgen Mller, Ralph Trger, Alexander Zeier, Rainer Alt |
| 2009 | ICSoft | Generic Web Services - Extending Service Scope While Preserving Backwards Compatibility. | Vadym Borovskiy, Jrgen Mller, Oleksandr Panchenko, Alexander Zeier |
| 2008 | ICDE | Improving supply chain visibility through RFID data. | Adam Melski, Jrgen Mller, Alexander Zeier, Matthias Schumann |
| 2007 | GI | Lessons Learned beim bergang von Funktionsmodellierung mit Verhaltensmodellen zu Modellbasierter Software-Entwicklung mit Implementierungsmodellen. | Ines Fey, Henning Kleinwechter, Andreas Leicher, Jrgen Mller |
| 2007 | ISSAC | A disk-based parallel implementation for direct condensation of large permutation modules. | Eric Robinson, Jrgen Mller, Gene Cooperman |
| 2005 | WSC | Target II: the first discrete event simulation of diabetes and its complications. | J. Jaime Caro, Alexandra Ward, Jrgen Mller |
| 2005 | RoboCup | Playing Soccer with RoboSapien. | Sven Behnke, Jrgen Mller, Michael Schreiber |
| 2005 | RoboCup | Toni: A Soccer Playing Humanoid Robot. | Sven Behnke, Jrgen Mller, Michael Schreiber |
| 2004 | WSC | A Pharmaco-economic Arena Model Comparing Pacemakers. | Jrgen Mller, J. Jaime Caro, Alexandra Ward |
| 1998 | ISSAC | The 5-Modular Decomposition Matrix of the Sporadic Simple Conway Group | Jrgen Mller |
| 1993 | EPIA | Bargaining Agents. | Stefan Bussmann, Jrgen Mller |
| 1991 | WI | Structured Social Agents. | Jrgen Mller, Jrg H. Siekmann |
| 1990 | CADE | Tutorial on Reasoning and Representation with Concept Languages. | Jrgen Mller, Franz Baader, Bernhard Nebel, Werner Nutt, Gert Smolka |
| 1989 | KI | EQTHEOPOGLES - A Completion Theorem Prover for PLIEQ. | Jrg Denzinger, Jrgen Mller |
| 1989 | KI | A Resolution Calculus Extende by Equivalence. | Jrgen Mller, Rolf Socher-Ambrosius |
| 1988 | KI | On the Unnecessity of Multiple Overlaps in Completion Theorem Proving. | Jrgen Mller, Rolf Socher-Ambrosius |
| 1987 | KI | THEOPOGLES - A Theorem Prover Based on First-Order Polynominals and a Special Knuth-Bendix Procedure. | Jrgen Mller |
| 1986 | KI | Topologische Multisetordnungen. | Jrgen Mller, Joachim Steinbach |
| 1986 | KI | Effiziente Reduktionsstrategien in Termersetzunssystemen. | Jrgen Mller, Elvira Wagner |