Hartmut Ehrig
1944 – 2016
40 works on record
Biography
Works
TAPSOFT '87
Graph-grammars and their application to computer science
Fundamentals of algebraic graph transformation
Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)
Petri net technology for communication-based systems
Categorical methods in computer science
Graph Transformations Lecture Notes in Computer Science
Theory and application of graph transformations
Graph-grammars and their application to computer science and biology
Integration of software specification techniques for applications in engineering
Unifying Petri nets
Graph grammars and their application to computer science
Graph grammars and their application to computer science
Formal methods in software and systems modeling
Graph Transformations
Graph-grammars and their application to computer science
Categorical methods in computer science
Formal methods in software and systems modeling
Graph transformations in computer science
Formal Methods and Software Development
Fundamentals of Algebraic Specification 1
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Fundamentals of Algebraic Specification 2
Graph Transformation
Graph and Model Transformation
Fundamentals of Algebraic Specification 2
Graph Transformations
Kategorien und Automate
Universal theory of automata
Kick-off-Workshop der DFG-Forschergruppe Petrinetz-Technologie
TAPSOFT '87 Vol. 2
Graph Transformations in Computer Science
Fundamentals of algebraic specification 2
Fundamentals of algebraic specification
Mathematical Foundations of Software Development
Formal Methods and Software Development
Recent Trends in Data Type Specification
Kategorien und Automaten
Three papers on graph rewriting systems and their applications
Act