×

Ehrig, Hartmut (b. 1944 d. 2016)

Author ID: ehrig.hartmut Recent zbMATH articles by "Ehrig, Hartmut"
Published as: Ehrig, Hartmut; Ehrig, H.; Ehrig, K.
Homepage: http://www.tfs.tu-berlin.de/menue/home/team/ehrig_hartmut_prof/
External Links: MGP · dblp · GND
Documents Indexed: 254 Publications since 1972, including 22 Books
34 Contributions as Editor · 3 Further Contributions
Reviewing Activity: 11 Reviews
Biographic References: 6 Publications
Co-Authors: 123 Co-Authors with 270 Joint Publications
1,648 Co-Co-Authors
all top 5

Co-Authors

19 single-authored
50 Kreowski, Hans-Jörg
38 Orejas, Fernando
26 Padberg, Julia
24 Prange, Ulrike
23 Rozenberg, Grzegorz
18 Lowe, Michael J. S.
17 Corradini, Andrea
17 Habel, Annegret
17 Taentzer, Gabriele
15 Golas, Ulrike
14 Ermel, Claudia
14 Mahr, Bernd
12 Heckel, Reiko
11 Lambers, Leen
11 Rosen, Barry K.
10 Montanari, Ugo G.
9 Fey, Werner
9 Große-Rhode, Martin
9 Hermann, Frank
8 Baldan, Paolo
8 Engels, Gregor
8 König, Barbara
8 Padawitz, Peter
8 Parisi-Presicce, Francesco
7 Ehrig, Karsten
6 Boehm, Paul
6 Kühnel, Wolfgang
6 Weber, Herbert
5 de Lara, Juan
5 Hansen, Horst
5 Pino, Elvira
5 Thatcher, James W.
5 Wolter, Uwe E.
4 Bardohl, Roswitha
4 Braatz, Benjamin
4 Hoffmann, Kathrin
4 Rossi, Francesca
4 Wagner, Eric G.
3 Claßen, Ingo
3 Cornelius, Felix
3 Floyd, Christiane
3 Gabriel, Karsten
3 Geisler, Robert
3 Hummert, Udo
3 Jacobs, Dean
3 Klar, Marcus
3 Klein, Markus
3 Korff, Martin
3 Nagl, Manfred
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 Hüffner, Falk
2 Jiménez, Rosa M.
2 Karhumaki, Juhani
2 Kowalski, Robert A.
2 Lembke, Sabine
2 Levi, Giorgio
2 Llabrés, Mercè
2 Maggiolo-Schettini, Andrea
2 Mann, Stefan A.
2 Niedermeier, Rolf
2 Nivat, Maurice
2 Pennemann, Karl-Heinz
2 Pérez, Sonia
2 Pfalzgraf, Jochen
2 Rangel, Guilherme
2 Rieckhoff, Catharina
2 Rosenfeld, Azriel
2 Salomaa, Arto Kustaa
2 Tischer, Karl Wilhelm
2 Van Leeuwen, Jan
2 Varró-Gyapay, Szilvia
2 Varró, Dániel
2 Wright, Jesse B.
2 Zeitz, Philip
1 Adámek, Jiří
1 Adametz, Helmut
1 Angluin, Dana
1 Arbib, Michael A.
1 Batory, Don S.
1 Bersted, J.
1 Bezem, J. J.
1 Biermann, Enrico
1 Biewald, J.
1 Bloniarz, Peter A.
1 Borodin, Allan B.
1 Borusan, Alexander
1 Brauer, Wilfried
1 Brent, Richard Peirce
1 Brown, Donna J.
1 Bucchiarone, Antonio
1 Buchegger, O.
1 Carlson, David A.
...and 127 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

