Edit Profile Hutter, Dieter Compute Distance To: Compute Author ID: hutter.dieter Published as: Hutter, Dieter External Links: ORCID Documents Indexed: 27 Publications since 1986, including 3 Books all top 5 Co-Authors 5 single-authored 10 Autexier, Serge 5 Schairer, Axel 5 Stephan, Werner 3 Mantel, Heiko 3 Mossakowski, Till 2 Kohlhase, Michael 2 Langenstein, Bruno 2 Monroy, Raúl 2 Rock, Georg 2 Vogt, Roland 1 Basin, David A. 1 Bundy, Alan 1 Godínez, Fernando 1 Ireland, Andrew 1 Müller, Günter 1 Schaefer, Ina 1 Sengler, Claus 1 Siekmann, Jörg H. 1 Ullmann, Markus 1 Wolpers, Andreas all top 5 Serials 2 Journal of Automated Reasoning 2 Lecture Notes in Computer Science 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Annals of Mathematics and Artificial Intelligence 1 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Logic 1 Cambridge Tracts in Theoretical Computer Science Fields 26 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 15 Publications have been cited 76 times in 58 Documents Cited by ▼ Year ▼ Rippling. Meta-level guidance for mathematical reasoning. Zbl 1095.68108Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew 26 2005 Development graphs – proof management for structured specifications. Zbl 1088.68114Mossakowski, Till; Autexier, Serge; Hutter, Dieter 11 2006 Towards an evolutionary formal software-development using CASL. Zbl 0966.68140Autexier, Serge; Hutter, Dieter; Mantel, Heiko; Schairer, Axel 9 2000 Formal software development in MAYA. Zbl 1098.68549Hutter, Dieter; Autexier, Serge 5 2005 Coloring terms to control equational reasoning. Zbl 0881.68108Hutter, Dieter 5 1997 Extending development graphs with hiding. Zbl 0977.68657Mossakowski, Till; Autexier, Serge; Hutter, Dieter 4 2001 Proof transformations for evolutionary formal software development. Zbl 1275.68059Schairer, Axel; Hutter, Dieter 3 2002 Annotated reasoning. Zbl 1001.68125Hutter, Dieter 3 2000 Maintenance of formal software developments by stratified verification. Zbl 1023.03531Autexier, Serge; Hutter, Dieter 2 2002 Managing structural information by higher-order colored unification. Zbl 0959.03007Hutter, Dieter; Kohlhase, Michael 2 2000 INKA: the next generation. Zbl 1412.68236Hutter, Dieter; Sengler, Claus 2 1996 Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday. Zbl 1058.68008Hutter, Dieter (ed.); Stephan, Werner (ed.) 1 2005 A pragmatic approach to reuse in tactical theorem proving. Zbl 1268.68147Schairer, Axel; Autexier, Serge; Hutter, Dieter 1 2001 VSE: Formal methods meet industrial needs. Zbl 1060.68673Autexier, Serge; Hutter, Dieter; Langenstein, Bruno; Mantel, Heiko; Rock, Georg; Schairer, Axel; Stephan, Werner; Vogt, Roland; Wolpers, Andreas 1 2000 Formal software development in the verification support environment (VSE). Zbl 1010.68026Hutter, Dieter; Langenstein, Bruno; Rock, Georg; Siekmann, Jörg H.; Stephan, Werner; Vogt, Roland 1 2000 Development graphs – proof management for structured specifications. Zbl 1088.68114Mossakowski, Till; Autexier, Serge; Hutter, Dieter 11 2006 Rippling. Meta-level guidance for mathematical reasoning. Zbl 1095.68108Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew 26 2005 Formal software development in MAYA. Zbl 1098.68549Hutter, Dieter; Autexier, Serge 5 2005 Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday. Zbl 1058.68008Hutter, Dieter (ed.); Stephan, Werner (ed.) 1 2005 Proof transformations for evolutionary formal software development. Zbl 1275.68059Schairer, Axel; Hutter, Dieter 3 2002 Maintenance of formal software developments by stratified verification. Zbl 1023.03531Autexier, Serge; Hutter, Dieter 2 2002 Extending development graphs with hiding. Zbl 0977.68657Mossakowski, Till; Autexier, Serge; Hutter, Dieter 4 2001 A pragmatic approach to reuse in tactical theorem proving. Zbl 1268.68147Schairer, Axel; Autexier, Serge; Hutter, Dieter 1 2001 Towards an evolutionary formal software-development using CASL. Zbl 0966.68140Autexier, Serge; Hutter, Dieter; Mantel, Heiko; Schairer, Axel 9 2000 Annotated reasoning. Zbl 1001.68125Hutter, Dieter 3 2000 Managing structural information by higher-order colored unification. Zbl 0959.03007Hutter, Dieter; Kohlhase, Michael 2 2000 VSE: Formal methods meet industrial needs. Zbl 1060.68673Autexier, Serge; Hutter, Dieter; Langenstein, Bruno; Mantel, Heiko; Rock, Georg; Schairer, Axel; Stephan, Werner; Vogt, Roland; Wolpers, Andreas 1 2000 Formal software development in the verification support environment (VSE). Zbl 1010.68026Hutter, Dieter; Langenstein, Bruno; Rock, Georg; Siekmann, Jörg H.; Stephan, Werner; Vogt, Roland 1 2000 Coloring terms to control equational reasoning. Zbl 0881.68108Hutter, Dieter 5 1997 INKA: the next generation. Zbl 1412.68236Hutter, Dieter; Sengler, Claus 2 1996 all cited Publications top 5 cited Publications all top 5 Cited by 98 Authors 9 Hutter, Dieter 8 Mossakowski, Till 6 Autexier, Serge 6 Kohlhase, Michael 5 Rabe, Florian 4 Bundy, Alan 4 Dixon, Lucas 4 Horozal, Fulya 4 Tarlecki, Andrzej 3 Codescu, Mihai 3 Hetzl, Stefan 3 Leitsch, Alexander 3 Sannella, Donald T. 2 Aspinall, David 2 Benzmüller, Christoph Ewald 2 Drămnesc, Isabela 2 Grov, Gudmund 2 Heras, Jónathan 2 Jebelean, Tudor 2 Johansson, Moa 2 Kirchner, Hélène 2 Kolbe, Thomas H. 2 Komendantskaya, Ekaterina 2 Mantel, Heiko 2 Reis, Giselle 2 Schairer, Axel 2 Siekmann, Jörg H. 2 Weller, Daniel S. 1 Asperti, Andrea 1 Astesiano, Egidio 1 Barnes, Janet 1 Bidoit, Michel 1 Bradley, Elizabeth 1 Brauburger, Jürgen 1 Chapman, Roderick 1 Cook, Andrew W. 1 Denney, Ewen 1 Dennis, Louise Abigail 1 Diaconescu, Răzvan 1 Dietrich, Dominik 1 Eberhard, Sebastian 1 Ebner, Gabriel 1 Ellis, Bill J. 1 Field, Clinton 1 Fleuriot, Jacques D. 1 Franke, Andreas 1 Freiling, Felix C. 1 Freitas, Leo 1 Fuhs, Carsten 1 Gedell, Tobias 1 Green, Ian 1 Hähnle, Reiner 1 Hoffman, Piotr 1 Hogan, Apollo 1 Ireland, Andrew 1 Jones, Cliff B. 1 Kirchner, Claude 1 Klin, Bartek 1 Knapp, Alexander 1 Kohlhase, Andrea 1 Kop, Cynthia 1 Korukhova, Yulia 1 Krieg-Brückner, Bernd 1 Kutz, Oliver 1 Langenstein, Bruno 1 Leino, K. Rustan M. 1 Lettmann, Michael Peter 1 Lin, Yuhui 1 Lücke, Dominik 1 Lüth, Christoph 1 Maclean, Ewen 1 Madlener, Ken 1 Maeder, Christian 1 Mosses, Peter D. 1 Nahon, Fabrice 1 Nishida, Naoki 1 Ricciotti, Wilmer 1 Riesco, Adrián 1 Rock, Georg 1 Roggenbach, Markus 1 Sacerdoti Coen, Claudio 1 Schaefer, Ina 1 Schröder, Lutz 1 Schulz, Ewaryst 1 Sengler, Claus 1 Sieg, Wilfried 1 Smaill, Alan 1 Sojakova, Kristina 1 Stephan, Werner 1 Stolle, Reinhard 1 Tamalet, Alejandro 1 Tassi, Enrico 1 Velykis, Andrius 1 Vogt, Roland 1 Wagner, Marc Oliver 1 Walther, Christoph 1 Whiteside, Iain 1 Wirth, Claus-Peter all top 5 Cited in 16 Serials 6 Theoretical Computer Science 5 Journal of Automated Reasoning 3 Journal of Symbolic Computation 3 Journal of Applied Logic 2 Annals of Pure and Applied Logic 2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 2 Annals of Mathematics and Artificial Intelligence 2 The Journal of Logic and Algebraic Programming 2 Mathematics in Computer Science 1 Artificial Intelligence 1 Information and Computation 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 ACM Transactions on Computational Logic 1 Logica Universalis 1 Journal of Logical and Algebraic Methods in Programming Cited in 3 Fields 55 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) Citations by Year