2023 - Research.com Computer Science in Germany Leader Award
Hartmut Ehrig spends much of his time researching Theoretical computer science, Graph rewriting, Discrete mathematics, Programming language and Algebraic number. The Theoretical computer science study combines topics in areas such as Graph, Petri net, Model transformation, Semantics and Rule-based machine translation. His Graph rewriting research incorporates themes from Algebraic graph theory, Clique-width, Graph property, Artificial intelligence and Null graph.
His Discrete mathematics study combines topics in areas such as Embedding, Pushout, Confluence and Algebra. His Programming language research includes elements of Functor and Algebraic modeling language. His Algebraic number research is multidisciplinary, relying on both Structure, Theory of computation and Control flow analysis.
His scientific interests lie mostly in Theoretical computer science, Graph rewriting, Programming language, Discrete mathematics and Algebra. His studies deal with areas such as Correctness, Petri net, Model transformation, Semantics and Rule-based machine translation as well as Theoretical computer science. Hartmut Ehrig has included themes like Algorithm, Clique-width and Null graph in his Graph rewriting study.
The various areas that Hartmut Ehrig examines in his Null graph study include Graph property, Graph algebra and Tree-adjoining grammar. His Programming language course of study focuses on Algebraic number and Categorical variable. His Discrete mathematics study integrates concerns from other disciplines, such as Confluence, Combinatorics and Pushout.
His primary areas of investigation include Graph rewriting, Theoretical computer science, Model transformation, Correctness and Petri net. His biological study deals with issues like Algorithm, which deal with fields such as Pushout. In his work, Clique-width and Graph property is strongly intertwined with Null graph, which is a subfield of Theoretical computer science.
His study on Model transformation is covered under Algebra. His Correctness study is related to the wider topic of Programming language. His research integrates issues of Embedding and Finite set in his study of Discrete mathematics.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Fundamentals of Algebraic Graph Transformation
Hartmut Ehrig;Karsten Ehrig;Ulrike Prange;Gabriele Taentzer.
(2010)
Fundamentals of Algebraic Specification 1
Hartmut Ehrig;B. Mahr.
(1985)
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Hartmut Ehrig;Bernd Mahr.
(1985)
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
H. Ehrig;G. Engels;H.-J. Kreowski;G. Rozenberg.
(1999)
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
A. Corradini;U. Montanari;F. Rossi;H. Ehrig.
Handbook of graph grammars and computing by graph transformation (1997)
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Hartmut Ehrig.
international workshop on graph grammars and their application to computer science (1978)
Graph-grammars: An algebraic approach
H. Ehrig;M. Pfender;H. J. Schneider.
foundations of computer science (1973)
Graph Grammars and Their Application to Computer Science: 3rd International Workshop Warrenton, Virginia, Usa, December 2-6, 1986
Hartmut Ehrig;M. Nagl;Grzegorz Rozenberg;Azriel Rosenfeld.
(1988)
Algebraic approaches to graph transformation. Part II: single pushout approach and comparison with double pushout approach
H. Ehrig;R. Heckel;M. Korff;M. Löwe.
Handbook of graph grammars and computing by graph transformation (1997)
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
Hartmut Ehrig;Bernd Mahr.
(2011)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Leiden University
University of Leicester
Philipp University of Marburg
University of Pisa
University of Pisa
University of Paderborn
Autonomous University of Madrid
IBM (United States)
University of Luxembourg
Linköping University
Beijing Institute of Technology
University of Birmingham
Johannes Kepler University of Linz
Institute of Photonic Sciences
Jiangsu University
University of Bristol
Institut de Recherche pour le Développement
University of Southern California
Met Office
McGill University Health Centre
Hebrew University of Jerusalem
University of North Carolina at Chapel Hill
The University of Texas Health Science Center at Houston
University of St Andrews
Harvard University
Aix-Marseille University