| 2016 | CCS | Towards Formal Analysis of Insider Threats for Auctions. | Florian Kammueller, Manfred Kerber, Christian W. Probst |
| 2016 | SP | Investigating Airplane Safety and Security Against Insider Threats Using Logical Modeling. | Florian Kammller, Manfred Kerber |
| 2013 | GI | Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts. | Christoph Lange, Manfred Kerber, Colin Rowat |
| 2010 | AISC | Proofs, Proofs, Proofs, and Proofs. | Manfred Kerber |
| 2009 | KI | Heuristics for Resolution in Propositional Logic. | Manfred Kerber |
| 2008 | AISC | Normalization Issues in Mathematical Representations. | Manfred Kerber |
| 2005 | KI | Why Is the Lucas-Penrose Argument Invalid?. | Manfred Kerber |
| 2004 | GECCO | High Classification Accuracy Does Not Imply Effective Genetic Search. | Tim Kovacs, Manfred Kerber |
| 2004 | LPAR | Can a Higher-Order and a First-Order Theorem Prover Cooperate?. | Christoph Benzmller, Volker Sorge, Mateja Jamnik, Manfred Kerber |
| 2002 | CADE | Learn Omega-matic: System Description. | Mateja Jamnik, Manfred Kerber, Martin Pollet |
| 2002 | ECAI | Automatic Learning in Proof Planning. | Mateja Jamnik, Manfred Kerber, Martin Pollet |
| 2001 | KI | Experiments with an Agent-Oriented Reasoning System. | Christoph Benzmller, Mateja Jamnik, Manfred Kerber, Volker Sorge |
| 1998 | JELIA | On Knowledge, Strings, and Paradoxes. | Manfred Kerber |
| 1997 | CADE | Omega: Towards a Mathematical Assistant. | Christoph Benzmller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jrg H. Siekmann, Volker Sorge |
| 1997 | KI | Mechanising Partiality With Re-implementation. | Manfred Kerber, Michael Kohlhase |
| 1996 | ECAI | A Resolution Calculus for Presuppositions. | Manfred Kerber, Michael Kohlhase |
| 1994 | CADE | Omega-MKRP: A Proof Development Environment. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jrn Richts, Jrg H. Siekmann |
| 1994 | CADE | KEIM: A Toolkit for Automated Deduction. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jrn Richts, Jrg H. Siekmann |
| 1994 | CADE | A Mechanization of Strong Kleene Logic for Partial Functions. | Manfred Kerber, Michael Kohlhase |
| 1994 | ECAI | On the Translation of Higher-Order Problems into First-Order Logic. | Manfred Kerber |
| 1994 | KI | Adapting Methods to Novel Tasks in Proof Planning. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jrn Richts |
| 1991 | IJCAI | How to Prove Higher Order Theorems in First Order Logic. | Manfred Kerber |