Concepedia

Berthold Hoffmann

BH

15

Publications

535

Citations

13

H-Index

1991

Active since

Affiliations

University of Bremen(Current)

Universität der Bundeswehr München

Umeå University

University of Antwerp

Berthold Hoffmann is an author at University of Bremen specializing in engineering, computer science, and software design.

Top concepts

EngineeringComputer ScienceSoftware DesignGraph TheoryFormal MethodsProgram AnalysisSoftware EngineeringSoftware AnalysisDesignFormal Verification

Publications per year

1991–2024

15

Publications

15

Graph transformation for specification and programming

Marc Andries, Gregor Engels, Annegret Habel et al. · Science of Computer Programming · 1999 · 167 citations

Specification Language, Engineering, Graph Theory +8

Hierarchical Graph Transformation

Frank Drewes, Berthold Hoffmann, Detlef Plump · Journal of Computer and System Sciences · 2002 · 111 citations

Engineering, Graph Theory, Data Science +6

Implementing term rewriting by jungle evaluation

Berthold Hoffmann, Detlef Plump · RAIRO - Theoretical Informatics and Applications · 1991 · 47 citations · Full text

Cloning and Expanding Graph Transformation Rules for Refactoring

Berthold Hoffmann, Dirk Janssens, Niels Van Eetvelde · Electronic Notes in Theoretical Computer Science · 2006 · 33 citations · Full text

Adaptive star grammars and their languages

Frank Drewes, Berthold Hoffmann, Dirk Janssens et al. · Theoretical Computer Science · 2010 · 24 citations

Syntax, Language Documentation, Grammatical Formalism +9

Rows per page

1–5 of 15