Some Aspects of Analogy in Mathematical Reasoning. - Manfred Kerber (AII, 1989)

How to Prove Higher Order Theorems in First Order Logic. - Manfred Kerber (IJCAI, 1991)

On the representation of mathematical concepts and their translation into first-order logic. - Manfred Kerber (1992)

Deduktionssysteme. - Manfred Kerber; Christoph Weidenbach (Künstliche Intell., 1992)

Omega-MKRP: A Proof Development Environment. - Xiaorong Huang; Manfred Kerber; Michael Kohlhase; Erica Melis; Dan Nesmith; Jörn Richts; Jörg H. Siekmann (CADE, 1994)

KEIM: A Toolkit for Automated Deduction. - Xiaorong Huang; Manfred Kerber; Michael Kohlhase; Erica Melis; Dan Nesmith; Jörn Richts; Jörg H. Siekmann (CADE, 1994)

A Mechanization of Strong Kleene Logic for Partial Functions. - Manfred Kerber; Michael Kohlhase (CADE, 1994)

On the Translation of Higher-Order Problems into First-Order Logic. - Manfred Kerber (ECAI, 1994)

Adapting Methods to Novel Tasks in Proof Planning. - Xiaorong Huang; Manfred Kerber; Michael Kohlhase; Jörn Richts (KI, 1994)

Planning Mathematical Proofs with Methods. - Xiaorong Huang; Manfred Kerber; Jörn Richts; Arthur Sehn (J. Inf. Process. Cybern., 1994)

Using Exemplary Knowledge for Justified Analogical Reasoning. - Manfred Kerber; Erica Melis (WOCFAI, 1995)

Reformulating Resolution Problems by Tactics. - Manfred Kerber; Axel Präcklein (WOCFAI, 1995)

Integrating Computer Algebra with Proof Planning. - Manfred Kerber; Michael Kohlhase; Volker Sorge (DISCO, 1996)

A Resolution Calculus for Presuppositions. - Manfred Kerber; Michael Kohlhase (ECAI, 1996)

Two Kinds of Non-Monotonic Analogical Inference. - Manfred Kerber; Erica Melis (FAPR, 1996)

Using Tactics to Reformulate Formulae for Resolution Theorem Proving. - Manfred Kerber; Axel Präcklein (Ann. Math. Artif. Intell., 1996)

Die Beweisentwicklungsumgebung Omega-MKRP. - Xiaorong Huang; Manfred Kerber; Michael Kohlhase; Erica Melis; Dan Nesmith; Jörn Richts; Jörg H. Siekmann (Inform. Forsch. Entwickl., 1996)

Omega: Towards a Mathematical Assistant. - Christoph Benzmüller; Lassaad Cheikhrouhou; Detlef Fehrer; Armin Fiedler; Xiaorong Huang; Manfred Kerber; Michael Kohlhase; Karsten Konrad; Andreas Meier 002; Erica Melis; Wolf Schaarschmidt; Jörg H. Siekmann; et al. (CADE, 1997)

Mechanising Partiality With Re-implementation. - Manfred Kerber; Michael Kohlhase (KI, 1997)

On Knowledge, Strings, and Paradoxes. - Manfred Kerber (JELIA, 1998)

Adaptation of Declaratively Represented Methods in Proof Planning. - Xiaorong Huang; Manfred Kerber; Lassaad Cheikhrouhou (Ann. Math. Artif. Intell., 1998)

Integrating Computer Algebra into Proof Planning. - Manfred Kerber; Michael Kohlhase; Volker Sorge (J. Autom. Reason., 1998)

Agent based mathematical reasoning. - Christoph Benzmüller; Mateja Jamnik; Manfred Kerber; Volker Sorge (Calculemus, 1999)

Resource Guided Concurrent Deduction. - Christoph Benzmüller; Mateja Jamnik; Manfred Kerber; Volker Sorge (ARW, 2000)

What Makes a Problem Hard for XCS? - Tim Kovacs; Manfred Kerber (IWLCS, 2000)

Experiments with an Agent-Oriented Reasoning System. - Christoph Benzmüller; Mateja Jamnik; Manfred Kerber; Volker Sorge (KI/ÖGAI, 2001)

Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions - Foreword from the Editors. - Tomás Recio; Manfred Kerber (J. Symb. Comput., 2001)

Semantic Selection for Resolution in Clause Graphs. - Seungyeob Choi; Manfred Kerber (Australian Joint Conference on Artificial Intelligence, 2002)

On the Design of Mathematical Concepts. - Manfred Kerber; Martin Pollet (Australian Joint Conference on Artificial Intelligence, 2002)

Learn Omega-matic: System Description. - Mateja Jamnik; Manfred Kerber; Martin Pollet (CADE, 2002)

Automatic Learning in Proof Planning. - Mateja Jamnik; Manfred Kerber; Martin Pollet (ECAI, 2002)

Automatic Learning of Proof Methods in Proof Planning. - Mateja Jamnik; Manfred Kerber; Martin Pollet; Christoph Benzmüller (Log. J. IGPL, 2003)

