×

zbMATH — the first resource for mathematics

Ehrig, Hartmut

Compute Distance To:
Author ID: ehrig.hartmut Recent zbMATH articles by "Ehrig, Hartmut"
Published as: Ehrig, H.; Ehrig, Hartmut; Ehrig, K.
Homepage: http://www.tfs.tu-berlin.de/menue/home/team/ehrig_hartmut_prof/
External Links: MGP · dblp · GND
Documents Indexed: 281 Publications since 1972, including 53 Books
Reviewing Activity: 10 Reviews
Biographic References: 6 Publications
all top 5

Co-Authors

19 single-authored
47 Kreowski, Hans-Jörg
36 Orejas, Fernando
25 Padberg, Julia
24 Prange, Ulrike
22 Rozenberg, Grzegorz
17 Habel, Annegret
16 Lowe, Michael J.
16 Taentzer, Gabriele
15 Corradini, Andrea
15 Golas, Ulrike
14 Ermel, Claudia
12 Heckel, Reiko
12 Mahr, Bernd
12 Parisi-Presicce, Francesco
11 Lambers, Leen
11 Rosen, Barry K.
9 Große-Rhode, Martin
9 Hermann, Frank
8 Baldan, Paolo
8 Engels, Gregor
8 Fey, Werner
8 König, Barbara
8 Montanari, Ugo G.
8 Padawitz, Peter
7 Ehrig, Karsten
6 Boehm, Paul
6 Kühnel, Wolfgang
6 Weber, Herbert
5 de Lara, Juan
5 Hansen, Horst
5 Thatcher, James W.
5 Wolter, Uwe E.
4 Bardohl, Roswitha
4 Braatz, Benjamin
4 Hoffmann, Kathrin
4 Pino, Elvira
4 Wagner, Eric G.
3 Claßen, Ingo
3 Cornelius, Felix
3 Gabriel, Karsten
3 Hummert, Udo
3 Jacobs, Dean
3 Klein, Markus
3 Korff, Martin
3 Pfender, Michael
3 Reisig, Wolfgang
3 Ribeiro, Leila
3 Runge, Olga
3 Schneider, Hans Jürgen
3 Schröter, Gunnar
2 Baldamus, Michael
2 Blum, Edward Kenneth
2 Dimitrovici, Cristian
2 Floyd, Christiane
2 Gajewsky, Maike
2 Geisler, Robert
2 Hüffner, Falk
2 Klar, Marcus
2 Kowalski, Robert A.
2 Lembke, Sabine
2 Levi, Giorgio
2 Llabrés, Mercè
2 Maggiolo-Schettini, Andrea
2 Mann, Stefan
2 Nagl, Manfred
2 Niedermeier, Rolf
2 Nivat, Maurice
2 Pennemann, Karl-Heinz
2 Pérez, Sonia
2 Pfalzgraf, Jochen
2 Rangel, Guilherme
2 Rieckhoff, Catharina
2 Rossi, Francesca L.
2 Tischer, Karl Wilhelm
2 Varró-Gyapay, Szilvia
2 Varró, Dániel
2 Wright, Jesse B.
2 Zeitz, Philip
1 Adámek, Jiří
1 Adametz, Helmut
1 Arbib, Michael A.
1 Batory, Don S.
1 Biermann, Enrico
1 Borusan, Alexander
1 Brauer, Wilfried
1 Bucchiarone, Antonio
1 Claus, Volker
1 Cuny, Jérôme
1 Dehnert, Juliane
1 Díaz, Oscar
1 Gajewsky, Meike
1 Giese, Holger
1 Guerra, Esther
1 Herrlich, Horst
1 Hoffmann, Berthold
1 Janssens, Dirk
1 Jantke, Klaus-Peter
1 Jiménez, Rosa M.
1 Juhás, Gabriel
1 Karhumaki, Juhani
...and 29 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

