| Rippling: meta-level guidance for mathematical reasoning A Bundy, D Basin, D Hutter, A Ireland | 198 | 2005 |
| Guiding induction proofs D Hutter International Conference on Automated Deduction, 147-161, 1990 | 112 | 1990 |
| INKA: The next generation D Hutter, C Sengler International Conference on Automated Deduction, 288-292, 1996 | 85 | 1996 |
| The Karlsruhe induction theorem proving system S Biundo, B Hummel, D Hutter, C Walther International Conference on Automated Deduction, 672-674, 1986 | 85 | 1986 |
| Development graphs—proof management for structured specifications T Mossakowski, S Autexier, D Hutter The Journal of Logic and Algebraic Programming 67 (1-2), 114-145, 2006 | 81 | 2006 |
| Towards an evolutionary formal software-development using CASL S Autexier, D Hutter, H Mantel, A Schairer International Workshop on Algebraic Development Techniques, 73-88, 1999 | 72 | 1999 |
| The development graph manager MAYA S Autexier, D Hutter, T Mossakowski, A Schairer International Conference on Algebraic Methodology and Software Technology …, 2002 | 70 | 2002 |
| Deduction in the verification support environment (VSE) D Hutter, B Langenstein, C Sengler, JH Siekmann, W Stephan, ... International Symposium of Formal Methods Europe, 268-286, 1996 | 66 | 1996 |
| System description: Inka 5.0-a logic voyager S Autexier, D Hutter, H Mantel, A Schairer International Conference on Automated Deduction, 207-211, 1999 | 61 | 1999 |
| Verification support environment (USE) D Hutter, B Langenstein, C Sengler, JH Siekmann, W Stephan, A Wolpers High Integrity Systems 1 (6), 523-530, 1996 | 55 | 1996 |
| Information flow control to secure dynamic web service composition D Hutter, M Volkamer International Conference on Security in Pervasive Computing, 196-210, 2006 | 52 | 2006 |
| Coloring terms to control equational reasoning D Hutter Journal of Automated Reasoning 18 (3), 399-442, 1997 | 50 | 1997 |
| VSE: Controlling the complexity in formal software developments D Hutter, H Mantel, G Rock, W Stephan, A Wolpers, M Balser, W Reif, ... International Workshop on Current Trends in Applied Formal Methods, 351-358, 1998 | 43 | 1998 |
| Extending development graphs with hiding T Mossakowski, S Autexier, D Hutter International Conference on Fundamental Approaches to Software Engineering …, 2001 | 40 | 2001 |
| Management of change in structured verification D Hutter Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 2000 | 38 | 2000 |
| VSE: Formal methods meet industrial needs S Autexier, D Hutter, B Langenstein, H Mantel, G Rock, A Schairer, ... International Journal on Software Tools for Technology Transfer 3 (1), 66-77, 2000 | 35 | 2000 |
| Software certification and software certificate management systems E Denney, B Fischer Proceedings of 2005 ASE Workshop on Software Certificate Management. Long …, 2005 | 29 | 2005 |
| A Coloured Version of the lambda-calculus D Hutter, M Kohlhase Universität des Saarlandes, Fachbereich Informatik, 1995 | 29 | 1995 |
| Synthesis of induction orderings for existence proofs D Hutter International Conference on Automated Deduction, 29-41, 1994 | 28 | 1994 |
| Multimedia instruction in safe and secure systems B Krieg-Brückner, D Hutter, A Lindow, C Lüth, A Mahnke, E Melis, P Meier, ... International Workshop on Algebraic Development Techniques, 82-117, 2002 | 24 | 2002 |
