Hartmut Ehrig
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
24 books in the database
Books
Fundamentals of algebraic graph transformationHartmut Ehrig
Fundamentals of algebraic graph transformation
Hartmut Ehrig · 2006
Integration of software specification techniques for applications in engineeringHartmut Ehrig
Integration of software specification techniques for applications in engineering
Hartmut Ehrig · 2004
Graph grammars and their application to computer scienceHartmut Ehrig
Graph grammars and their application to computer science
Hartmut Ehrig · 1991
Fundamentals of Algebraic Specification 2Hartmut Ehrig
Fundamentals of Algebraic Specification 2
Hartmut Ehrig · 1990
Fundamentals of Algebraic Specification 1Hartmut Ehrig
Fundamentals of Algebraic Specification 1
Hartmut Ehrig · 1985
Graph and Model TransformationHartmut Ehrig
Graph and Model Transformation
Hartmut Ehrig · 2015
Graph TransformationsHartmut Ehrig
Graph Transformations
Hartmut Ehrig · 2012
Graph Transformations Lecture Notes in Computer ScienceHartmut Ehrig
Graph Transformations Lecture Notes in Computer Science
Hartmut Ehrig · 2008
Formal methods in software and systems modelingHartmut Ehrig
Formal methods in software and systems modeling
Hartmut Ehrig · 2005
Petri net technology for communication-based systemsHartmut Ehrig
Petri net technology for communication-based systems
Hartmut Ehrig · 2004
Graph grammars and their application to computer scienceHartmut Ehrig
Graph grammars and their application to computer science
Hartmut Ehrig · 1996
Recent Trends in Data Type SpecificationHartmut Ehrig
Recent Trends in Data Type Specification
Hartmut Ehrig · 1994
ActHartmut Ehrig
Act
Hartmut Ehrig · 1993
Fundamentals of algebraic specification 2Hartmut Ehrig
Fundamentals of algebraic specification 2
Hartmut Ehrig · 1990
Fundamentals of Algebraic Specification 2Hartmut Ehrig
Fundamentals of Algebraic Specification 2
Hartmut Ehrig · 1990
Categorical methods in computer scienceHartmut Ehrig
Categorical methods in computer science
Hartmut Ehrig · 1989
TAPSOFT '87 Vol. 2Hartmut Ehrig
TAPSOFT '87 Vol. 2
Hartmut Ehrig · 1987
Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)Hartmut Ehrig
Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)
Hartmut Ehrig · 1987
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985Hartmut Ehrig
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Hartmut Ehrig · 1986
Formal Methods and Software DevelopmentHartmut Ehrig
Formal Methods and Software Development
Hartmut Ehrig · 1986
Mathematical Foundations of Software DevelopmentHartmut Ehrig
Mathematical Foundations of Software Development
Hartmut Ehrig · 1985
Formal Methods and Software DevelopmentHartmut Ehrig
Formal Methods and Software Development
Hartmut Ehrig · 1985
Graph TransformationHartmut Ehrig
Graph Transformation
Hartmut Ehrig · 2012
Kategorien und AutomateHartmut Ehrig
Kategorien und Automate
Hartmut Ehrig · 2018
Co-authored books and collections
Books that list Hartmut Ehrig among their authors but not as the lead author: co-written works, collections and compilations.
Graph TransformationsGrzegorz Rozenberg
Graph Transformations
Grzegorz Rozenberg · 2008
Graph Transformations in Computer ScienceH.-J Schneider
Graph Transformations in Computer Science
H.-J Schneider · 1994
TAPSOFT '87International Joint Conference on Theory and Practice of Software Development (2nd 1987 Pisa, Italy)
TAPSOFT '87
International Joint Conference on Theory and Practice of Software Development (2nd 1987 Pisa, Italy) · 1987