192 Publications have been cited 1,220 times in 557 Documents Cited by Year
Fundamentals of algebraic specification 1. Equations and initial semantics. Zbl 0557.68013
Ehrig, H.; Mahr, B.
171
1985
Fundamentals of algebraic graph transformation. Zbl 1095.68047
Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
90
2006
Fundamentals of algebraic specification 2. Module specifications and constraints. Zbl 0759.68013
Ehrig, Hartmut; Mahr, Bernd
40
1990
Introduction to the algebraic theory of graph grammars (a survey). Zbl 0407.68072
Ehrig, Hartmut
34
1979
Algebraic implementation of abstract data types. Zbl 0483.68018
Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P.
31
1982
Handbook of graph grammars and computing by graph transformation. Vol. 3: Concurrency, parallelism, and distribution. Zbl 0951.68049
Ehrig, Hartmut (ed.); Kreowski, Hans-Jörg (ed.); Montanari, Ugo (ed.); Rozenberg, Grzegorz (ed.)
27
1999
Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986. Zbl 0636.00013
Ehrig, H. (ed.); Nagl, M. (ed.); Rozenberg, G. (ed.); Rosenfeld, A. (ed.)
26
1987
Graph-grammars and their application to computer science. 2nd International Workshop, Haus Ohrbeck, Germany, October 4-8, 1982. ”Under the auspices of the European Association for Theoretical Computer Science”. Zbl 0512.00027
Ehrig, Hartmut (ed.); Nagl, Manfred (ed.); Rozenberg, Grzegorz (ed.)
24
1983
Handbook of graph grammars and computing by graph transformation. Vol 2: Applications, languages and tools. With 1 CD-ROM (Windows, Linux and Solaris). Zbl 0998.68001
Ehrig, Hartmut (ed.); Engels, Gregor (ed.); Kreowski, Hans-Jörg (ed.); Rozenberg, Grzegorz (ed.)
23
1999
Parallelism and concurrency in high-level replacement systems. Zbl 0749.68045
Ehrig, Hartmut; Habel, Annegret; Kreowski, Hans-Jörg; Parisi-Presicce, Francesco
22
1991
Graph-grammars and their application to computer science and biology. International workshop Bad Honnef, October 30 November 3, 1978. Zbl 0398.00019
Claus, Volker (ed.); Ehrig, Hartmut (ed.); Rozenberg, Grzegorz (ed.)
21
1979
Universal theory of automata. A categorical approach. Zbl 0289.94023
Ehrig, H.; Kiermeier, K.-D.; Kreowski, H.-J.; Kühnel, W.
16
1974
Deriving bisimulation congruences in the DPO approach to graph rewriting. Zbl 1126.68446
Ehrig, Hartmut; König, Barbara
14
2004
Parameterized data types in algebraic specification languages (short version). Zbl 0456.68101
Ehrig, Hartmut; Kreowski, Hans-Jörg; Thatcher, James; Wagner, Eric; Wright, Jesse
14
1980
Pushout-properties: An analysis of gluing constructions for graphs. Zbl 0431.68069
Ehrig, Hartmut; Kreowski, Hans-Jörg
14
1979
From graph grammars to high level replacement systems. Zbl 0765.68088
Ehrig, Hartmut; Habel, Annegret; Parisi-Presicce, Francesco
13
1991
Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5-9, 1990. Proceedings. Zbl 0753.00023
Ehrig, Hartmut (ed.); Kreowski, Hans-Jörg (ed.); Rozenberg, Grzegorz (ed.)
13
1991
Termination criteria for model transformation. Zbl 1119.68344
Ehrig, Hartmut; Ehrig, Karsten; de Lara, Juan; Taentzer, Gabriele; Varró, Dániel; Varró-Gyapay, Szilvia
12
2005
Compositional semantics for open Petri nets based on deterministic processes. Zbl 1089.68068
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko
12
2005
Parallel and distributed derivations in the single-pushout approach. Zbl 0787.18002
Ehrig, H.; Löwe, M.
12
1993
Parameter passing in algebraic specification languages. Zbl 0522.68027
Ehrig, Hartmut; Kreowski, Hans-Joerg; Thatcher, James; Wagner, Eric; Wright, Jesse
11
1984
Algebraic specifications with generating constraints. Zbl 0518.68019
Ehrig, H.; Wagner, E. G.; Thatcher, J. W.
11
1983
Transformations of structures: An algebraic approach. Zbl 0491.68035
Ehrig, Hartmut; Kreowski, Hans-Joerg; Maggiolo-Schettini, Andrea; Rosen, Barry K.; Winkowski, Jozef
11
1981
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. Zbl 1107.68055
Ehrig, Hartmut; König, Barbara
10
2006
Adhesive high-level replacement categories and systems. Zbl 1116.68480
Ehrig, Hartmut; Habel, Annegret; Padberg, Julia; Prange, Ulrike
10
2004
Algebraic high-level net transformation systems. Zbl 0839.68068
Padberg, Julia; Ehrig, Hartmut; Ribeiro, Leila
10
1995
Algebraic specification of modules and their basic interconnections. Zbl 0619.68027
Blum, E. K.; Ehrig, H.; Parisi-Presicce, F.
10
1987
Algebraic implementation of abstract data types: Concept, syntax, semantics and correctness. Zbl 0457.68019
Ehrig, H.; Kreowski, H.-J.; Padawitz, P.
10
1980
Parallelism and concurrency of graph manipulations. Zbl 0449.68036
Ehrig, Hartmut; Rosen, Barry K.
10
1980
Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories. Zbl 1106.68055
Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
9
2006
Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts. Zbl 0765.68089
Ehrig, Hartmut; Korff, Martin; Löwe, Michael
9
1991
Algebraic approach to graph transformation based on single pushout derivations. Zbl 0768.68069
Löwe, Michael; Ehrig, Hartmut
8
1992
Tutorial introduction to the algebraic approach of graph grammars. Zbl 0643.68102
Ehrig, Hartmut
8
1987
ACT ONE: an algebraic specification language with two levels of semantics. Zbl 0549.68010
Ehrig, Hartmut; Fey, Werner; Hansen, Horst
8
1983
Parallelism of manipulations in multidimensional information structures. Zbl 0352.68096
Ehrig, Hartmut; Kreowski, Hans-Jörg
8
1976
Grammars on partial graphs. Zbl 0329.68061
Schneider, H. J.; Ehrig, H.
8
1976
Efficient conflict detection in graph transformation systems by essential critical pairs. Zbl 1283.68185
Lambers, Leen; Ehrig, Hartmut; Orejas Fernando
7
2008
Attributed graph transformation with node type inheritance. Zbl 1116.68042
de Lara, Juan; Bardohl, Roswitha; Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
7
2007
Fundamental theory for typed attributed graph transformation. Zbl 1116.68481
Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele
7
2004
Abstract and behaviour module specifications. Zbl 0923.68089
Cornelius, Felix; Baldamus, Michael; Ehrig, Hartmut; Orejas, Fernando
7
1999
Graph rewriting with unification and composition. Zbl 0643.68103
Parisi-Presicce, Francesco; Ehrig, Hartmut; Montanari, Ugo
7
1987
Graph grammars with application conditions. Zbl 0611.68045
Ehrig, H.; Habel, A.
7
1986
Commutativity of independent transformations on complex objects. Zbl 0357.02034
Ehrig, Hartmut; Rosen, Barry K.
7
1976
Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Zbl 1257.68092
Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank
6
2010
Semantical correctness and completeness of model transformations using graph and rule transformation. Zbl 1175.68221
Ehrig, Hartmut; Ermel, Claudia
6
2008
A logic of graph constraints. Zbl 1171.68516
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
6
2008
Constraints and application conditions: From graphs to high-level structures. Zbl 1116.68479
Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz
6
2004
Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Zbl 0970.68116
Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea
6
2001
Dynamic abstract data types: An informal proposal. Zbl 0810.68097
Ehrig, Hartmut; Orejas, Fernando
6
1994
Distributed parallelism of graph transformations. Zbl 0651.68097
Ehrig, Hartmut; Boehm, Paul; Hummert, Udo; Löwe, Michael
6
1988
Stepwise specification and implementation of abstract data types. Zbl 0382.68026
Ehrig, Hartmut; Kreowski, Hans-Jörg; Padawitz, Peter
6
1978
Deriving structures from structures. Zbl 0379.68055
Ehrig, Hartmut; Kreowski, Hans-Jörg; Maggiolo-Schettini, A.; Rosen, B. K.; Winkowski, Z.
6
1978
Rule-based modeling and static analysis of self-adaptive systems by graph transformation. Zbl 1398.68092
Bucchiarone, Antonio; Ehrig, Hartmut; Ermel, Claudia; Pelliccione, Patrizio; Runge, Olga
5
2015
\(\mathcal{M}\)-adhesive transformation systems with nested application conditions. I: Parallelism, concurrency and amalgamation. Zbl 1342.68176
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando
5
2014
Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1306.68121
Braatz, Benjamin; Ehrig, Hartmut; Gabriel, Karsten; Golas, Ulrike
5
2010
Reasoning with graph constraints. Zbl 1209.68381
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
5
2010
Correctness, completeness and termination of pattern-based model-to-model transformation. Zbl 1239.68026
Orejas, Fernando; Guerra, Esther; de Lara, Juan; Ehrig, Hartmut
5
2009
Termination analysis of model transformations by Petri nets. Zbl 1156.68501
Varró, Dániel; Varró-Gyapay, Szilvia; Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele
5
2006
Composition and decomposition of DPO transformations with borrowed context. Zbl 1156.68417
Baldan, Paolo; Ehrig, Hartmut; König, Barbara
5
2006
Conflict detection for graph transformation with negative application conditions. Zbl 1156.68431
Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando
5
2006
Adhesive high-level replacement systems: a new categorical framework for graph transformation. Zbl 1106.68056
Ehrig, Hartmut; Padberg, Julia; Prange, Ulrike; Habel, Annegret
5
2006
Integrating meta-modelling aspects with graph transformation for efficient visual language definition and model manipulation. Zbl 1129.68420
Bardohl, Roswitha; Ehrig, Hartmut; de Lara, Juan; Taentzer, Gabriele
5
2004
Bigraphs meet double pushouts. Zbl 1169.68450
Ehrig, Hartmut
5
2002
Compositional modeling of reactive systems using open nets. Zbl 1006.68084
Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R.
5
2001
Pragmatic and semantic aspects of a module concept for graph transformation systems. Zbl 1412.68105
Ehrig, Hartmut; Engels, Gregor
5
1996
Graph grammars and their application to computer science. 5th international workshop, Williamsburg, VA, USA, November 13–18, 1994. Selected papers. Zbl 0847.00026
Cuny, J. (ed.); Ehrig, H. (ed.); Engels, G. (ed.); Rozenberg, G. (ed.)
5
1996
Amalgamation and extension in the framework of specification logics and generalized morphisms. Zbl 0744.68099
Ehrig, Hartmut; Baldamus, Michael; Orejas, Fernando
5
1991
Combining data type and recursive process specifications using projection algebras. Zbl 0695.68015
Ehrig, Hartmut; Parisi-Presicce, Francesco; Boehm, Paul; Rieckhoff, Catharina; Dimitrovici, Cristian; Grosse-Rhode, Martin
5
1990
On recent trends in algebraic specification. Zbl 0689.68013
Ehrig, H.; Pepper, P.; Orejas, F.
5
1989
Algebraic data type and process specifications based on projection spaces. Zbl 0661.68017
Ehrig, Hartmut; Parisi-Presicce, Franceso; Boehm, Paul; Rieckhoff, Catharina; Dimitrovici, Cristian; Große-Rhode, Martin
5
1988
Algebraic theory of module specifications with constraints. Zbl 0602.68021
Ehrig, H.; Fey, W.; Parisi-Presicce, F.; Blum, E. K.
5
1986
Parameter passing commutes with implementation of parameterized data types. Zbl 0486.68016
Ehrig, H.; Kreowski, H.-J.
5
1982
Algebraic theory of parameterized specifications with requirements. Zbl 0465.68006
Ehrig, Hartmut
5
1981
Kategorien und Automaten. (Categories and automata). Zbl 0231.94040
Ehrig, Hartmut; Pfender, Michael
5
1972
\(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence. Zbl 1242.68128
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando
4
2012
Parallel independence of amalgamated graph transformations applied to model transformation. Zbl 1309.68106
Biermann, Enrico; Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Taentzer, Gabriele
4
2010
Formal analysis of functional behaviour for model transformations based on triple graph grammars. Zbl 1306.68074
Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike
4
2010
Construction and properties of adhesive and weak adhesive high-level replacement categories. Zbl 1143.18005
Prange, Ulrike; Ehrig, Hartmut; Lambers, Leen
4
2008
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1214.68243
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
4
2007
Theory of constraints and application conditions: from graphs to high-level structures. Zbl 1106.68054
Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz
4
2006
Horizontal and vertical structuring of typed graph transformation systems. Zbl 0866.68056
Heckel, Reiko; Corradini, Andrea; Ehrig, Hartmut; Löwe, Michael
4
1996
Programming in the large with algebraic module specifications. Zbl 0606.68009
Ehrig, H.; Weber, H.
4
1986
Compatibility of parameter passing and implementation of parameterized data types. Zbl 0553.68015
Ehrig, H.; Kreowski, H.-J.
4
1983
Complexity of algebraic implementations for abstract data types. Zbl 0474.68021
Ehrig, Hartmut; Mahr, Bernd
4
1981
Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems. Zbl 0456.68096
Ehrig, H.; Kreowski, H.-J.
4
1980
Graph and model transformation. General framework and applications. Zbl 1341.68002
Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Hermann, Frank
3
2015
Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions. Zbl 1342.68179
Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut
3
2014
Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1342.68177
Gabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike
3
2014
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs. Zbl 1284.68324
Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando
3
2012
Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions. Zbl 1277.68194
Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando
3
2008
Weak adhesive high-level replacement categories and systems: a unifying framework for graph and Petri net transformations. Zbl 1133.68055
Ehrig, Hartmut; Prange, Ulrike
3
2006
High-level nets with nets and rules as tokens. Zbl 1128.68063
Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till
3
2005
Graph grammars and Petri net transformations. Zbl 1088.68079
Ehrig, Hartmut; Padberg, Julia
3
2004
Institutions for logic programming. Zbl 0901.68027
Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut
3
1997
The category of typed graph grammars and its adjunctions with categories of derivations. Zbl 1412.68099
Corradini, A.; Ehrig, H.; Löwe, M.; Montanari, U.; Padberg, J.
3
1996
Algebraic specification techniques and tools for software development. The ACT approach. Zbl 0921.68059
Claßen, Ingo; Ehrig, Hartmut; Wolz, Dietmar
3
1993
Categorical principles, techniques and results for high-level-replacement systems in computer science. Zbl 0784.68063
Ehrig, Hartmut; Löwe, Michael
3
1993
Graph grammars and logic programming. Zbl 0765.68083
Corradini, Andrea; Montanari, Ugo; Rossi, Francesca; Ehrig, Hartmut; Löwe, Michael
3
1991
Specification of modular systems. Zbl 0595.68023
Weber, Herbert; Ehrig, Hartmut
3
1986
Concurrent transformations of relational structures. Zbl 0592.68023
Ehrig, Hartmut; Habel, Annegret; Rosen, Barry K.
3
1986
Rule-based modeling and static analysis of self-adaptive systems by graph transformation. Zbl 1398.68092
Bucchiarone, Antonio; Ehrig, Hartmut; Ermel, Claudia; Pelliccione, Patrizio; Runge, Olga
5
2015
Graph and model transformation. General framework and applications. Zbl 1341.68002
Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Hermann, Frank
3
2015
\(\mathcal{M}\)-adhesive transformation systems with nested application conditions. I: Parallelism, concurrency and amalgamation. Zbl 1342.68176
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando
5
2014
Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions. Zbl 1342.68179
Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut
3
2014
Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1342.68177
Gabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike
3
2014
Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories. Zbl 1342.68178
Golas, Ulrike; Habel, Annegret; Ehrig, Hartmut
2
2014
Confluence in data reduction: bridging graph transformation and kernelization. Zbl 1311.68184
Ehrig, Hartmut; Ermel, Claudia; Hüffner, Falk; Niedermeier, Rolf; Runge, Olga
1
2013
\(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence. Zbl 1242.68128
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando
4
2012
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs. Zbl 1284.68324
Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando
3
2012
Toward bridging the gap between formal foundations and current practice for triple graph grammars. Flexible relations between source and target elements. Zbl 1367.68134
Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Giese, Holger
1
2012
Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Zbl 1257.68092
Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank
6
2010
Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1306.68121
Braatz, Benjamin; Ehrig, Hartmut; Gabriel, Karsten; Golas, Ulrike
5
2010
Reasoning with graph constraints. Zbl 1209.68381
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
5
2010
Parallel independence of amalgamated graph transformations applied to model transformation. Zbl 1309.68106
Biermann, Enrico; Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Taentzer, Gabriele
4
2010
Formal analysis of functional behaviour for model transformations based on triple graph grammars. Zbl 1306.68074
Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike
4
2010
Multi-amalgamation in adhesive categories. Zbl 1306.68071
Golas, Ulrike; Ehrig, Hartmut; Habel, Annegret
2
2010
Local confluence for rules with nested application conditions. Zbl 1306.68068
Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike
2
2010
Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Zbl 1196.68007
Ehrig, Hartmut (ed.); Rensink, Arend (ed.); Rozenberg, Grzegorz (ed.); Schürr, Andy (ed.)
1
2010
Consistent integration of models based on views of meta models. Zbl 1209.68081
Ehrig, Hartmut; Ehrig, Karsten; Ermel, Claudia; Prange, Ulrike
1
2010
Correctness, completeness and termination of pattern-based model-to-model transformation. Zbl 1239.68026
Orejas, Fernando; Guerra, Esther; de Lara, Juan; Ehrig, Hartmut
5
2009
Cospan DPO approach: an alternative for DPO graph transformations. Zbl 1191.68361
Ehrig, Hartmut; Hermann, Frank; Prange, Ulrike
2
2009
Efficient conflict detection in graph transformation systems by essential critical pairs. Zbl 1283.68185
Lambers, Leen; Ehrig, Hartmut; Orejas Fernando
7
2008
Semantical correctness and completeness of model transformations using graph and rule transformation. Zbl 1175.68221
Ehrig, Hartmut; Ermel, Claudia
6
2008
A logic of graph constraints. Zbl 1171.68516
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
6
2008
Construction and properties of adhesive and weak adhesive high-level replacement categories. Zbl 1143.18005
Prange, Ulrike; Ehrig, Hartmut; Lambers, Leen
4
2008
Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions. Zbl 1277.68194
Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando
3
2008
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1161.68034
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
2
2008
Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Zbl 1148.68002
Ehrig, Hartmut (ed.); Heckel, Reiko (ed.); Rozenberg, Grzegorz (ed.); Taentzer, Gabriele (ed.)
2
2008
A typed attributed graph grammar with inheritance for the abstract syntax of UML class and sequence diagrams. Zbl 1283.68206
Hermann, Frank; Ehrig, Hartmut; Taentzer, Gabriele
1
2008
Process definition using subobject transformation systems. Zbl 1169.68507
Hermann, Frank; Ehrig, Hartmut
1
2008
Open Petri nets: Non-deterministic processes and compositionality. Zbl 1175.68269
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; König, Barbara
1
2008
Behavior preservation in model refactoring using DPO transformations with borrowed contexts. Zbl 1175.68231
Rangel, Guilherme; Lambers, Leen; König, Barbara; Ehrig, Hartmut; Baldan, Paolo
1
2008
Formal analysis of model transformations based on triple graph rules with kernels. Zbl 1175.68222
Ehrig, Hartmut; Prange, Ulrike
1
2008
Embedding and confluence of graph transformations with negative application conditions. Zbl 1175.68227
Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando
1
2008
Transformations in reconfigurable place/transition systems. Zbl 1144.68043
Prange, Ulrike; Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia
1
2008
Attributed graph transformation with node type inheritance. Zbl 1116.68042
de Lara, Juan; Bardohl, Roswitha; Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
7
2007
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1214.68243
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
4
2007
Independence of net transformations and token firing in reconfigurable place/transition systems. Zbl 1226.68052
Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Prange, Ulrike; Ermel, Claudia
2
2007
Termination criteria for DPO transformations with injective matches. Zbl 1278.68123
Levendovszky, Tihamér; Prange, Ulrike; Ehrig, Hartmut
1
2007
Fundamentals of algebraic graph transformation. Zbl 1095.68047
Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
90
2006
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. Zbl 1107.68055
Ehrig, Hartmut; König, Barbara
10
2006
Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories. Zbl 1106.68055
Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
9
2006
Termination analysis of model transformations by Petri nets. Zbl 1156.68501
Varró, Dániel; Varró-Gyapay, Szilvia; Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele
5
2006
Composition and decomposition of DPO transformations with borrowed context. Zbl 1156.68417
Baldan, Paolo; Ehrig, Hartmut; König, Barbara
5
2006
Conflict detection for graph transformation with negative application conditions. Zbl 1156.68431
Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando
5
2006
Adhesive high-level replacement systems: a new categorical framework for graph transformation. Zbl 1106.68056
Ehrig, Hartmut; Padberg, Julia; Prange, Ulrike; Habel, Annegret
5
2006
Theory of constraints and application conditions: from graphs to high-level structures. Zbl 1106.68054
Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz
4
2006
Weak adhesive high-level replacement categories and systems: a unifying framework for graph and Petri net transformations. Zbl 1133.68055
Ehrig, Hartmut; Prange, Ulrike
3
2006
Categorical foundations of distributed graph transformation. Zbl 1157.68039
Ehrig, Hartmut; Orejas, Fernando; Prange, Ulrike
2
2006
Petri net modules in the transformation-based component framework. Zbl 1088.68129
Padberg, Julia; Ehrig, Hartmut
2
2006
Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Zbl 1147.68003
Corradini, Andrea (ed.); Ehrig, Hartmut (ed.); Montanari, Ugo (ed.); Ribeiro, Leila (ed.); Rozenberg, Grzegorz (ed.)
1
2006
Termination criteria for model transformation. Zbl 1119.68344
Ehrig, Hartmut; Ehrig, Karsten; de Lara, Juan; Taentzer, Gabriele; Varró, Dániel; Varró-Gyapay, Szilvia
12
2005
Compositional semantics for open Petri nets based on deterministic processes. Zbl 1089.68068
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko
12
2005
High-level nets with nets and rules as tokens. Zbl 1128.68063
Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till
3
2005
Behaviour and instantiation of high-level Petri net processes. Zbl 1096.68105
Ehrig, Hartmut
1
2005
Deriving bisimulation congruences in the DPO approach to graph rewriting. Zbl 1126.68446
Ehrig, Hartmut; König, Barbara
14
2004
Adhesive high-level replacement categories and systems. Zbl 1116.68480
Ehrig, Hartmut; Habel, Annegret; Padberg, Julia; Prange, Ulrike
10
2004
Fundamental theory for typed attributed graph transformation. Zbl 1116.68481
Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele
7
2004
Constraints and application conditions: From graphs to high-level structures. Zbl 1116.68479
Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz
6
2004
Integrating meta-modelling aspects with graph transformation for efficient visual language definition and model manipulation. Zbl 1129.68420
Bardohl, Roswitha; Ehrig, Hartmut; de Lara, Juan; Taentzer, Gabriele
5
2004
Graph grammars and Petri net transformations. Zbl 1088.68079
Ehrig, Hartmut; Padberg, Julia
3
2004
Parallel graph transformation for model simulation applied to timed transition Petri nets. Zbl 1271.68118
De Lara, J.; Ermel, C.; Taentzer, G.; Ehrig, K.
1
2004
Attributed graphs and typing: relationship between different representations. Zbl 1169.68558
Ehrig, Hartmut
1
2004
Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 – October 2, 2004. Proceedings. Zbl 1056.68008
Ehrig, Hartmut (ed.); Engels, Gregor (ed.); Parisi-Presicce, Francesco (ed.); Rozenberg, Grzegorz (ed.)
1
2004
Bigraphs meet double pushouts. Zbl 1169.68450
Ehrig, Hartmut
5
2002
A generic component framework for system modeling. Zbl 1059.68543
Ehrig, Hartmut; Orejas, Fernando; Braatz, Benjamin; Klein, Markus; Piirainen, Martti
2
2002
Basic results for two types of high-level replacement systems. Zbl 1263.68073
Ehrig, Hartmut; Habel, Annegret; Parisi-Presicce, F.
1
2002
High-level net processes. Zbl 1060.68078
Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko
1
2002
Concurrency and loose semantics of open graph transformation systems. Zbl 1009.68095
Heckel, Reiko; Llabrés, Mercé; Ehrig, Hartmut; Orejas, Fernando
1
2002
Graph transformation. 1st international conference, ICGT 2002, Barcelona, Spain, October 7–12, 2002. Proceedings. Zbl 1001.00043
Corradini, Andrea (ed.); Ehrig, Hartmut (ed.); Kreowski, Hans-Jörg (ed.); Rozenberg, Grzegorz (ed.)
1
2002
Formal and natural computing. Essays dedicated to Grzegorz Rozenberg. Zbl 0989.00070
Brauer, Wilfried (ed.); Ehrig, Hartmut (ed.); Karhumäki, Juhani (ed.); Salomaa, Arto (ed.)
1
2002
Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Zbl 0970.68116
Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea
6
2001
Compositional modeling of reactive systems using open nets. Zbl 1006.68084
Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R.
5
2001
Parameterized net classes: A uniform approach to Petri net classes. Zbl 1017.68078
Padberg, Julia; Ehrig, Hartmut
2
2001
Integration paradigm for data type and process specification techniques. Zbl 1049.68088
Ehrig, Hartmut; Orejas, Fernando
2
2001
Algebraic techniques in software development: A review of progress up to the mid nineties. Zbl 1049.68086
Ehrig, Hartmut; Mahr, Bernd
2
2001
The “Petri Net Baukasten”: An overview. Zbl 1018.68508
Gajewsky, Meike; Ehrig, Hartmut
1
2001
From basic views and aspects to integration of specification formalisms. Zbl 1049.68089
Ehrig, Hartmut; Padberg, Julia; Orejas, Fernando
1
2001
Unifying Petri nets. Advances in Petri nets. Zbl 0978.00023
Ehrig, Hartmut (ed.); Juhás, Gabriel (ed.); Padberg, Julia (ed.); Rozenberg, Grzegorz (ed.)
1
2001
Double-pullback graph transitions: A rule-based framework with incomplete information. Zbl 0958.68123
Ehrig, Hartmut; Heckel, Reiko; Llabrés, Mercè; Orejas, Fernando; Padberg, Julia; Rozenberg, Grzegorz
2
2000
Theory and application of graph transformations. 6th international workshop, TAGT ’98. Paderborn, Germany, November 16–20, 1998. Selected papers. Zbl 0933.00049
Ehrig, Hartmut (ed.); Engels, Gregor (ed.); Kreowski, Hans-Jörg (ed.); Rozenberg, Grzegorz (ed.)
1
2000
Handbook of graph grammars and computing by graph transformation. Vol. 3: Concurrency, parallelism, and distribution. Zbl 0951.68049
Ehrig, Hartmut (ed.); Kreowski, Hans-Jörg (ed.); Montanari, Ugo (ed.); Rozenberg, Grzegorz (ed.)
27
1999
Handbook of graph grammars and computing by graph transformation. Vol 2: Applications, languages and tools. With 1 CD-ROM (Windows, Linux and Solaris). Zbl 0998.68001
Ehrig, Hartmut (ed.); Engels, Gregor (ed.); Kreowski, Hans-Jörg (ed.); Rozenberg, Grzegorz (ed.)
23
1999
Abstract and behaviour module specifications. Zbl 0923.68089
Cornelius, Felix; Baldamus, Michael; Ehrig, Hartmut; Orejas, Fernando
7
1999
Refinement and implementation. Zbl 0953.68096
Ehrig, Hartmut; Kreowski, Hans-Jörg
1
1999
Integration paradigm for data type and process specification techniques. Zbl 0901.68129
Ehrig, Hartmut; Orejas, Fernando
2
1998
Applications of category theory to the area of algebraic specification in computer science. Zbl 0892.68064
Ehrig, Hartmut; Große-Rhode, Martin; Wolter, Uwe
2
1998
From abstract data types to algebraic development techniques: A shift of paradigms. Zbl 0901.68128
Ehrig, H.; Gajewsky, M.; Wolter, U.
1
1998
Institutions for logic programming. Zbl 0901.68027
Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut
3
1997
Integrating the specification techniques of graph transformation and temporal logic. Zbl 0951.68055
Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea
1
1997
Pragmatic and semantic aspects of a module concept for graph transformation systems. Zbl 1412.68105
Ehrig, Hartmut; Engels, Gregor
5
1996
Graph grammars and their application to computer science. 5th international workshop, Williamsburg, VA, USA, November 13–18, 1994. Selected papers. Zbl 0847.00026
Cuny, J. (ed.); Ehrig, H. (ed.); Engels, G. (ed.); Rozenberg, G. (ed.)
5
1996
Horizontal and vertical structuring of typed graph transformation systems. Zbl 0866.68056
Heckel, Reiko; Corradini, Andrea; Ehrig, Hartmut; Löwe, Michael
4
1996
The category of typed graph grammars and its adjunctions with categories of derivations. Zbl 1412.68099
Corradini, A.; Ehrig, H.; Löwe, M.; Montanari, U.; Padberg, J.
3
1996
An event structure semantics for graph grammars with parallel productions. Zbl 1412.68100
Corradini, A.; Ehrig, H.; Löwe, M.; Montanari, U.; Rossi, F.
2
1996
Algebraic high-level net transformation systems. Zbl 0839.68068
Padberg, Julia; Ehrig, Hartmut; Ribeiro, Leila
10
1995
Introduction to COMPUGRAPH. Zbl 0910.68111
Ehrig, Hartmut
1
1995
Dynamic abstract data types: An informal proposal. Zbl 0810.68097
Ehrig, Hartmut; Orejas, Fernando
6
1994
Algebraic high level nets. Petri nets revisited. Zbl 0941.68643
Ehrig, Hartmut; Padberg, Julia; Ribeiro, Leila
2
1994
Functorial theory of parameterized specifications in a general specification framework. Zbl 0829.68086
Ehrig, Hartmut; Große-Rhode, Martin
2
1994
...and 92 more Documents
all top 5

Cited by 651 Authors

48 Ehrig, Hartmut
25 Corradini, Andrea
19 Orejas, Fernando
18 Kreowski, Hans-Jörg
16 Gadducci, Fabio
16 Montanari, Ugo G.
15 Bonchi, Filippo
15 Rozenberg, Grzegorz
14 Parisi-Presicce, Francesco
14 Ribeiro, Leila
14 Tarlecki, Andrzej
12 Baldan, Paolo
11 Taentzer, Gabriele
10 Habel, Annegret
10 König, Barbara
10 Sannella, Donald T.
9 Lowe, Michael J.
9 Meseguer Guaita, José
8 Bidoit, Michel
8 Engelfriet, Joost
8 Hennicker, Rolf
8 Lambers, Leen
8 Sobociński, Paweł
8 Wolter, Uwe E.
7 Golas, Ulrike
7 Heindel, Tobias
7 Janssens, Dirk
7 Kuske, Sabine
7 Monreale, Giacoma Valentina
7 Prange, Ulrike
6 Bruni, Roberto
6 de Lara, Juan
6 Heckel, Reiko
6 Padawitz, Peter
6 Wirsing, Martin
5 Bauderon, Michel
5 Bernot, Gilles
5 Courcelle, Bruno
5 Engels, Gregor
5 Ermel, Claudia
5 Fiadeiro, José Luiz
5 Kahl, Wolfram
5 König, Harald
5 Navarro, Marisa
5 Padberg, Julia
5 Rosselló, Francesc
5 Rossi, Francesca L.
5 Wagner, Eric G.
4 Drewes, Frank
4 Duval, Dominique
4 Foss, Luciana
4 Goguen, Joseph Amadee
4 Große-Rhode, Martin
4 Guerra, Esther
4 Hermann, Frank
4 Meinke, Karl
4 Milner, Robin
4 Mossakowski, Till
4 Oriat, C.
4 Plump, Detlef
4 Rutle, Adrian
4 Schürr, Andy
3 Adámek, Jiří
3 Arbib, Michael A.
3 Banach, Richard
3 Bergstra, Jan A.
3 Burmeister, Peter
3 Burstall, Rod M.
3 Choppy, Christine
3 Dotti, Fernando Luís
3 Durán, Francisco
3 Echahed, Rachid
3 Ehrenfeucht, Andrzej
3 Ehrich, Hans-Dieter
3 Ehrig, Karsten
3 Giese, Holger
3 Hoffmann, Berthold
3 Kaplan, Stéphane
3 Klempien-Hinrichs, Renate
3 Koch, Manuel
3 Kosiol, Jens
3 Leih, George
3 Manes, Ernest G.
3 Melgratti, Hernán
3 Mizoguchi, Yoshihiro
3 Pino, Elvira
3 Prost, Frédéric
3 Reggio, Gianna
3 Rensink, Arend
3 Rossini, Alessandro
3 Skeirik, Stephen
3 Staples, John
3 Valiente, Gabriel
3 Wanke, Egon
3 Winkowski, Jozef
2 Arbab, Farhad
2 Arendt, Thorsten
2 Arrighi, Pablo
2 Astesiano, Egidio
2 Baier, Christel
...and 551 more Authors
all top 5

Cited in 67 Serials

134 Theoretical Computer Science
32 Journal of Computer and System Sciences
30 Formal Aspects of Computing
25 Journal of Logical and Algebraic Methods in Programming
23 Acta Informatica
20 MSCS. Mathematical Structures in Computer Science
16 Information and Computation
13 The Journal of Logic and Algebraic Programming
12 Information Processing Letters
11 Journal of Symbolic Computation
7 Applied Categorical Structures
6 Information Sciences
6 Diagrammes
5 Science of Computer Programming
5 Annals of Mathematics and Artificial Intelligence
4 Discrete Applied Mathematics
4 Computing
4 Mathematical Systems Theory
3 Cahiers de Topologie et Géométrie Différentielle Catégoriques
3 Journal of Pure and Applied Algebra
3 International Journal of Computer Mathematics
3 RAIRO. Informatique Théorique et Applications
3 Logical Methods in Computer Science
2 Artificial Intelligence
2 Computers & Mathematics with Applications
2 Algebra Universalis
2 RAIRO, Informatique Théorique
2 Annals of Pure and Applied Logic
2 Journal of Computer Science and Technology
2 Journal of Functional Programming
2 Theory and Practice of Logic Programming
1 Bulletin of the Australian Mathematical Society
1 Discrete Mathematics
1 Bulletin of Mathematical Biology
1 BIT
1 Fuzzy Sets and Systems
1 Journal of Soviet Mathematics
1 Kybernetika
1 Mathematics and Computers in Simulation
1 Mathematische Nachrichten
1 Quaestiones Mathematicae
1 SIAM Journal on Computing
1 Studia Logica
1 Cybernetics
1 Cybernetics and Systems
1 New Generation Computing
1 Journal of Automated Reasoning
1 Automation and Remote Control
1 Distributed Computing
1 Applicable Algebra in Engineering, Communication and Computing
1 Cybernetics and Systems Analysis
1 Formal Methods in System Design
1 Journal of Applied Non-Classical Logics
1 Theory and Applications of Categories
1 ACM Transactions on Modeling and Computer Simulation
1 Mathematical Problems in Engineering
1 RAIRO. Theoretical Informatics and Applications
1 Algebraic & Geometric Topology
1 Natural Computing
1 Computer Languages, Systems & Structures
1 ACM Transactions on Computational Logic
1 Journal of Zhejiang University. Science A
1 Mathematics in Computer Science
1 Journal of Formalized Reasoning
1 Frontiers of Computer Science
1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge
1 Computer Science Review

Citations by Year