Hartmut Ehrig

Papers

Total Citations

H-Index

About

Hartmut Ehrig is a foundational figure in theoretical computer science, best known for pioneering the algebraic approach to graph transformation and formal specification. His research centers on category theory, graph grammars, and the semantics of concurrent and distributed systems. Ehrig’s major contributions include developing the double-pushout (DPO) approach to graph rewriting, which provides a rigorous algebraic framework for modeling and transforming graph structures—a cornerstone for visual languages, model-driven engineering, and software architecture. He also advanced the theory of high-level replacement systems and institution-independent specification, unifying diverse logical systems. With over 8,000 citations, his work has profoundly influenced formal methods, particularly in the specification of distributed and reactive systems. Notably, his paper "Linking schemas and module specifications for distributed systems" (2002, 8 citations) bridges schema theory from neuroscience with formal module specifications, reflecting his interdisciplinary vision. Ehrig is also the author of seminal textbooks, including *Fundamentals of Algebraic Graph Transformation* and *Universal Theory of Automata*, and has been a driving force in the international graph transformation community, earning recognition as a pioneer whose frameworks remain essential for modern software verification and model transformation.