×

zbMATH — the first resource for mathematics

Hutter, Dieter

Compute Distance To:
Author ID: hutter.dieter Recent zbMATH articles by "Hutter, Dieter"
Published as: Hutter, Dieter
External Links: ORCID
Documents Indexed: 27 Publications since 1986, including 3 Books

Publications by Year

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.68108
Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew
26
2005
Development graphs – proof management for structured specifications. Zbl 1088.68114
Mossakowski, Till; Autexier, Serge; Hutter, Dieter
11
2006
Towards an evolutionary formal software-development using CASL. Zbl 0966.68140
Autexier, Serge; Hutter, Dieter; Mantel, Heiko; Schairer, Axel
9
2000
Formal software development in MAYA. Zbl 1098.68549
Hutter, Dieter; Autexier, Serge
5
2005
Coloring terms to control equational reasoning. Zbl 0881.68108
Hutter, Dieter
5
1997
Extending development graphs with hiding. Zbl 0977.68657
Mossakowski, Till; Autexier, Serge; Hutter, Dieter
4
2001
Proof transformations for evolutionary formal software development. Zbl 1275.68059
Schairer, Axel; Hutter, Dieter
3
2002
Annotated reasoning. Zbl 1001.68125
Hutter, Dieter
3
2000
Maintenance of formal software developments by stratified verification. Zbl 1023.03531
Autexier, Serge; Hutter, Dieter
2
2002
Managing structural information by higher-order colored unification. Zbl 0959.03007
Hutter, Dieter; Kohlhase, Michael
2
2000
INKA: the next generation. Zbl 1412.68236
Hutter, 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.68008
Hutter, Dieter (ed.); Stephan, Werner (ed.)
1
2005
A pragmatic approach to reuse in tactical theorem proving. Zbl 1268.68147
Schairer, Axel; Autexier, Serge; Hutter, Dieter
1
2001
VSE: Formal methods meet industrial needs. Zbl 1060.68673
Autexier, 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.68026
Hutter, Dieter; Langenstein, Bruno; Rock, Georg; Siekmann, Jörg H.; Stephan, Werner; Vogt, Roland
1
2000
Development graphs – proof management for structured specifications. Zbl 1088.68114
Mossakowski, Till; Autexier, Serge; Hutter, Dieter
11
2006
Rippling. Meta-level guidance for mathematical reasoning. Zbl 1095.68108
Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew
26
2005
Formal software development in MAYA. Zbl 1098.68549
Hutter, 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.68008
Hutter, Dieter (ed.); Stephan, Werner (ed.)
1
2005
Proof transformations for evolutionary formal software development. Zbl 1275.68059
Schairer, Axel; Hutter, Dieter
3
2002
Maintenance of formal software developments by stratified verification. Zbl 1023.03531
Autexier, Serge; Hutter, Dieter
2
2002
Extending development graphs with hiding. Zbl 0977.68657
Mossakowski, Till; Autexier, Serge; Hutter, Dieter
4
2001
A pragmatic approach to reuse in tactical theorem proving. Zbl 1268.68147
Schairer, Axel; Autexier, Serge; Hutter, Dieter
1
2001
Towards an evolutionary formal software-development using CASL. Zbl 0966.68140
Autexier, Serge; Hutter, Dieter; Mantel, Heiko; Schairer, Axel
9
2000
Annotated reasoning. Zbl 1001.68125
Hutter, Dieter
3
2000
Managing structural information by higher-order colored unification. Zbl 0959.03007
Hutter, Dieter; Kohlhase, Michael
2
2000
VSE: Formal methods meet industrial needs. Zbl 1060.68673
Autexier, 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.68026
Hutter, Dieter; Langenstein, Bruno; Rock, Georg; Siekmann, Jörg H.; Stephan, Werner; Vogt, Roland
1
2000
Coloring terms to control equational reasoning. Zbl 0881.68108
Hutter, Dieter
5
1997
INKA: the next generation. Zbl 1412.68236
Hutter, Dieter; Sengler, Claus
2
1996
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

Citations by Year