| Handbook of logic in artificial intelligence and logic programming: Volume 5: Logic programming DM Gabbay, CJ Hogger, JA Robinson Clarendon Press, 1998 | 476 | 1998 |
| Ω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 | 227 | 1997 |
| Integrating computer algebra into proof planning M Kerber, M Kohlhase, V Sorge Journal of Automated Reasoning 21 (3), 327-355, 1998 | 79 | 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 | 77 | 1994 |
| What makes a problem hard for XCS? T Kovacs, M Kerber International Workshop on Learning Classifier Systems, 80-99, 2000 | 72 | 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 | 44 | 1999 |
| On the Representation of Mathematical Concepts and their Translation into First-Order Logic M Kerber | 36 | 1999 |
| Combined reasoning by automated cooperation C Benzmüller, V Sorge, M Jamnik, M Kerber Journal of Applied Logic 6 (3), 318-342, 2008 | 35 | 2008 |
| A tableau calculus for partial functions M Kerber, M Kohlhase Collegium Logicum, 21-49, 1996 | 35 | 1996 |
| Methods-the basic units for planning and verifying proofs X Huang, M Kerber, M Kohlhase | 29 | 1999 |
| 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 | 29 | 1996 |
| 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 | 29 | 1994 |
| 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 |
| Integrating computer algebra with proof planning M Kerber, M Kohlhase, V Sorge International Symposium on Design and Implementation of Symbolic Computation …, 1996 | 28 | 1996 |
| Planning mathematical proofs with methods X Huang, M Kerber, L Cheikhrouhou, J Richts, A Sehn | 27 | 1999 |
| Model problems in PDE-constrained optimization E Haber, L Hanson Dept. Mathematics Comput. Sci., Emory University, Atlanta, Georgia, USA, 2007 | 25 | 2007 |
| Experiments with an agent-oriented reasoning system C Benzmüller, M Kerber, M Jamnik, V Sorge Annual Conference on Artificial Intelligence, 409-424, 2001 | 23 | 2001 |
| Kinship in Aegean prehistory? Ancient DNA in human bones from mainland Greece and Crete AS Bouwman, KA Brown, TA Brown, ER Chilvers, R Arnott, A Prag Annual of the British School at Athens, 293-309, 2009 | 21* | 2009 |
| 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 |
