Concepedia

Hartmut Ehrig

HE

89

Publications

3.5K

Citations

32

H-Index

1973

Active since

Affiliations

Technische Universität Berlin(Current)

Universitat Politècnica de Catalunya

University of Luxembourg

Zuse Institute Berlin

Carl von Ossietzky Universität Oldenburg

Hartmut Ehrig is an author at Technische Universität Berlin specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationGraph TheorySystems EngineeringSoftware DesignFormal SpecificationSoftware Engineering

Publications per year

1973–2024

89

Publications

89

Graph-grammars: An algebraic approach

Hartmut Ehrig, Michael Pfender, Hans Schneider · 1973 · 488 citations

Engineering, Chomsky Hierarchy, Direct Derivations +18

Parallelism and concurrency in high-level replacement systems

Hartmut Ehrig, Annegret Habel, Hans‐Jörg Kreowski et al. · Mathematical Structures in Computer Science · 1991 · 158 citations

Engineering, Replacement Systems, Computer Architecture +18

Algebraic implementation of abstract data types

Hartmut Ehrig, Hans‐Jörg Kreowski, B. Mahr et al. · Theoretical Computer Science · 1982 · 132 citations

Engineering, Data Type, Generic Programming +4

Attributed graph transformation with node type inheritance

Juan de Lara, Roswitha Bardohl, Hartmut Ehrig et al. · Theoretical Computer Science · 2007 · 116 citations

Directed Graph, Graph Theory, Node Type Inheritance +5

Algebraic high-level net transformation systems

Julia Padberg, Hartmut Ehrig, Leila Ribeiro · Mathematical Structures in Computer Science · 1995 · 111 citations

Mathematical Programming, Petri Net, Engineering +17

Rows per page

1–5 of 89