197 Publications have been cited 1,769 times in 805 Documents Cited by Year
Fundamentals of algebraic specification 1. Equations and initial semantics. Zbl 0557.68013
Ehrig, H.; Mahr, B.
224
1985
Fundamentals of algebraic graph transformation. Zbl 1095.68047
Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
186
2006
Handbook of graph grammars and computing by graph transformation. Vol. 3: Concurrency, parallelism, and distribution. Zbl 0951.68049
53
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
49
1999
Introduction to the algebraic theory of graph grammars (a survey). Zbl 0407.68072
Ehrig, Hartmut
46
1979
Fundamentals of algebraic specification 2. Module specifications and constraints. Zbl 0759.68013
Ehrig, Hartmut; Mahr, Bernd
43
1990
Parallelism and concurrency in high-level replacement systems. Zbl 0749.68045
Ehrig, Hartmut; Habel, Annegret; Kreowski, Hans-Jörg; Parisi-Presicce, Francesco
41
1991
Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986. Zbl 0636.00013
40
1987
Algebraic implementation of abstract data types. Zbl 0483.68018
Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P.
32
1982
Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5–9, 1990. Proceedings. Zbl 0753.00023
26
1991
From graph grammars to high level replacement systems. Zbl 0765.68088
Ehrig, Hartmut; Habel, Annegret; Parisi-Presicce, Francesco
24
1991
Deriving bisimulation congruences in the DPO approach to graph rewriting. Zbl 1126.68446
Ehrig, Hartmut; König, Barbara
24
2004
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
24
1983
\(\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
22
2014
Adhesive high-level replacement categories and systems. Zbl 1116.68480
Ehrig, Hartmut; Habel, Annegret; Padberg, Julia; Prange, Ulrike
21
2004
Graph-grammars and their application to computer science and biology. International workshop Bad Honnef, October 30 November 3, 1978. Zbl 0398.00019
19
1979
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. Zbl 1107.68055
Ehrig, Hartmut; König, Barbara
18
2006
Tutorial introduction to the algebraic approach of graph grammars. Zbl 0643.68102
Ehrig, Hartmut
16
1987
Pushout-properties: An analysis of gluing constructions for graphs. Zbl 0431.68069
Ehrig, Hartmut; Kreowski, Hans-Jörg
16
1979
Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Zbl 1257.68092
Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank
16
2010
Algebraic high-level net transformation systems. Zbl 0839.68068
Padberg, Julia; Ehrig, Hartmut; Ribeiro, Leila
15
1995
Termination criteria for model transformation. Zbl 1119.68344
Ehrig, Hartmut; Ehrig, Karsten; de Lara, Juan; Taentzer, Gabriele; Varró, Dániel; Varró-Gyapay, Szilvia
15
2005
Parallelism of manipulations in multidimensional information structures. Zbl 0352.68096
Ehrig, Hartmut; Kreowski, Hans-Jörg
15
1976
Parallelism and concurrency of graph manipulations. Zbl 0449.68036
Ehrig, Hartmut; Rosen, Barry K.
15
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
14
2006
Graph grammars with application conditions. Zbl 0611.68045
Ehrig, H.; Habel, A.
14
1986
Algebraic approach to graph transformation based on single pushout derivations. Zbl 0768.68069
Löwe, Michael; Ehrig, Hartmut
14
1992
\(\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
14
2012
Graph and model transformation. General framework and applications. Zbl 1341.68002
Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Hermann, Frank
14
2015
Transformations of structures: An algebraic approach. Zbl 0491.68035
Ehrig, Hartmut; Kreowski, Hans-Joerg; Maggiolo-Schettini, Andrea; Rosen, Barry K.; Winkowski, Jozef
13
1981
Compositional semantics for open Petri nets based on deterministic processes. Zbl 1089.68068
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko
13
2005
Parallel and distributed derivations in the single-pushout approach. Zbl 0787.18002
Ehrig, H.; Löwe, M.
13
1993
Efficient conflict detection in graph transformation systems by essential critical pairs. Zbl 1283.68185
Lambers, Leen; Ehrig, Hartmut; Orejas Fernando
13
2008
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
12
1991
Algebraic specifications with generating constraints. Zbl 0518.68019
Ehrig, H.; Wagner, E. G.; Thatcher, J. W.
12
1983
Constraints and application conditions: From graphs to high-level structures. Zbl 1116.68479
Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz
11
2004
Universal theory of automata. A categorical approach. Zbl 0289.94023
Ehrig, H.; Kiermeier, K.-D.; Kreowski, H.-J.; Kühnel, W.
11
1974
Theory of constraints and application conditions: from graphs to high-level structures. Zbl 1106.68054
Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz
11
2006
Algebraic specification of modules and their basic interconnections. Zbl 0619.68027
Blum, E. K.; Ehrig, H.; Parisi-Presicce, F.
11
1987
Fundamental theory for typed attributed graph transformation. Zbl 1116.68481
Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele
10
2004
A logic of graph constraints. Zbl 1171.68516
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
10
2008
Automata, languages, development. Zbl 0346.92001
10
1976
Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1342.68177
Gabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike
10
2014
Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1306.68121
Braatz, Benjamin; Ehrig, Hartmut; Gabriel, Karsten; Golas, Ulrike
10
2010
Graph rewriting with unification and composition. Zbl 0643.68103
Parisi-Presicce, Francesco; Ehrig, Hartmut; Montanari, Ugo
9
1987
Attributed graph transformation with node type inheritance. Zbl 1116.68042
de Lara, Juan; Bardohl, Roswitha; Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
9
2007
ACT ONE: an algebraic specification language with two levels of semantics. Zbl 0549.68010
Ehrig, Hartmut; Fey, Werner; Hansen, Horst
9
1983
On recent trends in algebraic specification. Zbl 0689.68013
Ehrig, H.; Pepper, P.; Orejas, F.
9
1989
Abstract and behaviour module specifications. Zbl 0923.68089
Cornelius, Felix; Baldamus, Michael; Ehrig, Hartmut; Orejas, Fernando
9
1999
High-level nets with nets and rules as tokens. Zbl 1128.68063
Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till
9
2005
Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories. Zbl 1342.68178
Golas, Ulrike; Habel, Annegret; Ehrig, Hartmut
9
2014
Conflict detection for graph transformation with negative application conditions. Zbl 1156.68431
Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando
9
2006
Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Zbl 0970.68116
Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea
8
2001
Grammars on partial graphs. Zbl 0329.68061
Schneider, H. J.; Ehrig, H.
8
1976
Adhesive high-level replacement systems: a new categorical framework for graph transformation. Zbl 1106.68056
Ehrig, Hartmut; Padberg, Julia; Prange, Ulrike; Habel, Annegret
8
2006
Termination analysis of model transformations by Petri nets. Zbl 1156.68501
Varró, Dániel; Varró-Gyapay, Szilvia; Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele
8
2006
Graph grammars and logic programming. Zbl 0765.68083
Corradini, Andrea; Montanari, Ugo; Rossi, Francesca; Ehrig, Hartmut; Löwe, Michael
7
1991
Parameter passing in algebraic specification languages. Zbl 0522.68027
Ehrig, Hartmut; Kreowski, Hans-Joerg; Thatcher, James; Wagner, Eric; Wright, Jesse
7
1984
Compositional modeling of reactive systems using open nets. Zbl 1006.68084
Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R.
7
2001
Graph grammars and Petri net transformations. Zbl 1088.68079
Ehrig, Hartmut; Padberg, Julia
7
2004
Algebraic theory of module specifications with constraints. Zbl 0602.68021
Ehrig, H.; Fey, W.; Parisi-Presicce, F.; Blum, E. K.
7
1986
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
7
1990
Algebraic implementation of abstract data types: Concept, syntax, semantics and correctness. Zbl 0457.68019
Ehrig, H.; Kreowski, H.-J.; Padawitz, P.
7
1980
Dynamic abstract data types: An informal proposal. Zbl 0810.68097
Ehrig, Hartmut; Orejas, Fernando
7
1994
Semantical correctness and completeness of model transformations using graph and rule transformation. Zbl 1175.68221
Ehrig, Hartmut; Ermel, Claudia
7
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
7
2008
Local confluence for rules with nested application conditions. Zbl 1306.68068
Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike
7
2010
Parallel independence of amalgamated graph transformations applied to model transformation. Zbl 1309.68106
Biermann, Enrico; Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Taentzer, Gabriele
7
2010
Pragmatic and semantic aspects of a module concept for graph transformation systems. Zbl 1412.68105
Ehrig, Hartmut; Engels, Gregor
7
1996
Weak adhesive high-level replacement categories and systems: a unifying framework for graph and Petri net transformations. Zbl 1133.68055
Ehrig, Hartmut; Prange, Ulrike
6
2006
Bigraphs meet double pushouts. Zbl 1169.68450
Ehrig, Hartmut
6
2002
Process definition using subobject transformation systems. Zbl 1169.68507
Hermann, Frank; Ehrig, Hartmut
6
2008
Cospan DPO approach: an alternative for DPO graph transformations. Zbl 1191.68361
Ehrig, Hartmut; Hermann, Frank; Prange, Ulrike
6
2009
Commutativity of independent transformations on complex objects. Zbl 0357.02034
Ehrig, Hartmut; Rosen, Barry K.
6
1976
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1214.68243
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
6
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
6
2007
Deriving structures from structures. Zbl 0379.68055
Ehrig, Hartmut; Kreowski, Hans-Jörg; Maggiolo-Schettini, A.; Rosen, B. K.; Winkowski, Z.
6
1978
Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems. Zbl 0456.68096
Ehrig, H.; Kreowski, H.-J.
6
1980
Categorical principles, techniques and results for high-level-replacement systems in computer science. Zbl 0784.68063
Ehrig, Hartmut; Löwe, Michael
6
1993
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
6
2004
Composition and decomposition of DPO transformations with borrowed context. Zbl 1156.68417
Baldan, Paolo; Ehrig, Hartmut; König, Barbara
6
2006
Abstract graph derivations in the double pushout approach. Zbl 1494.68104
Corradini, A.; Ehrig, H.; Löwe, M.; Montanari, U.; Rossi, F.
6
1994
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
5
2012
Horizontal and vertical structuring of typed graph transformation systems. Zbl 0866.68056
Heckel, Reiko; Corradini, Andrea; Ehrig, Hartmut; Löwe, Michael
5
1996
Parameterized data types in algebraic specification languages (short version). Zbl 0456.68101
Ehrig, Hartmut; Kreowski, Hans-Jörg; Thatcher, James; Wagner, Eric; Wright, Jesse
5
1980
Algebraic theory of parameterized specifications with requirements. Zbl 0465.68006
Ehrig, Hartmut
5
1981
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
Construction and properties of adhesive and weak adhesive high-level replacement categories. Zbl 1143.18005
Prange, Ulrike; Ehrig, Hartmut; Lambers, Leen
5
2008
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
Formal analysis of functional behaviour for model transformations based on triple graph grammars. Zbl 1306.68074
Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike
5
2010
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.
5
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.
5
1996
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
4
1988
Algebraic specification grammars: A junction between module specifications and graph grammars. Zbl 0765.68087
Ehrig, Hartmut; Parisi-Presicce, Francesco
4
1991
Transformations in reconfigurable place/transition systems. Zbl 1144.68043
Prange, Ulrike; Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia
4
2008
Parameter passing commutes with implementation of parameterized data types. Zbl 0486.68016
Ehrig, H.; Kreowski, H.-J.
4
1982
Compatibility of parameter passing and implementation of parameterized data types. Zbl 0553.68015
Ehrig, H.; Kreowski, H.-J.
4
1983
Reasoning with graph constraints. Zbl 1209.68381
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
4
2010
Algebraic high level nets. Petri nets revisited. Zbl 0941.68643
Ehrig, Hartmut; Padberg, Julia; Ribeiro, Leila
4
1994
Functorial theory of parameterized specifications in a general specification framework. Zbl 0829.68086
Ehrig, Hartmut; Große-Rhode, Martin
4
1994
Graph and model transformation. General framework and applications. Zbl 1341.68002
Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Hermann, Frank
14
2015
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
22
2014
Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1342.68177
Gabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike
10
2014
Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories. Zbl 1342.68178
Golas, Ulrike; Habel, Annegret; Ehrig, Hartmut
9
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
Formal analysis of model transformations based on triple graph grammars. Zbl 1342.68180
Hermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando
1
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
14
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
5
2012
Parallelism and concurrency of stochastic graph transformations. Zbl 1367.68137
Heckel, Reiko; Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank
1
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
16
2010
Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1306.68121
Braatz, Benjamin; Ehrig, Hartmut; Gabriel, Karsten; Golas, Ulrike
10
2010
Local confluence for rules with nested application conditions. Zbl 1306.68068
Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike
7
2010
Parallel independence of amalgamated graph transformations applied to model transformation. Zbl 1309.68106
Biermann, Enrico; Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Taentzer, Gabriele
7
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
5
2010
Reasoning with graph constraints. Zbl 1209.68381
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
4
2010
Multi-amalgamation in adhesive categories. Zbl 1306.68071
Golas, Ulrike; Ehrig, Hartmut; Habel, Annegret
4
2010
Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Zbl 1196.68007
2
2010
Consistent integration of models based on views of meta models. Zbl 1209.68081
Ehrig, Hartmut; Ehrig, Karsten; Ermel, Claudia; Prange, Ulrike
1
2010
Cospan DPO approach: an alternative for DPO graph transformations. Zbl 1191.68361
Ehrig, Hartmut; Hermann, Frank; Prange, Ulrike
6
2009
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
Efficient conflict detection in graph transformation systems by essential critical pairs. Zbl 1283.68185
Lambers, Leen; Ehrig, Hartmut; Orejas Fernando
13
2008
A logic of graph constraints. Zbl 1171.68516
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
10
2008
Semantical correctness and completeness of model transformations using graph and rule transformation. Zbl 1175.68221
Ehrig, Hartmut; Ermel, Claudia
7
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
7
2008
Process definition using subobject transformation systems. Zbl 1169.68507
Hermann, Frank; Ehrig, Hartmut
6
2008
Construction and properties of adhesive and weak adhesive high-level replacement categories. Zbl 1143.18005
Prange, Ulrike; Ehrig, Hartmut; Lambers, Leen
5
2008
Transformations in reconfigurable place/transition systems. Zbl 1144.68043
Prange, Ulrike; Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia
4
2008
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1161.68034
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
3
2008
Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Zbl 1148.68002
3
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
3
2008
Deriving bisimulation congruences in the presence of negative application conditions. Zbl 1139.68043
Rangel, Guilherme; König, Barbara; Ehrig, Hartmut
2
2008
Embedding and confluence of graph transformations with negative application conditions. Zbl 1175.68227
Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando
1
2008
Formal analysis of model transformations based on triple graph rules with kernels. Zbl 1175.68222
Ehrig, Hartmut; Prange, Ulrike
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-preserving simulation-to-animation model and rule transformations. Zbl 1283.68183
Ermel, Claudia; Ehrig, Hartmut
1
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
Attributed graph transformation with node type inheritance. Zbl 1116.68042
de Lara, Juan; Bardohl, Roswitha; Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
9
2007
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1214.68243
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
6
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
6
2007
Termination criteria for DPO transformations with injective matches. Zbl 1278.68123
Levendovszky, Tihamér; Prange, Ulrike; Ehrig, Hartmut
3
2007
Fundamentals of algebraic graph transformation. Zbl 1095.68047
Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
186
2006
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. Zbl 1107.68055
Ehrig, Hartmut; König, Barbara
18
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
14
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
11
2006
Conflict detection for graph transformation with negative application conditions. Zbl 1156.68431
Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando
9
2006
Adhesive high-level replacement systems: a new categorical framework for graph transformation. Zbl 1106.68056
Ehrig, Hartmut; Padberg, Julia; Prange, Ulrike; Habel, Annegret
8
2006
Termination analysis of model transformations by Petri nets. Zbl 1156.68501
Varró, Dániel; Varró-Gyapay, Szilvia; Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele
8
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
6
2006
Composition and decomposition of DPO transformations with borrowed context. Zbl 1156.68417
Baldan, Paolo; Ehrig, Hartmut; König, Barbara
6
2006
Petri net modules in the transformation-based component framework. Zbl 1088.68129
Padberg, Julia; Ehrig, Hartmut
3
2006
Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Zbl 1147.68003
2
2006
Categorical foundations of distributed graph transformation. Zbl 1157.68039
Ehrig, Hartmut; Orejas, Fernando; Prange, Ulrike
2
2006
Termination criteria for model transformation. Zbl 1119.68344
Ehrig, Hartmut; Ehrig, Karsten; de Lara, Juan; Taentzer, Gabriele; Varró, Dániel; Varró-Gyapay, Szilvia
15
2005
Compositional semantics for open Petri nets based on deterministic processes. Zbl 1089.68068
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko
13
2005
High-level nets with nets and rules as tokens. Zbl 1128.68063
Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till
9
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
24
2004
Adhesive high-level replacement categories and systems. Zbl 1116.68480
Ehrig, Hartmut; Habel, Annegret; Padberg, Julia; Prange, Ulrike
21
2004
Constraints and application conditions: From graphs to high-level structures. Zbl 1116.68479
Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz
11
2004
Fundamental theory for typed attributed graph transformation. Zbl 1116.68481
Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele
10
2004
Graph grammars and Petri net transformations. Zbl 1088.68079
Ehrig, Hartmut; Padberg, Julia
7
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
6
2004
Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 – October 2, 2004. Proceedings. Zbl 1056.68008
2
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.
2
2004
Attributed graphs and typing: relationship between different representations. Zbl 1169.68558
Ehrig, Hartmut
1
2004
Bigraphs meet double pushouts. Zbl 1169.68450
Ehrig, Hartmut
6
2002
Formal and natural computing. Essays dedicated to Grzegorz Rozenberg. Zbl 0989.00070
3
2002
A generic component framework for system modeling. Zbl 1059.68543
Ehrig, Hartmut; Orejas, Fernando; Braatz, Benjamin; Klein, Markus; Piirainen, Martti
2
2002
Graph transformation. 1st international conference, ICGT 2002, Barcelona, Spain, October 7–12, 2002. Proceedings. Zbl 1001.00043
2
2002
Concurrency and loose semantics of open graph transformation systems. Zbl 1009.68095
Heckel, Reiko; Llabrés, Mercé; Ehrig, Hartmut; Orejas, Fernando
1
2002
High-level net processes. Zbl 1060.68078
Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko
1
2002
Basic results for two types of high-level replacement systems. Zbl 1263.68073
Ehrig, Hartmut; Habel, Annegret; Parisi-Presicce, F.
1
2002
Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Zbl 0970.68116
Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea
8
2001
Compositional modeling of reactive systems using open nets. Zbl 1006.68084
Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R.
7
2001
Integration paradigm for data type and process specification techniques. Zbl 1049.68088
Ehrig, Hartmut; Orejas, Fernando
4
2001
Algebraic techniques in software development: A review of progress up to the mid nineties. Zbl 1049.68086
Ehrig, Hartmut; Mahr, Bernd
2
2001
Parameterized net classes: A uniform approach to Petri net classes. Zbl 1017.68078
Padberg, Julia; Ehrig, Hartmut
2
2001
Theory and practice of software development: A review of driving forces and expectations of Tapsoft from 1985 to 1997. Zbl 1049.68028
Ehrig, Hartmut; Mahr, Bernd
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
1
2001
The “Petri Net Baukasten”: An overview. Zbl 1018.68508
Gajewsky, Meike; Ehrig, Hartmut
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
1
2000
Handbook of graph grammars and computing by graph transformation. Vol. 3: Concurrency, parallelism, and distribution. Zbl 0951.68049
53
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
49
1999
Abstract and behaviour module specifications. Zbl 0923.68089
Cornelius, Felix; Baldamus, Michael; Ehrig, Hartmut; Orejas, Fernando
9
1999
Refinement and implementation. Zbl 0953.68096
Ehrig, Hartmut; Kreowski, Hans-Jörg
2
1999
Applications of category theory to the area of algebraic specification in computer science. Zbl 0892.68064
Ehrig, Hartmut; Große-Rhode, Martin; Wolter, Uwe
3
1998
Integration paradigm for data type and process specification techniques. Zbl 0901.68129
Ehrig, Hartmut; Orejas, Fernando
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
7
1996
Horizontal and vertical structuring of typed graph transformation systems. Zbl 0866.68056
Heckel, Reiko; Corradini, Andrea; Ehrig, Hartmut; Löwe, Michael
5
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.
5
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.
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
4
1996
...and 97 more Documents
all top 5

Cited by 786 Authors

62 Ehrig, Hartmut
35 Corradini, Andrea
29 Orejas, Fernando
28 Kreowski, Hans-Jörg
24 Gadducci, Fabio
22 Taentzer, Gabriele
20 Montanari, Ugo G.
19 Baldan, Paolo
19 König, Barbara
18 Bonchi, Filippo
18 Rozenberg, Grzegorz
17 Ribeiro, Leila
15 Giese, Holger
15 Habel, Annegret
15 Lambers, Leen
15 Parisi-Presicce, Francesco
14 Lowe, Michael J. S.
14 Tarlecki, Andrzej
13 Heckel, Reiko
12 Hennicker, Rolf
12 Kuske, Sabine
12 Plump, Detlef
12 Prange, Ulrike
11 Behr, Nicolas
11 Sobociński, Paweł
10 Bidoit, Michel
10 de Lara, Juan
10 Hoffmann, Berthold
10 Sannella, Donald T.
9 Drewes, Frank
9 Echahed, Rachid
9 König, Harald
9 Kosiol, Jens
9 Rossi, Francesca
9 Schneider, Sven
9 Schürr, Andy
9 Wolter, Uwe E.
8 Engelfriet, Joost
8 Golas, Ulrike
8 Guerra, Esther
8 Heindel, Tobias
8 Maximova, Maria
8 Meseguer Guaita, José
8 Monreale, Giacoma Valentina
8 Padberg, Julia
8 Rutle, Adrian
7 Bauderon, Michel
7 Lye, Aaron
7 Minas, Mark
7 Wirsing, Martin
6 Bernot, Gilles
6 Bruni, Roberto
6 Duval, Dominique
6 Engels, Gregor
6 Janssens, Dirk
6 Kahl, Wolfram
6 Navarro, Marisa
6 Oriat, Catherine
6 Padawitz, Peter
5 Barkowsky, Matthias
5 Courcelle, Bruno
5 Endrullis, Jörg
5 Ermel, Claudia
5 Fiadeiro, José Luiz
5 Hermann, Frank
5 Kissinger, Aleks
5 Koch, Manuel
5 Meinke, Karl
5 Mosbah, Mohamed
5 Mossakowski, Till
5 Pino, Elvira
5 Prost, Frédéric
5 Rosselló, Francesc
5 Tucker, John V.
5 Wagner, Eric G.
4 Arrighi, Pablo
4 Bergstra, Jan A.
4 Boy de la Tour, Thierry
4 Bruggink, H. J. Sander
4 Capra, Lorenzo
4 Choppy, Christine
4 Dotti, Fernando Luís
4 Durán, Francisco
4 Foss, Luciana
4 Goguen, Joseph Amadee
4 Große-Rhode, Martin
4 Köhler-Bußmeier, Michael
4 Krivine, Jean
4 Lamo, Yngve
4 Mahr, Bernd
4 Mancini, Luigi Vincenzo
4 Mizoguchi, Yoshihiro
4 Nolte, Dennis
4 Overbeek, Roy
4 Pennemann, Karl-Heinz
4 Saadat, Maryam Ghaffari
4 Stünkel, Patrick
4 Wanke, Egon
4 Zanasi, Fabio
3 Adámek, Jiří
...and 686 more Authors
all top 5

Cited in 74 Serials

137 Theoretical Computer Science
39 Journal of Logical and Algebraic Methods in Programming
34 Formal Aspects of Computing
29 Journal of Computer and System Sciences
23 Acta Informatica
23 MSCS. Mathematical Structures in Computer Science
19 Information and Computation
14 The Journal of Logic and Algebraic Programming
11 Information Processing Letters
11 Journal of Symbolic Computation
7 Information Sciences
7 Applied Categorical Structures
6 Diagrammes
5 Science of Computer Programming
5 Annals of Mathematics and Artificial Intelligence
4 Discrete Applied Mathematics
4 Computing
4 Mathematical Systems Theory
4 Logical Methods in Computer Science
3 Cahiers de Topologie et Géométrie Différentielle Catégoriques
3 International Journal of Computer Mathematics
3 RAIRO. Informatique Théorique et Applications
3 Journal of Automata, Languages and Combinatorics
3 Journal of Algebra and its Applications
2 Artificial Intelligence
2 Computers & Mathematics with Applications
2 Algebra Universalis
2 Journal of Pure and Applied Algebra
2 RAIRO, Informatique Théorique
2 Journal of Computer Science and Technology
2 Journal of Functional Programming
2 Theory and Practice of Logic Programming
2 Natural Computing
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 Annals of Pure and Applied Logic
1 New Generation Computing
1 Journal of Automated Reasoning
1 Forum Mathematicum
1 Discrete Event Dynamic Systems
1 Automation and Remote Control
1 Distributed Computing
1 Applicable Algebra in Engineering, Communication and Computing
1 Cybernetics and Systems Analysis
1 Journal of Algebraic Combinatorics
1 Formal Methods in System Design
1 Journal of Applied Non-Classical Logics
1 The Electronic Journal of Combinatorics
1 Theory and Applications of Categories
1 ACM Transactions on Modeling and Computer Simulation
1 Mathematical Problems in Engineering
1 Journal of the ACM
1 RAIRO. Theoretical Informatics and Applications
1 Algebraic & Geometric Topology
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