Hartmut Ehrig
1944 – 2016
Hartmut Ehrig was a German computer scientist and professor of theoretical computer science and formal specification. He was a pioneer in algebraic specification of abstract data types, and in graph grammars. Source: https://en.wikipedia.org/wiki/Hartmut_Ehrig
Books
- Graph Transformation
- Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
- Kick-off-Workshop der DFG-Forschergruppe Petrinetz-Technologie
- Fundamentals of algebraic graph transformation
- Categorical methods in computer science
- Three papers on graph rewriting systems and their applications
- Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)
- Graph-grammars and their application to computer science
- Graph Transformations
- Act
- Mathematical Foundations of Software Development
- Graph grammars and their application to computer science
- TAPSOFT '87 Vol. 2
- Graph-grammars and their application to computer science
- Kategorien und Automate
- Graph transformations in computer science
- Fundamentals of Algebraic Specification 1
- Theory and application of graph transformations
- Formal Methods and Software Development
- Graph Transformations
- Categorical methods in computer science
- Petri net technology for communication-based systems
- Graph and Model Transformation
- TAPSOFT '87
- Fundamentals of Algebraic Specification 2
- Formal methods in software and systems modeling
- Integration of software specification techniques for applications in engineering
- Unifying Petri nets
- Fundamentals of algebraic specification
- Recent Trends in Data Type Specification
- Graph grammars and their application to computer science
- Graph Transformations in Computer Science
- Universal theory of automata
- Fundamentals of Algebraic Specification 2
- Fundamentals of algebraic specification 2
- Formal Methods and Software Development
- Formal methods in software and systems modeling
- Graph-grammars and their application to computer science and biology
- Graph Transformations Lecture Notes in Computer Science
- Kategorien und Automaten
Author data: Open Library