High Classification Accuracy Does Not Imply Effective Genetic Search. - Tim Kovacs; Manfred Kerber (GECCO (2), 2004)

Can a Higher-Order and a First-Order Theorem Prover Cooperate?. - Christoph Benzmüller; Volker Sorge; Mateja Jamnik; Manfred Kerber (LPAR, 2004)

Intuitive and Formal Representations: The Case of Matrices. - Martin Pollet; Volker Sorge; Manfred Kerber (MKM, 2004)

Living with Paradoxes. - Manfred Kerber (WoLLIC, 2004)

From MKRP to Omega. - Manfred Kerber (Mechanizing Mathematical Reasoning, 2005)

Why Is the Lucas-Penrose Argument Invalid?. - Manfred Kerber (KI, 2005)

A Tough Nut for Mathematical Knowledge Management. - Manfred Kerber; Martin Pollet (MKM, 2005)

A Dynamic Poincaré Principle. - Manfred Kerber (MKM, 2006)

A Study of Structural and Parametric Learning in XCS. - Tim Kovacs; Manfred Kerber (Evol. Comput., 2006)

Normalization Issues in Mathematical Representations. - Manfred Kerber (AISC/MKM/Calculemus, 2008)

Combined reasoning by automated cooperation. - Christoph Benzmüller; Volker Sorge; Mateja Jamnik; Manfred Kerber (J. Appl. Log., 2008)

Foreword. - Manfred Kerber (Math. Comput. Sci., 2008)

Heuristics for Resolution in Propositional Logic. - Manfred Kerber (KI, 2009)

Proofs, Proofs, Proofs, and Proofs. - Manfred Kerber (AISC/MKM/Calculemus, 2010)

Using Theorema in the Formalization of Theoretical Economics. - Manfred Kerber; Colin Rowat; Wolfgang Windsteiger (Calculemus/MKM, 2011)

A Ramsey bound on stable sets in Jordan pillage games. - Manfred Kerber; Colin Rowat (Int. J. Game Theory, 2011)

Reasoning without believing: on the mechanisation of presuppositions and partiality. - Manfred Kerber; Michael Kohlhase (J. Appl. Non Class. Logics, 2012)

Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts. - Christoph Lange 002; Manfred Kerber; Colin Rowat (GI-Jahrestagung, 2013)

A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. - Christoph Lange 002; Marco B. Caminati; Manfred Kerber; Till Mossakowski; Colin Rowat; Makarius Wenzel; Wolfgang Windsteiger (MKM/Calculemus/DML, 2013)

The ForMaRE Project - Formal Mathematical Reasoning in Economics. - Christoph Lange 002; Colin Rowat; Manfred Kerber (MKM/Calculemus/DML, 2013)

Proving soundness of combinatorial Vickrey auctions and generating verified executable code. - Marco B. Caminati; Manfred Kerber; Christoph Lange 002; Colin Rowat (CoRR, 2013)

Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? - Marco B. Caminati; Manfred Kerber; Christoph Lange 002; Colin Rowat (CICM, 2014)

Budget Imbalance Criteria for Auctions: A Formalized Theorem. - Marco B. Caminati; Manfred Kerber; Colin Rowat (CoRR, 2014)

Foreword. - Manfred Kerber; Christoph Lange 002; Colin Rowat (Math. Comput. Sci., 2014)

Sufficient conditions for unique stable sets in three agent pillage games. - Colin Rowat; Manfred Kerber (Math. Soc. Sci., 2014)

Sound Auction Specification and Implementation. - Marco B. Caminati; Manfred Kerber; Christoph Lange 002; Colin Rowat (EC, 2015)

VCG - Combinatorial Vickrey-Clarke-Groves Auctions. - Marco B. Caminati; Manfred Kerber; Christoph Lange 002; Colin Rowat (Arch. Formal Proofs, 2015)

Pillage games with multiple stable sets. - Simon Mackenzie; Manfred Kerber; Colin Rowat (Int. J. Game Theory, 2015)

Towards Formal Analysis of Insider Threats for Auctions. - Florian Kammueller; Manfred Kerber; Christian W. Probst (MIST@CCS, 2016)

Investigating Airplane Safety and Security Against Insider Threats Using Logical Modeling. - Florian Kammüller; Manfred Kerber (IEEE Symposium on Security and Privacy Workshops, 2016)

An Introduction to Mechanized Reasoning. - Manfred Kerber; Christoph Lange 002; Colin Rowat (CoRR, 2016)

Insider Threats and Auctions: Formalization, Mechanized Proof, and Code Generation. - Florian Kammüller; Manfred Kerber; Christian W. Probst (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2017)

Applying the Isabelle Insider framework to airplane security. - Florian Kammüller; Manfred Kerber (Sci. Comput. Program., 2021)

Asymmetric majority pillage games. - Manfred Kerber; Colin Rowat; Naoki Yoshihara (Int. J. Game Theory, 2023)