Edit Profile (opens in new tab) Ehrig, Hartmut (b. 1944 d. 2016) Co-Author Distance Author ID: ehrig.hartmut Published as: Ehrig, Hartmut; Ehrig, H.; Ehrig, K. more...less 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 all top 5 Serials 23 Lecture Notes in Computer Science 19 Bulletin of the European Association for Theoretical Computer Science (EATCS) 15 MSCS. Mathematical Structures in Computer Science 14 Theoretical Computer Science 12 Bulletin of the European Association for Theoretical Computer Science EATCS 7 Fundamenta Informaticae 5 Applied Categorical Structures 4 Journal of Computer and System Sciences 3 Mathematische Nachrichten 3 Electronic Notes in Theoretical Computer Science 2 Annales Societatis Mathematicae Polonae. Series IV 2 Formal Aspects of Computing 2 Monographs in Theoretical Computer Science. An EATCS Series 2 EATCS Monographs on Theoretical Computer Science 1 Acta Informatica 1 Computers & Mathematics with Applications 1 Kybernetika 1 Mathematical Systems Theory 1 RAIRO, Informatique Théorique 1 SIAM Journal on Computing 1 Science of Computer Programming 1 Journal of Symbolic Computation 1 Journal of Information Processing and Cybernetics 1 Revista Matemática de la Universidad Complutense de Madrid 1 IEEE Transactions on Software Engineering 1 Information Systems 1 Systems Analysis, Modelling Simulation 1 International Journal of Differential Equations and Applications 1 The Journal of Logic and Algebraic Programming 1 Applied Computer Science. Berichte zur Praktischen Informatik 1 AMAST Series in Computing 1 Logical Methods in Computer Science 1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge 1 Computability all top 5 Fields 286 Computer science (68-XX) 57 Category theory; homological algebra (18-XX) 34 General and overarching topics; collections (00-XX) 10 Combinatorics (05-XX) 8 Mathematical logic and foundations (03-XX) 5 General algebraic systems (08-XX) 3 Biology and other natural sciences (92-XX) 3 Systems theory; control (93-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 24 Fields 770 Computer science (68-XX) 121 Category theory; homological algebra (18-XX) 65 Mathematical logic and foundations (03-XX) 36 Combinatorics (05-XX) 27 General algebraic systems (08-XX) 8 Operations research, mathematical programming (90-XX) 7 Systems theory; control (93-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 6 Group theory and generalizations (20-XX) 6 Biology and other natural sciences (92-XX) 5 Quantum theory (81-XX) 4 General topology (54-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 History and biography (01-XX) 2 Associative rings and algebras (16-XX) 2 Probability theory and stochastic processes (60-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Nonassociative rings and algebras (17-XX) 1 Functional analysis (46-XX) 1 Convex and discrete geometry (52-XX) 1 Manifolds and cell complexes (57-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year