Concepedia

Dieter Hutter

DH

Statistics

Publications

14

Citations

293

H-Index

11

Active since

1992

Affiliations

German Research Centre for Artificial Intelligence(Current)

Saarland University

Dieter Hutter is an author at German Research Centre for Artificial Intelligence specializing in computer science, computing, and formal methods.

ORCID

Publications per year

1992–2016

14

Publications

14

Development graphs—Proof management for structured specifications

Till Mossakowski, Serge Autexier, Dieter Hutter · The Journal of Logic and Algebraic Programming · 2006 · 82 citations

, , +13

Management of change in structured verification

Dieter Hutter · 2000 · 29 citations

, , +14

Coloring Terms to Control Equational Reasoning

Dieter Hutter · Journal of Automated Reasoning · 1997 · 27 citations

, , +5

The Verification Support Environment VSE

Baur, T. Plasa, P. Kejwal et al. · IFAC Proceedings Volumes · 1992 · 25 citations

, , +9

VSE: formal methods meet industrial needs

Serge Autexier, Dieter Hutter, Bruno Langenstein et al. · International Journal on Software Tools for Technology Transfer · 2000 · 20 citations

, , +10

1–5 of 14