BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × France
1 × Germany
1 × United Kingdom
2 × Italy
2 × USA
Collaborated with:
A.Schairer C.Sengler S.Autexier A.Bundy M.Kohlhase H.Mantel T.Mossakowski W.Stephan A.Wolpers S.Biundo B.Hummel C.Walther B.Langenstein J.H.Siekmann G.Rock M.Balser W.Reif G.Schellhorn K.Stenzel
Talks about:
induct (4) develop (3) theorem (2) softwar (2) system (2) formal (2) verif (2) proof (2) inka (2) vse (2)

Person: Dieter Hutter

DBLP DBLP: Hutter:Dieter

Facilitated 1 volumes:

FM-Trends 1998Ed

Contributed to:

ASE 20012001
FASE 20012001
ASE 20002000
CADE 19991999
FM-Trends 19981998
CADE 19971997
CADE 19961996
FME 19961996
CADE 19941994
CADE 19901990
CADE 19861986

Wrote 12 papers:

ASE-2001-HutterS #development #formal method #towards
Towards an Evolutionary Formal Software Development (DH, AS), pp. 417–420.
FASE-2001-MossakowskiAH #development #graph
Extending Development Graphs with Hiding (TM, SA, DH), pp. 269–283.
ASE-2000-Hutter #verification
Management of Change in Structured Verification (DH), p. 23–?.
CADE-1999-AutexierHMS #logic
System Description: inka 5.0 — A Logic Voyager (SA, DH, HM, AS), pp. 207–211.
CADE-1999-HutterB #contest #design #induction #proving #theorem proving
The Design of the CADE-16 Inductive Theorem Prover Contest (DH, AB), pp. 374–377.
FM-1998-HutterMRSWBRSS #complexity #formal method #named
VSE: Controlling the Complexity in Formal Software Developments (DH, HM, GR, WS, AW, MB, WR, GS, KS), pp. 351–358.
CADE-1997-HutterK #λ-calculus
A Colored Version of the Lambda-Calculus (DH, MK), pp. 291–305.
CADE-1996-HutterS #generative #named
INKA: The Next Generation (DH, CS), pp. 288–292.
FME-1996-HutterLSSSW #deduction #verification
Deduction in the Verification Support Environment (VSE) (DH, BL, CS, JHS, WS, AW), pp. 268–286.
CADE-1994-Hutter #induction #order #proving #synthesis
Synthesis of Induction Orderings for Existence Proofs (DH), pp. 29–41.
CADE-1990-Hutter #induction #proving
Guiding Induction Proofs (DH), pp. 147–161.
CADE-1986-BiundoHHW #induction #proving #theorem proving
The Karlsruhe Induction Theorem Proving System (SB, BH, DH, CW), pp. 672–674.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.