| Ωmega: Towards a mathematical assistant C Benzmüller, L Cheikhrouhou, D Fehrer, A Fiedler, X Huang, M Kerber, ... International Conference on Automated Deduction, 252-255, 1997 | 230 | 1997 |
| Integrating computer algebra into proof planning M Kerber, M Kohlhase, V Sorge Journal of Automated Reasoning 21 (3), 327-355, 1998 | 84 | 1998 |
| Ω-MKRP: A proof development environment X Huang, M Kerber, M Kohlhase, E Melis, D Nesmith, J Richts, ... International Conference on Automated Deduction, 788-792, 1994 | 80 | 1994 |
| What makes a problem hard for XCS? T Kovacs, M Kerber International Workshop on Learning Classifier Systems, 80-99, 2000 | 73 | 2000 |
| A mechanization of strong Kleene logic for partial functions M Kerber, M Kohlhase International Conference on Automated Deduction, 371-385, 1994 | 57 | 1994 |
| How to prove higher order theorems in first order logic M Kerber | 49 | 1999 |
| On the Representation of Mathematical Concepts and their Translation into First-Order Logic M Kerber | 38 | 1999 |
| Combined reasoning by automated cooperation C Benzmüller, V Sorge, M Jamnik, M Kerber Journal of Applied Logic 6 (3), 318-342, 2008 | 37 | 2008 |
| A tableau calculus for partial functions M Kerber, M Kohlhase Collegium Logicum, 21-49, 1996 | 35 | 1996 |
| Integrating computer algebra with proof planning M Kerber, M Kohlhase, V Sorge International Symposium on Design and Implementation of Symbolic Computation …, 1996 | 30 | 1996 |
| Common syntax of the DFG-Schwerpunktprogramm deduktion version 1.5 R Hähnle, M Kerber, C Weidenbach, RA Schmidt HLS+ 96] DIETER HUTTER, BRUNO LANGENSTEIN, CLAUS SENGLER, JORG, 1996 | 30 | 1996 |
| Methods-the basic units for planning and verifying proofs X Huang, M Kerber, M Kohlhase | 29 | 1999 |
| Automatic learning of proof methods in proof planning M Jamnik, M Kerber, M Pollet, C Benzmüller Logic Journal of the IGPL 11 (6), 647-673, 2003 | 28 | 2003 |
| Keim: A toolkit for automated deduction X Huang, M Kerber, M Kohlhase, E Melis, D Nesmith, J Richts, ... International Conference on Automated Deduction, 807-810, 1994 | 28 | 1994 |
| Planning mathematical proofs with methods X Huang, M Kerber, L Cheikhrouhou, J Richts, A Sehn | 27 | 1999 |
| Experiments with an agent-oriented reasoning system C Benzmüller, M Kerber, M Jamnik, V Sorge Annual Conference on Artificial Intelligence, 409-424, 2001 | 24 | 2001 |
| Some aspects of analogy in mathematical reasoning M Kerber International Workshop on Analogical and Inductive Inference, 231-242, 1989 | 20 | 1989 |
| A qualitative comparison of the suitability of four theorem provers for basic auction theory C Lange, MB Caminati, M Kerber, T Mossakowski, C Rowat, M Wenzel, ... International Conference on Intelligent Computer Mathematics, 200-215, 2013 | 19 | 2013 |
| Adapting methods to novel tasks in proof planning X Huang, M Kerber, M Kohlhase, J Richts Annual Conference on Artificial Intelligence, 379-390, 1994 | 19 | 1994 |
| Sound auction specification and implementation MB Caminati, M Kerber, C Lange, C Rowat Proceedings of the Sixteenth ACM Conference on Economics and Computation …, 2015 | 18 | 2015 |
