Edit Profile (opens in new tab) Ehrig, Hartmut Compute Distance To: Compute 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: 247 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 263 Joint Publications 1,601 Co-Co-Authors all top 5 Co-Authors 19 single-authored 49 Kreowski, Hans-Jörg 36 Orejas, Fernando 25 Padberg, Julia 24 Prange, Ulrike 23 Rozenberg, Grzegorz 17 Habel, Annegret 16 Lowe, Michael J. S. 16 Taentzer, Gabriele 15 Corradini, Andrea 15 Golas, Ulrike 14 Ermel, Claudia 13 Mahr, Bernd 12 Heckel, Reiko 11 Lambers, Leen 11 Rosen, Barry K. 9 Fey, Werner 9 Große-Rhode, Martin 9 Hermann, Frank 8 Baldan, Paolo 8 Engels, Gregor 8 König, Barbara 8 Montanari, Ugo G. 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 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 Floyd, Christiane 3 Gabriel, Karsten 3 Hummert, Udo 3 Jacobs, Dean 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 Geisler, Robert 2 Hüffner, Falk 2 Karhumaki, Juhani 2 Klar, Marcus 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 Rossi, Francesca 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. 1 Chazelle, Bernard ...and 126 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 279 Computer science (68-XX) 54 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 186 Publications have been cited 1,157 times in 558 Documents Cited by ▼ Year ▼ Fundamentals of algebraic specification 1. Equations and initial semantics. Zbl 0557.68013Ehrig, H.; Mahr, B. 166 1985 Fundamentals of algebraic graph transformation. Zbl 1095.68047Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele 112 2006 Fundamentals of algebraic specification 2. Module specifications and constraints. Zbl 0759.68013Ehrig, Hartmut; Mahr, Bernd 34 1990 Algebraic implementation of abstract data types. Zbl 0483.68018Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P. 31 1982 Introduction to the algebraic theory of graph grammars (a survey). Zbl 0407.68072Ehrig, Hartmut 27 1979 Parallelism and concurrency in high-level replacement systems. Zbl 0749.68045Ehrig, Hartmut; Habel, Annegret; Kreowski, Hans-Jörg; Parisi-Presicce, Francesco 26 1991 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 16 1999 Handbook of graph grammars and computing by graph transformation. Vol. 3: Concurrency, parallelism, and distribution. Zbl 0951.68049 15 1999 Deriving bisimulation congruences in the DPO approach to graph rewriting. Zbl 1126.68446Ehrig, Hartmut; König, Barbara 15 2004 Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986. Zbl 0636.00013 14 1987 From graph grammars to high level replacement systems. Zbl 0765.68088Ehrig, Hartmut; Habel, Annegret; Parisi-Presicce, Francesco 14 1991 \(\mathcal{M}\)-adhesive transformation systems with nested application conditions. I: Parallelism, concurrency and amalgamation. Zbl 1342.68176Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando 14 2014 Pushout-properties: An analysis of gluing constructions for graphs. Zbl 0431.68069Ehrig, Hartmut; Kreowski, Hans-Jörg 14 1979 Adhesive high-level replacement categories and systems. Zbl 1116.68480Ehrig, Hartmut; Habel, Annegret; Padberg, Julia; Prange, Ulrike 13 2004 Compositional semantics for open Petri nets based on deterministic processes. Zbl 1089.68068Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko 12 2005 Parallel and distributed derivations in the single-pushout approach. Zbl 0787.18002Ehrig, H.; Löwe, M. 11 1993 Termination criteria for model transformation. Zbl 1119.68344Ehrig, Hartmut; Ehrig, Karsten; de Lara, Juan; Taentzer, Gabriele; Varró, Dániel; Varró-Gyapay, Szilvia 11 2005 Parallelism and concurrency of graph manipulations. Zbl 0449.68036Ehrig, Hartmut; Rosen, Barry K. 11 1980 Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. Zbl 1107.68055Ehrig, Hartmut; König, Barbara 11 2006 Algebraic specifications with generating constraints. Zbl 0518.68019Ehrig, H.; Wagner, E. G.; Thatcher, J. W. 11 1983 Algebraic high-level net transformation systems. Zbl 0839.68068Padberg, Julia; Ehrig, Hartmut; Ribeiro, Leila 10 1995 Algebraic specification of modules and their basic interconnections. Zbl 0619.68027Blum, E. K.; Ehrig, H.; Parisi-Presicce, F. 10 1987 Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1306.68121Braatz, Benjamin; Ehrig, Hartmut; Gabriel, Karsten; Golas, Ulrike 10 2010 Transformations of structures: An algebraic approach. Zbl 0491.68035Ehrig, Hartmut; Kreowski, Hans-Joerg; Maggiolo-Schettini, Andrea; Rosen, Barry K.; Winkowski, Jozef 10 1981 Universal theory of automata. A categorical approach. Zbl 0289.94023Ehrig, H.; Kiermeier, K.-D.; Kreowski, H.-J.; Kühnel, W. 10 1974 Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Zbl 1257.68092Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank 10 2010 Graph grammars with application conditions. Zbl 0611.68045Ehrig, H.; Habel, A. 9 1986 Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts. Zbl 0765.68089Ehrig, Hartmut; Korff, Martin; Löwe, Michael 9 1991 Efficient conflict detection in graph transformation systems by essential critical pairs. Zbl 1283.68185Lambers, Leen; Ehrig, Hartmut; Orejas Fernando 9 2008 Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories. Zbl 1106.68055Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele 9 2006 Graph and model transformation. General framework and applications. Zbl 1341.68002Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Hermann, Frank 8 2015 Tutorial introduction to the algebraic approach of graph grammars. Zbl 0643.68102Ehrig, Hartmut 8 1987 Algebraic approach to graph transformation based on single pushout derivations. Zbl 0768.68069Löwe, Michael; Ehrig, Hartmut 8 1992 \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence. Zbl 1242.68128Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando 8 2012 Fundamental theory for typed attributed graph transformation. Zbl 1116.68481Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele 8 2004 Grammars on partial graphs. Zbl 0329.68061Schneider, H. J.; Ehrig, H. 8 1976 Graph-grammars and their application to computer science and biology. International workshop Bad Honnef, October 30 November 3, 1978. Zbl 0398.00019 8 1979 Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Zbl 0970.68116Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea 7 2001 Abstract and behaviour module specifications. Zbl 0923.68089Cornelius, Felix; Baldamus, Michael; Ehrig, Hartmut; Orejas, Fernando 7 1999 Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5-9, 1990. Proceedings. Zbl 0753.00023 7 1991 Attributed graph transformation with node type inheritance. Zbl 1116.68042de Lara, Juan; Bardohl, Roswitha; Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele 7 2007 Parallelism of manipulations in multidimensional information structures. Zbl 0352.68096Ehrig, Hartmut; Kreowski, Hans-Jörg 7 1976 ACT ONE: an algebraic specification language with two levels of semantics. Zbl 0549.68010Ehrig, Hartmut; Fey, Werner; Hansen, Horst 7 1983 Graph rewriting with unification and composition. Zbl 0643.68103Parisi-Presicce, Francesco; Ehrig, Hartmut; Montanari, Ugo 6 1987 Combining data type and recursive process specifications using projection algebras. Zbl 0695.68015Ehrig, Hartmut; Parisi-Presicce, Francesco; Boehm, Paul; Rieckhoff, Catharina; Dimitrovici, Cristian; Grosse-Rhode, Martin 6 1990 Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1342.68177Gabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike 6 2014 Algebraic implementation of abstract data types: Concept, syntax, semantics and correctness. Zbl 0457.68019Ehrig, H.; Kreowski, H.-J.; Padawitz, P. 6 1980 A logic of graph constraints. Zbl 1171.68516Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike 6 2008 Theory of constraints and application conditions: from graphs to high-level structures. Zbl 1106.68054Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz 6 2006 Constraints and application conditions: From graphs to high-level structures. Zbl 1116.68479Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz 6 2004 Commutativity of independent transformations on complex objects. Zbl 0357.02034Ehrig, Hartmut; Rosen, Barry K. 6 1976 Parameter passing in algebraic specification languages. Zbl 0522.68027Ehrig, Hartmut; Kreowski, Hans-Joerg; Thatcher, James; Wagner, Eric; Wright, Jesse 6 1984 Semantical correctness and completeness of model transformations using graph and rule transformation. Zbl 1175.68221Ehrig, Hartmut; Ermel, Claudia 6 2008 Conflict detection for graph transformation with negative application conditions. Zbl 1156.68431Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando 6 2006 Termination analysis of model transformations by Petri nets. Zbl 1156.68501Varró, Dániel; Varró-Gyapay, Szilvia; Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele 6 2006 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 6 1983 Compositional modeling of reactive systems using open nets. Zbl 1006.68084Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R. 5 2001 Dynamic abstract data types: An informal proposal. Zbl 0810.68097Ehrig, Hartmut; Orejas, Fernando 5 1994 Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories. Zbl 1342.68178Golas, Ulrike; Habel, Annegret; Ehrig, Hartmut 5 2014 Bigraphs meet double pushouts. Zbl 1169.68450Ehrig, Hartmut 5 2002 Local confluence for rules with nested application conditions. Zbl 1306.68068Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike 5 2010 Parallel independence of amalgamated graph transformations applied to model transformation. Zbl 1309.68106Biermann, Enrico; Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Taentzer, Gabriele 5 2010 Parameterized data types in algebraic specification languages (short version). Zbl 0456.68101Ehrig, Hartmut; Kreowski, Hans-Jörg; Thatcher, James; Wagner, Eric; Wright, Jesse 5 1980 Correctness, completeness and termination of pattern-based model-to-model transformation. Zbl 1239.68026Orejas, Fernando; Guerra, Esther; de Lara, Juan; Ehrig, Hartmut 5 2009 Graph grammars and Petri net transformations. Zbl 1088.68079Ehrig, Hartmut; Padberg, Julia 5 2004 Adhesive high-level replacement systems: a new categorical framework for graph transformation. Zbl 1106.68056Ehrig, Hartmut; Padberg, Julia; Prange, Ulrike; Habel, Annegret 5 2006 On recent trends in algebraic specification. Zbl 0689.68013Ehrig, H.; Pepper, P.; Orejas, F. 5 1989 Horizontal and vertical structuring of typed graph transformation systems. Zbl 0866.68056Heckel, Reiko; Corradini, Andrea; Ehrig, Hartmut; Löwe, Michael 5 1996 Algebraic theory of module specifications with constraints. Zbl 0602.68021Ehrig, H.; Fey, W.; Parisi-Presicce, F.; Blum, E. K. 5 1986 Integrating meta-modelling aspects with graph transformation for efficient visual language definition and model manipulation. Zbl 1129.68420Bardohl, Roswitha; Ehrig, Hartmut; de Lara, Juan; Taentzer, Gabriele 5 2004 Composition and decomposition of DPO transformations with borrowed context. Zbl 1156.68417Baldan, Paolo; Ehrig, Hartmut; König, Barbara 5 2006 Pragmatic and semantic aspects of a module concept for graph transformation systems. Zbl 1412.68105Ehrig, Hartmut; Engels, Gregor 5 1996 Categorical principles, techniques and results for high-level-replacement systems in computer science. Zbl 0784.68063Ehrig, Hartmut; Löwe, Michael 4 1993 Rule-based modeling and static analysis of self-adaptive systems by graph transformation. Zbl 1398.68092Bucchiarone, Antonio; Ehrig, Hartmut; Ermel, Claudia; Pelliccione, Patrizio; Runge, Olga 4 2015 Cospan DPO approach: an alternative for DPO graph transformations. Zbl 1191.68361Ehrig, Hartmut; Hermann, Frank; Prange, Ulrike 4 2009 Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems. Zbl 0456.68096Ehrig, H.; Kreowski, H.-J. 4 1980 Complexity of algebraic implementations for abstract data types. Zbl 0474.68021Ehrig, Hartmut; Mahr, Bernd 4 1981 Parameter passing commutes with implementation of parameterized data types. Zbl 0486.68016Ehrig, H.; Kreowski, H.-J. 4 1982 Construction and properties of adhesive and weak adhesive high-level replacement categories. Zbl 1143.18005Prange, Ulrike; Ehrig, Hartmut; Lambers, Leen 4 2008 Reasoning with graph constraints. Zbl 1209.68381Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike 4 2010 High-level nets with nets and rules as tokens. Zbl 1128.68063Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till 4 2005 Weak adhesive high-level replacement categories and systems: a unifying framework for graph and Petri net transformations. Zbl 1133.68055Ehrig, Hartmut; Prange, Ulrike 4 2006 Compatibility of parameter passing and implementation of parameterized data types. Zbl 0553.68015Ehrig, H.; Kreowski, H.-J. 4 1983 Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1214.68243Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara 4 2007 Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs. Zbl 1284.68324Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando 4 2012 Amalgamation and extension in the framework of specification logics and generalized morphisms. Zbl 0744.68099Ehrig, Hartmut; Baldamus, Michael; Orejas, Fernando 3 1991 Graph grammars and their application to computer science. 5th international workshop, Williamsburg, VA, USA, November 13–18, 1994. Selected papers. Zbl 0847.00026 3 1996 Concurrent transformations of relational structures. Zbl 0592.68023Ehrig, Hartmut; Habel, Annegret; Rosen, Barry K. 3 1986 Institutions for logic programming. Zbl 0901.68027Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut 3 1997 Kategorien und Automaten. (Categories and automata). Zbl 0231.94040Ehrig, Hartmut; Pfender, Michael 3 1972 Algebraic data type and process specifications based on projection spaces. Zbl 0661.68017Ehrig, Hartmut; Parisi-Presicce, Franceso; Boehm, Paul; Rieckhoff, Catharina; Dimitrovici, Cristian; Große-Rhode, Martin 3 1988 Programming in the large with algebraic module specifications. Zbl 0606.68009Ehrig, H.; Weber, H. 3 1986 Distributed parallelism of graph transformations. Zbl 0651.68097Ehrig, Hartmut; Boehm, Paul; Hummert, Udo; Löwe, Michael 3 1988 Graph grammars and logic programming. Zbl 0765.68083Corradini, Andrea; Montanari, Ugo; Rossi, Francesca; Ehrig, Hartmut; Löwe, Michael 3 1991 Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions. Zbl 1342.68179Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut 3 2014 Formal analysis of functional behaviour for model transformations based on triple graph grammars. Zbl 1306.68074Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike 3 2010 Multi-amalgamation in adhesive categories. Zbl 1306.68071Golas, Ulrike; Ehrig, Hartmut; Habel, Annegret 3 2010 Algebraic implementation of abstract data types: concept, syntax, semantics and correctness. Zbl 0412.68018Ehrig, H.; Kreowski, H.-J.; Padawitz, P. 3 1979 The mathematics of record handling. Zbl 0455.68021Ehrig, Hartmut; Rosen, Barry K. 3 1980 Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions. Zbl 1277.68194Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando 3 2008 Graph and model transformation. General framework and applications. Zbl 1341.68002Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Hermann, Frank 8 2015 Rule-based modeling and static analysis of self-adaptive systems by graph transformation. Zbl 1398.68092Bucchiarone, Antonio; Ehrig, Hartmut; Ermel, Claudia; Pelliccione, Patrizio; Runge, Olga 4 2015 \(\mathcal{M}\)-adhesive transformation systems with nested application conditions. I: Parallelism, concurrency and amalgamation. Zbl 1342.68176Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando 14 2014 Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1342.68177Gabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike 6 2014 Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories. Zbl 1342.68178Golas, Ulrike; Habel, Annegret; Ehrig, Hartmut 5 2014 Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions. Zbl 1342.68179Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut 3 2014 Confluence in data reduction: bridging graph transformation and kernelization. Zbl 1311.68184Ehrig, 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.68128Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando 8 2012 Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs. Zbl 1284.68324Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando 4 2012 Parallelism and concurrency of stochastic graph transformations. Zbl 1367.68137Heckel, 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.68134Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Giese, Holger 1 2012 Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1306.68121Braatz, Benjamin; Ehrig, Hartmut; Gabriel, Karsten; Golas, Ulrike 10 2010 Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Zbl 1257.68092Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank 10 2010 Local confluence for rules with nested application conditions. Zbl 1306.68068Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike 5 2010 Parallel independence of amalgamated graph transformations applied to model transformation. Zbl 1309.68106Biermann, Enrico; Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Taentzer, Gabriele 5 2010 Reasoning with graph constraints. Zbl 1209.68381Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike 4 2010 Formal analysis of functional behaviour for model transformations based on triple graph grammars. Zbl 1306.68074Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike 3 2010 Multi-amalgamation in adhesive categories. Zbl 1306.68071Golas, Ulrike; Ehrig, Hartmut; Habel, Annegret 3 2010 Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Zbl 1196.68007 1 2010 Consistent integration of models based on views of meta models. Zbl 1209.68081Ehrig, Hartmut; Ehrig, Karsten; Ermel, Claudia; Prange, Ulrike 1 2010 Correctness, completeness and termination of pattern-based model-to-model transformation. Zbl 1239.68026Orejas, Fernando; Guerra, Esther; de Lara, Juan; Ehrig, Hartmut 5 2009 Cospan DPO approach: an alternative for DPO graph transformations. Zbl 1191.68361Ehrig, Hartmut; Hermann, Frank; Prange, Ulrike 4 2009 Efficient conflict detection in graph transformation systems by essential critical pairs. Zbl 1283.68185Lambers, Leen; Ehrig, Hartmut; Orejas Fernando 9 2008 A logic of graph constraints. Zbl 1171.68516Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike 6 2008 Semantical correctness and completeness of model transformations using graph and rule transformation. Zbl 1175.68221Ehrig, Hartmut; Ermel, Claudia 6 2008 Construction and properties of adhesive and weak adhesive high-level replacement categories. Zbl 1143.18005Prange, Ulrike; Ehrig, Hartmut; Lambers, Leen 4 2008 Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions. Zbl 1277.68194Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando 3 2008 Process definition using subobject transformation systems. Zbl 1169.68507Hermann, Frank; Ehrig, Hartmut 2 2008 Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1161.68034Baldan, 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 2 2008 Behavior preservation in model refactoring using DPO transformations with borrowed contexts. Zbl 1175.68231Rangel, Guilherme; Lambers, Leen; König, Barbara; Ehrig, Hartmut; Baldan, Paolo 2 2008 A typed attributed graph grammar with inheritance for the abstract syntax of UML class and sequence diagrams. Zbl 1283.68206Hermann, Frank; Ehrig, Hartmut; Taentzer, Gabriele 1 2008 Transformations in reconfigurable place/transition systems. Zbl 1144.68043Prange, Ulrike; Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia 1 2008 Embedding and confluence of graph transformations with negative application conditions. Zbl 1175.68227Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando 1 2008 Formal analysis of model transformations based on triple graph rules with kernels. Zbl 1175.68222Ehrig, Hartmut; Prange, Ulrike 1 2008 Open Petri nets: Non-deterministic processes and compositionality. Zbl 1175.68269Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; König, Barbara 1 2008 Attributed graph transformation with node type inheritance. Zbl 1116.68042de 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.68243Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara 4 2007 Termination criteria for DPO transformations with injective matches. Zbl 1278.68123Levendovszky, Tihamér; Prange, Ulrike; Ehrig, Hartmut 2 2007 Independence of net transformations and token firing in reconfigurable place/transition systems. Zbl 1226.68052Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Prange, Ulrike; Ermel, Claudia 2 2007 Fundamentals of algebraic graph transformation. Zbl 1095.68047Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele 112 2006 Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. Zbl 1107.68055Ehrig, Hartmut; König, Barbara 11 2006 Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories. Zbl 1106.68055Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele 9 2006 Theory of constraints and application conditions: from graphs to high-level structures. Zbl 1106.68054Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz 6 2006 Conflict detection for graph transformation with negative application conditions. Zbl 1156.68431Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando 6 2006 Termination analysis of model transformations by Petri nets. Zbl 1156.68501Varró, Dániel; Varró-Gyapay, Szilvia; Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele 6 2006 Adhesive high-level replacement systems: a new categorical framework for graph transformation. Zbl 1106.68056Ehrig, Hartmut; Padberg, Julia; Prange, Ulrike; Habel, Annegret 5 2006 Composition and decomposition of DPO transformations with borrowed context. Zbl 1156.68417Baldan, Paolo; Ehrig, Hartmut; König, Barbara 5 2006 Weak adhesive high-level replacement categories and systems: a unifying framework for graph and Petri net transformations. Zbl 1133.68055Ehrig, Hartmut; Prange, Ulrike 4 2006 Petri net modules in the transformation-based component framework. Zbl 1088.68129Padberg, Julia; Ehrig, Hartmut 2 2006 Categorical foundations of distributed graph transformation. Zbl 1157.68039Ehrig, Hartmut; Orejas, Fernando; Prange, Ulrike 2 2006 Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Zbl 1147.68003 1 2006 Compositional semantics for open Petri nets based on deterministic processes. Zbl 1089.68068Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko 12 2005 Termination criteria for model transformation. Zbl 1119.68344Ehrig, Hartmut; Ehrig, Karsten; de Lara, Juan; Taentzer, Gabriele; Varró, Dániel; Varró-Gyapay, Szilvia 11 2005 High-level nets with nets and rules as tokens. Zbl 1128.68063Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till 4 2005 Behaviour and instantiation of high-level Petri net processes. Zbl 1096.68105Ehrig, Hartmut 1 2005 Deriving bisimulation congruences in the DPO approach to graph rewriting. Zbl 1126.68446Ehrig, Hartmut; König, Barbara 15 2004 Adhesive high-level replacement categories and systems. Zbl 1116.68480Ehrig, Hartmut; Habel, Annegret; Padberg, Julia; Prange, Ulrike 13 2004 Fundamental theory for typed attributed graph transformation. Zbl 1116.68481Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele 8 2004 Constraints and application conditions: From graphs to high-level structures. Zbl 1116.68479Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz 6 2004 Graph grammars and Petri net transformations. Zbl 1088.68079Ehrig, Hartmut; Padberg, Julia 5 2004 Integrating meta-modelling aspects with graph transformation for efficient visual language definition and model manipulation. Zbl 1129.68420Bardohl, Roswitha; Ehrig, Hartmut; de Lara, Juan; Taentzer, Gabriele 5 2004 Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 – October 2, 2004. Proceedings. Zbl 1056.68008 1 2004 Attributed graphs and typing: relationship between different representations. Zbl 1169.68558Ehrig, Hartmut 1 2004 Parallel graph transformation for model simulation applied to timed transition Petri nets. Zbl 1271.68118De Lara, J.; Ermel, C.; Taentzer, G.; Ehrig, K. 1 2004 Bigraphs meet double pushouts. Zbl 1169.68450Ehrig, Hartmut 5 2002 A generic component framework for system modeling. Zbl 1059.68543Ehrig, 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 1 2002 Concurrency and loose semantics of open graph transformation systems. Zbl 1009.68095Heckel, Reiko; Llabrés, Mercé; Ehrig, Hartmut; Orejas, Fernando 1 2002 Formal and natural computing. Essays dedicated to Grzegorz Rozenberg. Zbl 0989.00070 1 2002 High-level net processes. Zbl 1060.68078Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko 1 2002 Basic results for two types of high-level replacement systems. Zbl 1263.68073Ehrig, Hartmut; Habel, Annegret; Parisi-Presicce, F. 1 2002 Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Zbl 0970.68116Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea 7 2001 Compositional modeling of reactive systems using open nets. Zbl 1006.68084Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R. 5 2001 Parameterized net classes: A uniform approach to Petri net classes. Zbl 1017.68078Padberg, Julia; Ehrig, Hartmut 2 2001 Algebraic techniques in software development: A review of progress up to the mid nineties. Zbl 1049.68086Ehrig, Hartmut; Mahr, Bernd 2 2001 Integration paradigm for data type and process specification techniques. Zbl 1049.68088Ehrig, Hartmut; Orejas, Fernando 2 2001 The “Petri Net Baukasten”: An overview. Zbl 1018.68508Gajewsky, Meike; Ehrig, Hartmut 1 2001 From basic views and aspects to integration of specification formalisms. Zbl 1049.68089Ehrig, Hartmut; Padberg, Julia; Orejas, Fernando 1 2001 Unifying Petri nets. Advances in Petri nets. Zbl 0978.00023 1 2001 Double-pullback graph transitions: A rule-based framework with incomplete information. Zbl 0958.68123Ehrig, 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 2: Applications, languages and tools. With 1 CD-ROM (Windows, Linux and Solaris). Zbl 0998.68001 16 1999 Handbook of graph grammars and computing by graph transformation. Vol. 3: Concurrency, parallelism, and distribution. Zbl 0951.68049 15 1999 Abstract and behaviour module specifications. Zbl 0923.68089Cornelius, Felix; Baldamus, Michael; Ehrig, Hartmut; Orejas, Fernando 7 1999 Refinement and implementation. Zbl 0953.68096Ehrig, Hartmut; Kreowski, Hans-Jörg 1 1999 Applications of category theory to the area of algebraic specification in computer science. Zbl 0892.68064Ehrig, Hartmut; Große-Rhode, Martin; Wolter, Uwe 2 1998 Integration paradigm for data type and process specification techniques. Zbl 0901.68129Ehrig, Hartmut; Orejas, Fernando 2 1998 From abstract data types to algebraic development techniques: A shift of paradigms. Zbl 0901.68128Ehrig, H.; Gajewsky, M.; Wolter, U. 1 1998 Institutions for logic programming. Zbl 0901.68027Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut 3 1997 Integrating the specification techniques of graph transformation and temporal logic. Zbl 0951.68055Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea 1 1997 Horizontal and vertical structuring of typed graph transformation systems. Zbl 0866.68056Heckel, Reiko; Corradini, Andrea; Ehrig, Hartmut; Löwe, Michael 5 1996 Pragmatic and semantic aspects of a module concept for graph transformation systems. Zbl 1412.68105Ehrig, 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 3 1996 The category of typed graph grammars and its adjunctions with categories of derivations. Zbl 1412.68099Corradini, A.; Ehrig, H.; Löwe, M.; Montanari, U.; Padberg, J. 3 1996 An event structure semantics for graph grammars with parallel productions. Zbl 1412.68100Corradini, A.; Ehrig, H.; Löwe, M.; Montanari, U.; Rossi, F. 2 1996 Algebraic high-level net transformation systems. Zbl 0839.68068Padberg, Julia; Ehrig, Hartmut; Ribeiro, Leila 10 1995 Introduction to COMPUGRAPH. Zbl 0910.68111Ehrig, Hartmut 1 1995 Dynamic abstract data types: An informal proposal. Zbl 0810.68097Ehrig, Hartmut; Orejas, Fernando 5 1994 Algebraic high level nets. Petri nets revisited. Zbl 0941.68643Ehrig, Hartmut; Padberg, Julia; Ribeiro, Leila 2 1994 ...and 86 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 642 Authors 46 Ehrig, Hartmut 25 Corradini, Andrea 20 Orejas, Fernando 19 Kreowski, Hans-Jörg 15 Gadducci, Fabio 15 Montanari, Ugo G. 14 Bonchi, Filippo 14 Parisi-Presicce, Francesco 14 Ribeiro, Leila 13 Tarlecki, Andrzej 12 Taentzer, Gabriele 11 Baldan, Paolo 11 Lambers, Leen 10 Habel, Annegret 10 König, Barbara 10 Rozenberg, Grzegorz 9 Heckel, Reiko 9 Lowe, Michael J. S. 9 Sannella, Donald T. 8 Behr, Nicolas 8 Hennicker, Rolf 8 Meseguer Guaita, José 8 Sobociński, Paweł 7 Bidoit, Michel 7 de Lara, Juan 7 Golas, Ulrike 7 König, Harald 7 Kuske, Sabine 7 Monreale, Giacoma Valentina 7 Prange, Ulrike 7 Wolter, Uwe E. 6 Bruni, Roberto 6 Heindel, Tobias 6 Plump, Detlef 6 Wirsing, Martin 5 Bernot, Gilles 5 Duval, Dominique 5 Echahed, Rachid 5 Engels, Gregor 5 Ermel, Claudia 5 Fiadeiro, José Luiz 5 Giese, Holger 5 Guerra, Esther 5 Janssens, Dirk 5 Kahl, Wolfram 5 Lye, Aaron 5 Navarro, Marisa 5 Padawitz, Peter 5 Padberg, Julia 5 Rosselló, Francesc 5 Rossi, Francesca 5 Rutle, Adrian 4 Bauderon, Michel 4 Boy de la Tour, Thierry 4 Courcelle, Bruno 4 Drewes, Frank 4 Foss, Luciana 4 Goguen, Joseph Amadee 4 Hermann, Frank 4 Hoffmann, Berthold 4 Koch, Manuel 4 Kosiol, Jens 4 Mancini, Luigi Vincenzo 4 Mossakowski, Till 4 Oriat, C. 4 Prost, Frédéric 4 Schürr, Andy 4 Wagner, Eric G. 3 Adámek, Jiří 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 Ehrig, Karsten 3 Engelfriet, Joost 3 Große-Rhode, Martin 3 Hosseini, Seyed Naser 3 Klempien-Hinrichs, Renate 3 Lamo, Yngve 3 Maximova, Maria 3 Meinke, Karl 3 Melgratti, Hernán 3 Milner, Robin 3 Mizoguchi, Yoshihiro 3 Pino, Elvira 3 Rensink, Arend 3 Rossini, Alessandro 3 Saadat, Maryam Ghaffari 3 Schneider, Sven 3 Skeirik, Stephen 3 Staples, John 3 Tucker, John V. 3 Valiente, Gabriel 2 Arbab, Farhad 2 Arendt, Thorsten 2 Arrighi, Pablo 2 Baier, Christel ...and 542 more Authors all top 5 Cited in 69 Serials 120 Theoretical Computer Science 34 Formal Aspects of Computing 27 Journal of Logical and Algebraic Methods in Programming 25 Journal of Computer and System Sciences 23 Acta Informatica 20 MSCS. Mathematical Structures in Computer Science 13 Information and Computation 12 The Journal of Logic and Algebraic Programming 11 Information Processing Letters 9 Journal of Symbolic Computation 7 Applied Categorical Structures 6 Diagrammes 5 Science of Computer Programming 5 Annals of Mathematics and Artificial Intelligence 4 Computing 4 Information Sciences 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 2 Computers & Mathematics with Applications 2 Discrete Applied Mathematics 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 Journal of Algebra and its Applications 1 Bulletin of the Australian Mathematical Society 1 Discrete Mathematics 1 Bulletin of Mathematical Biology 1 BIT 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 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 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 Automata, Languages and Combinatorics 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 all top 5 Cited in 23 Fields 529 Computer science (68-XX) 87 Category theory; homological algebra (18-XX) 45 Mathematical logic and foundations (03-XX) 22 Combinatorics (05-XX) 22 General algebraic systems (08-XX) 7 Systems theory; control (93-XX) 5 Group theory and generalizations (20-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 General topology (54-XX) 4 Quantum theory (81-XX) 3 Operations research, mathematical programming (90-XX) 3 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Associative rings and algebras (16-XX) 1 Nonassociative rings and algebras (17-XX) 1 Dynamical systems and ergodic theory (37-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