Edit Profile Ehrig, Hartmut Compute Distance To: Compute Author ID: ehrig.hartmut Published as: Ehrig, H.; Ehrig, Hartmut; Ehrig, K. Homepage: http://www.tfs.tu-berlin.de/menue/home/team/ehrig_hartmut_prof/ External Links: MGP · dblp · GND Documents Indexed: 281 Publications since 1972, including 53 Books Reviewing Activity: 10 Reviews Biographic References: 6 Publications all top 5 Co-Authors 19 single-authored 47 Kreowski, Hans-Jörg 36 Orejas, Fernando 25 Padberg, Julia 24 Prange, Ulrike 22 Rozenberg, Grzegorz 17 Habel, Annegret 16 Lowe, Michael J. 16 Taentzer, Gabriele 15 Corradini, Andrea 15 Golas, Ulrike 14 Ermel, Claudia 12 Heckel, Reiko 12 Mahr, Bernd 12 Parisi-Presicce, Francesco 11 Lambers, Leen 11 Rosen, Barry K. 9 Große-Rhode, Martin 9 Hermann, Frank 8 Baldan, Paolo 8 Engels, Gregor 8 Fey, Werner 8 König, Barbara 8 Montanari, Ugo G. 8 Padawitz, Peter 7 Ehrig, Karsten 6 Boehm, Paul 6 Kühnel, Wolfgang 6 Weber, Herbert 5 de Lara, Juan 5 Hansen, Horst 5 Thatcher, James W. 5 Wolter, Uwe E. 4 Bardohl, Roswitha 4 Braatz, Benjamin 4 Hoffmann, Kathrin 4 Pino, Elvira 4 Wagner, Eric G. 3 Claßen, Ingo 3 Cornelius, Felix 3 Gabriel, Karsten 3 Hummert, Udo 3 Jacobs, Dean 3 Klein, Markus 3 Korff, Martin 3 Pfender, Michael 3 Reisig, Wolfgang 3 Ribeiro, Leila 3 Runge, Olga 3 Schneider, Hans Jürgen 3 Schröter, Gunnar 2 Baldamus, Michael 2 Blum, Edward Kenneth 2 Dimitrovici, Cristian 2 Floyd, Christiane 2 Gajewsky, Maike 2 Geisler, Robert 2 Hüffner, Falk 2 Klar, Marcus 2 Kowalski, Robert A. 2 Lembke, Sabine 2 Levi, Giorgio 2 Llabrés, Mercè 2 Maggiolo-Schettini, Andrea 2 Mann, Stefan 2 Nagl, Manfred 2 Niedermeier, Rolf 2 Nivat, Maurice 2 Pennemann, Karl-Heinz 2 Pérez, Sonia 2 Pfalzgraf, Jochen 2 Rangel, Guilherme 2 Rieckhoff, Catharina 2 Rossi, Francesca L. 2 Tischer, Karl Wilhelm 2 Varró-Gyapay, Szilvia 2 Varró, Dániel 2 Wright, Jesse B. 2 Zeitz, Philip 1 Adámek, Jiří 1 Adametz, Helmut 1 Arbib, Michael A. 1 Batory, Don S. 1 Biermann, Enrico 1 Borusan, Alexander 1 Brauer, Wilfried 1 Bucchiarone, Antonio 1 Claus, Volker 1 Cuny, Jérôme 1 Dehnert, Juliane 1 Díaz, Oscar 1 Gajewsky, Meike 1 Giese, Holger 1 Guerra, Esther 1 Herrlich, Horst 1 Hoffmann, Berthold 1 Janssens, Dirk 1 Jantke, Klaus-Peter 1 Jiménez, Rosa M. 1 Juhás, Gabriel 1 Karhumaki, Juhani ...and 29 more Co-Authors 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 276 Computer science (68-XX) 54 Category theory; homological algebra (18-XX) 31 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 Systems theory; control (93-XX) 2 Biology and other natural sciences (92-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 192 Publications have been cited 1,220 times in 557 Documents Cited by ▼ Year ▼ Fundamentals of algebraic specification 1. Equations and initial semantics. Zbl 0557.68013Ehrig, H.; Mahr, B. 171 1985 Fundamentals of algebraic graph transformation. Zbl 1095.68047Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele 90 2006 Fundamentals of algebraic specification 2. Module specifications and constraints. Zbl 0759.68013Ehrig, Hartmut; Mahr, Bernd 40 1990 Introduction to the algebraic theory of graph grammars (a survey). Zbl 0407.68072Ehrig, Hartmut 34 1979 Algebraic implementation of abstract data types. Zbl 0483.68018Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P. 31 1982 Handbook of graph grammars and computing by graph transformation. Vol. 3: Concurrency, parallelism, and distribution. Zbl 0951.68049Ehrig, Hartmut (ed.); Kreowski, Hans-Jörg (ed.); Montanari, Ugo (ed.); Rozenberg, Grzegorz (ed.) 27 1999 Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986. Zbl 0636.00013Ehrig, H. (ed.); Nagl, M. (ed.); Rozenberg, G. (ed.); Rosenfeld, A. (ed.) 26 1987 Graph-grammars and their application to computer science. 2nd International Workshop, Haus Ohrbeck, Germany, October 4-8, 1982. ”Under the auspices of the European Association for Theoretical Computer Science”. Zbl 0512.00027Ehrig, Hartmut (ed.); Nagl, Manfred (ed.); Rozenberg, Grzegorz (ed.) 24 1983 Handbook of graph grammars and computing by graph transformation. Vol 2: Applications, languages and tools. With 1 CD-ROM (Windows, Linux and Solaris). Zbl 0998.68001Ehrig, Hartmut (ed.); Engels, Gregor (ed.); Kreowski, Hans-Jörg (ed.); Rozenberg, Grzegorz (ed.) 23 1999 Parallelism and concurrency in high-level replacement systems. Zbl 0749.68045Ehrig, Hartmut; Habel, Annegret; Kreowski, Hans-Jörg; Parisi-Presicce, Francesco 22 1991 Graph-grammars and their application to computer science and biology. International workshop Bad Honnef, October 30 November 3, 1978. Zbl 0398.00019Claus, Volker (ed.); Ehrig, Hartmut (ed.); Rozenberg, Grzegorz (ed.) 21 1979 Universal theory of automata. A categorical approach. Zbl 0289.94023Ehrig, H.; Kiermeier, K.-D.; Kreowski, H.-J.; Kühnel, W. 16 1974 Deriving bisimulation congruences in the DPO approach to graph rewriting. Zbl 1126.68446Ehrig, Hartmut; König, Barbara 14 2004 Parameterized data types in algebraic specification languages (short version). Zbl 0456.68101Ehrig, Hartmut; Kreowski, Hans-Jörg; Thatcher, James; Wagner, Eric; Wright, Jesse 14 1980 Pushout-properties: An analysis of gluing constructions for graphs. Zbl 0431.68069Ehrig, Hartmut; Kreowski, Hans-Jörg 14 1979 From graph grammars to high level replacement systems. Zbl 0765.68088Ehrig, Hartmut; Habel, Annegret; Parisi-Presicce, Francesco 13 1991 Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5-9, 1990. Proceedings. Zbl 0753.00023Ehrig, Hartmut (ed.); Kreowski, Hans-Jörg (ed.); Rozenberg, Grzegorz (ed.) 13 1991 Termination criteria for model transformation. Zbl 1119.68344Ehrig, Hartmut; Ehrig, Karsten; de Lara, Juan; Taentzer, Gabriele; Varró, Dániel; Varró-Gyapay, Szilvia 12 2005 Compositional semantics for open Petri nets based on deterministic processes. Zbl 1089.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. 12 1993 Parameter passing in algebraic specification languages. Zbl 0522.68027Ehrig, Hartmut; Kreowski, Hans-Joerg; Thatcher, James; Wagner, Eric; Wright, Jesse 11 1984 Algebraic specifications with generating constraints. Zbl 0518.68019Ehrig, H.; Wagner, E. G.; Thatcher, J. W. 11 1983 Transformations of structures: An algebraic approach. Zbl 0491.68035Ehrig, Hartmut; Kreowski, Hans-Joerg; Maggiolo-Schettini, Andrea; Rosen, Barry K.; Winkowski, Jozef 11 1981 Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. Zbl 1107.68055Ehrig, Hartmut; König, Barbara 10 2006 Adhesive high-level replacement categories and systems. Zbl 1116.68480Ehrig, Hartmut; Habel, Annegret; Padberg, Julia; Prange, Ulrike 10 2004 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 Algebraic implementation of abstract data types: Concept, syntax, semantics and correctness. Zbl 0457.68019Ehrig, H.; Kreowski, H.-J.; Padawitz, P. 10 1980 Parallelism and concurrency of graph manipulations. Zbl 0449.68036Ehrig, Hartmut; Rosen, Barry K. 10 1980 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 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 Algebraic approach to graph transformation based on single pushout derivations. Zbl 0768.68069Löwe, Michael; Ehrig, Hartmut 8 1992 Tutorial introduction to the algebraic approach of graph grammars. Zbl 0643.68102Ehrig, Hartmut 8 1987 ACT ONE: an algebraic specification language with two levels of semantics. Zbl 0549.68010Ehrig, Hartmut; Fey, Werner; Hansen, Horst 8 1983 Parallelism of manipulations in multidimensional information structures. Zbl 0352.68096Ehrig, Hartmut; Kreowski, Hans-Jörg 8 1976 Grammars on partial graphs. Zbl 0329.68061Schneider, H. J.; Ehrig, H. 8 1976 Efficient conflict detection in graph transformation systems by essential critical pairs. Zbl 1283.68185Lambers, Leen; Ehrig, Hartmut; Orejas Fernando 7 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 Fundamental theory for typed attributed graph transformation. Zbl 1116.68481Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele 7 2004 Abstract and behaviour module specifications. Zbl 0923.68089Cornelius, Felix; Baldamus, Michael; Ehrig, Hartmut; Orejas, Fernando 7 1999 Graph rewriting with unification and composition. Zbl 0643.68103Parisi-Presicce, Francesco; Ehrig, Hartmut; Montanari, Ugo 7 1987 Graph grammars with application conditions. Zbl 0611.68045Ehrig, H.; Habel, A. 7 1986 Commutativity of independent transformations on complex objects. Zbl 0357.02034Ehrig, Hartmut; Rosen, Barry K. 7 1976 Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Zbl 1257.68092Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank 6 2010 Semantical correctness and completeness of model transformations using graph and rule transformation. Zbl 1175.68221Ehrig, Hartmut; Ermel, Claudia 6 2008 A logic of graph constraints. Zbl 1171.68516Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike 6 2008 Constraints and application conditions: From graphs to high-level structures. Zbl 1116.68479Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz 6 2004 Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Zbl 0970.68116Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea 6 2001 Dynamic abstract data types: An informal proposal. Zbl 0810.68097Ehrig, Hartmut; Orejas, Fernando 6 1994 Distributed parallelism of graph transformations. Zbl 0651.68097Ehrig, Hartmut; Boehm, Paul; Hummert, Udo; Löwe, Michael 6 1988 Stepwise specification and implementation of abstract data types. Zbl 0382.68026Ehrig, Hartmut; Kreowski, Hans-Jörg; Padawitz, Peter 6 1978 Deriving structures from structures. Zbl 0379.68055Ehrig, Hartmut; Kreowski, Hans-Jörg; Maggiolo-Schettini, A.; Rosen, B. K.; Winkowski, Z. 6 1978 Rule-based modeling and static analysis of self-adaptive systems by graph transformation. Zbl 1398.68092Bucchiarone, 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.68176Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando 5 2014 Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1306.68121Braatz, Benjamin; Ehrig, Hartmut; Gabriel, Karsten; Golas, Ulrike 5 2010 Reasoning with graph constraints. Zbl 1209.68381Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike 5 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 Termination analysis of model transformations by Petri nets. Zbl 1156.68501Varró, Dániel; Varró-Gyapay, Szilvia; Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele 5 2006 Composition and decomposition of DPO transformations with borrowed context. Zbl 1156.68417Baldan, Paolo; Ehrig, Hartmut; König, Barbara 5 2006 Conflict detection for graph transformation with negative application conditions. Zbl 1156.68431Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando 5 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 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 Bigraphs meet double pushouts. Zbl 1169.68450Ehrig, Hartmut 5 2002 Compositional modeling of reactive systems using open nets. Zbl 1006.68084Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R. 5 2001 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.00026Cuny, J. (ed.); Ehrig, H. (ed.); Engels, G. (ed.); Rozenberg, G. (ed.) 5 1996 Amalgamation and extension in the framework of specification logics and generalized morphisms. Zbl 0744.68099Ehrig, Hartmut; Baldamus, Michael; Orejas, Fernando 5 1991 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 5 1990 On recent trends in algebraic specification. Zbl 0689.68013Ehrig, H.; Pepper, P.; Orejas, F. 5 1989 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 5 1988 Algebraic theory of module specifications with constraints. Zbl 0602.68021Ehrig, H.; Fey, W.; Parisi-Presicce, F.; Blum, E. K. 5 1986 Parameter passing commutes with implementation of parameterized data types. Zbl 0486.68016Ehrig, H.; Kreowski, H.-J. 5 1982 Algebraic theory of parameterized specifications with requirements. Zbl 0465.68006Ehrig, Hartmut 5 1981 Kategorien und Automaten. (Categories and automata). Zbl 0231.94040Ehrig, Hartmut; Pfender, Michael 5 1972 \(\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 4 2012 Parallel independence of amalgamated graph transformations applied to model transformation. Zbl 1309.68106Biermann, Enrico; Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Taentzer, Gabriele 4 2010 Formal analysis of functional behaviour for model transformations based on triple graph grammars. Zbl 1306.68074Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike 4 2010 Construction and properties of adhesive and weak adhesive high-level replacement categories. Zbl 1143.18005Prange, Ulrike; Ehrig, Hartmut; Lambers, Leen 4 2008 Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1214.68243Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara 4 2007 Theory of constraints and application conditions: from graphs to high-level structures. Zbl 1106.68054Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz 4 2006 Horizontal and vertical structuring of typed graph transformation systems. Zbl 0866.68056Heckel, Reiko; Corradini, Andrea; Ehrig, Hartmut; Löwe, Michael 4 1996 Programming in the large with algebraic module specifications. Zbl 0606.68009Ehrig, H.; Weber, H. 4 1986 Compatibility of parameter passing and implementation of parameterized data types. Zbl 0553.68015Ehrig, H.; Kreowski, H.-J. 4 1983 Complexity of algebraic implementations for abstract data types. Zbl 0474.68021Ehrig, Hartmut; Mahr, Bernd 4 1981 Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems. Zbl 0456.68096Ehrig, H.; Kreowski, H.-J. 4 1980 Graph and model transformation. General framework and applications. Zbl 1341.68002Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Hermann, Frank 3 2015 Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions. Zbl 1342.68179Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut 3 2014 Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1342.68177Gabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike 3 2014 Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs. Zbl 1284.68324Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando 3 2012 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 Weak adhesive high-level replacement categories and systems: a unifying framework for graph and Petri net transformations. Zbl 1133.68055Ehrig, Hartmut; Prange, Ulrike 3 2006 High-level nets with nets and rules as tokens. Zbl 1128.68063Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till 3 2005 Graph grammars and Petri net transformations. Zbl 1088.68079Ehrig, Hartmut; Padberg, Julia 3 2004 Institutions for logic programming. Zbl 0901.68027Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut 3 1997 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 Algebraic specification techniques and tools for software development. The ACT approach. Zbl 0921.68059Claßen, Ingo; Ehrig, Hartmut; Wolz, Dietmar 3 1993 Categorical principles, techniques and results for high-level-replacement systems in computer science. Zbl 0784.68063Ehrig, Hartmut; Löwe, Michael 3 1993 Graph grammars and logic programming. Zbl 0765.68083Corradini, Andrea; Montanari, Ugo; Rossi, Francesca; Ehrig, Hartmut; Löwe, Michael 3 1991 Specification of modular systems. Zbl 0595.68023Weber, Herbert; Ehrig, Hartmut 3 1986 Concurrent transformations of relational structures. Zbl 0592.68023Ehrig, Hartmut; Habel, Annegret; Rosen, Barry K. 3 1986 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 5 2015 Graph and model transformation. General framework and applications. Zbl 1341.68002Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Hermann, Frank 3 2015 \(\mathcal{M}\)-adhesive transformation systems with nested application conditions. I: Parallelism, concurrency and amalgamation. Zbl 1342.68176Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando 5 2014 Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions. Zbl 1342.68179Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut 3 2014 Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1342.68177Gabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike 3 2014 Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories. Zbl 1342.68178Golas, Ulrike; Habel, Annegret; Ehrig, Hartmut 2 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 4 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 3 2012 Toward bridging the gap between formal foundations and current practice for triple graph grammars. Flexible relations between source and target elements. Zbl 1367.68134Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Giese, Holger 1 2012 Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Zbl 1257.68092Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank 6 2010 Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1306.68121Braatz, Benjamin; Ehrig, Hartmut; Gabriel, Karsten; Golas, Ulrike 5 2010 Reasoning with graph constraints. Zbl 1209.68381Orejas, Fernando; Ehrig, Hartmut; Prange, 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 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 4 2010 Multi-amalgamation in adhesive categories. Zbl 1306.68071Golas, Ulrike; Ehrig, Hartmut; Habel, Annegret 2 2010 Local confluence for rules with nested application conditions. Zbl 1306.68068Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike 2 2010 Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Zbl 1196.68007Ehrig, Hartmut (ed.); Rensink, Arend (ed.); Rozenberg, Grzegorz (ed.); Schürr, Andy (ed.) 1 2010 Consistent integration of models based on views of meta models. Zbl 1209.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 2 2009 Efficient conflict detection in graph transformation systems by essential critical pairs. Zbl 1283.68185Lambers, Leen; Ehrig, Hartmut; Orejas Fernando 7 2008 Semantical correctness and completeness of model transformations using graph and rule transformation. Zbl 1175.68221Ehrig, Hartmut; Ermel, Claudia 6 2008 A logic of graph constraints. Zbl 1171.68516Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike 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 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.68002Ehrig, Hartmut (ed.); Heckel, Reiko (ed.); Rozenberg, Grzegorz (ed.); Taentzer, Gabriele (ed.) 2 2008 A typed attributed graph grammar with inheritance for the abstract syntax of UML class and sequence diagrams. Zbl 1283.68206Hermann, Frank; Ehrig, Hartmut; Taentzer, Gabriele 1 2008 Process definition using subobject transformation systems. Zbl 1169.68507Hermann, Frank; Ehrig, Hartmut 1 2008 Open Petri nets: Non-deterministic processes and compositionality. Zbl 1175.68269Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; König, Barbara 1 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 1 2008 Formal analysis of model transformations based on triple graph rules with kernels. Zbl 1175.68222Ehrig, Hartmut; Prange, Ulrike 1 2008 Embedding and confluence of graph transformations with negative application conditions. Zbl 1175.68227Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando 1 2008 Transformations in reconfigurable place/transition systems. Zbl 1144.68043Prange, Ulrike; Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia 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 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 Termination criteria for DPO transformations with injective matches. Zbl 1278.68123Levendovszky, Tihamér; Prange, Ulrike; Ehrig, Hartmut 1 2007 Fundamentals of algebraic graph transformation. Zbl 1095.68047Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele 90 2006 Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. Zbl 1107.68055Ehrig, Hartmut; König, Barbara 10 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 Termination analysis of model transformations by Petri nets. Zbl 1156.68501Varró, Dániel; Varró-Gyapay, Szilvia; Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele 5 2006 Composition and decomposition of DPO transformations with borrowed context. Zbl 1156.68417Baldan, Paolo; Ehrig, Hartmut; König, Barbara 5 2006 Conflict detection for graph transformation with negative application conditions. Zbl 1156.68431Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando 5 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 Theory of constraints and application conditions: from graphs to high-level structures. Zbl 1106.68054Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz 4 2006 Weak adhesive high-level replacement categories and systems: a unifying framework for graph and Petri net transformations. Zbl 1133.68055Ehrig, Hartmut; Prange, Ulrike 3 2006 Categorical foundations of distributed graph transformation. Zbl 1157.68039Ehrig, Hartmut; Orejas, Fernando; Prange, Ulrike 2 2006 Petri net modules in the transformation-based component framework. Zbl 1088.68129Padberg, Julia; Ehrig, Hartmut 2 2006 Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Zbl 1147.68003Corradini, Andrea (ed.); Ehrig, Hartmut (ed.); Montanari, Ugo (ed.); Ribeiro, Leila (ed.); Rozenberg, Grzegorz (ed.) 1 2006 Termination criteria for model transformation. Zbl 1119.68344Ehrig, Hartmut; Ehrig, Karsten; de Lara, Juan; Taentzer, Gabriele; Varró, Dániel; Varró-Gyapay, Szilvia 12 2005 Compositional semantics for open Petri nets based on deterministic processes. Zbl 1089.68068Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko 12 2005 High-level nets with nets and rules as tokens. Zbl 1128.68063Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till 3 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 14 2004 Adhesive high-level replacement categories and systems. Zbl 1116.68480Ehrig, Hartmut; Habel, Annegret; Padberg, Julia; Prange, Ulrike 10 2004 Fundamental theory for typed attributed graph transformation. Zbl 1116.68481Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele 7 2004 Constraints and application conditions: From graphs to high-level structures. Zbl 1116.68479Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz 6 2004 Integrating meta-modelling aspects with graph transformation for efficient visual language definition and model manipulation. Zbl 1129.68420Bardohl, Roswitha; Ehrig, Hartmut; de Lara, Juan; Taentzer, Gabriele 5 2004 Graph grammars and Petri net transformations. Zbl 1088.68079Ehrig, Hartmut; Padberg, Julia 3 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 Attributed graphs and typing: relationship between different representations. Zbl 1169.68558Ehrig, Hartmut 1 2004 Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 – October 2, 2004. Proceedings. Zbl 1056.68008Ehrig, Hartmut (ed.); Engels, Gregor (ed.); Parisi-Presicce, Francesco (ed.); Rozenberg, Grzegorz (ed.) 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 Basic results for two types of high-level replacement systems. Zbl 1263.68073Ehrig, Hartmut; Habel, Annegret; Parisi-Presicce, F. 1 2002 High-level net processes. Zbl 1060.68078Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko 1 2002 Concurrency and loose semantics of open graph transformation systems. Zbl 1009.68095Heckel, Reiko; Llabrés, Mercé; Ehrig, Hartmut; Orejas, Fernando 1 2002 Graph transformation. 1st international conference, ICGT 2002, Barcelona, Spain, October 7–12, 2002. Proceedings. Zbl 1001.00043Corradini, Andrea (ed.); Ehrig, Hartmut (ed.); Kreowski, Hans-Jörg (ed.); Rozenberg, Grzegorz (ed.) 1 2002 Formal and natural computing. Essays dedicated to Grzegorz Rozenberg. Zbl 0989.00070Brauer, Wilfried (ed.); Ehrig, Hartmut (ed.); Karhumäki, Juhani (ed.); Salomaa, Arto (ed.) 1 2002 Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Zbl 0970.68116Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea 6 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 Integration paradigm for data type and process specification techniques. Zbl 1049.68088Ehrig, Hartmut; Orejas, Fernando 2 2001 Algebraic techniques in software development: A review of progress up to the mid nineties. Zbl 1049.68086Ehrig, Hartmut; Mahr, Bernd 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.00023Ehrig, Hartmut (ed.); Juhás, Gabriel (ed.); Padberg, Julia (ed.); Rozenberg, Grzegorz (ed.) 1 2001 Double-pullback graph transitions: A rule-based framework with incomplete information. Zbl 0958.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.00049Ehrig, Hartmut (ed.); Engels, Gregor (ed.); Kreowski, Hans-Jörg (ed.); Rozenberg, Grzegorz (ed.) 1 2000 Handbook of graph grammars and computing by graph transformation. Vol. 3: Concurrency, parallelism, and distribution. Zbl 0951.68049Ehrig, Hartmut (ed.); Kreowski, Hans-Jörg (ed.); Montanari, Ugo (ed.); Rozenberg, Grzegorz (ed.) 27 1999 Handbook of graph grammars and computing by graph transformation. Vol 2: Applications, languages and tools. With 1 CD-ROM (Windows, Linux and Solaris). Zbl 0998.68001Ehrig, Hartmut (ed.); Engels, Gregor (ed.); Kreowski, Hans-Jörg (ed.); Rozenberg, Grzegorz (ed.) 23 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 Integration paradigm for data type and process specification techniques. Zbl 0901.68129Ehrig, Hartmut; Orejas, Fernando 2 1998 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 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 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.00026Cuny, J. (ed.); Ehrig, H. (ed.); Engels, G. (ed.); Rozenberg, G. (ed.) 5 1996 Horizontal and vertical structuring of typed graph transformation systems. Zbl 0866.68056Heckel, Reiko; Corradini, Andrea; Ehrig, Hartmut; Löwe, Michael 4 1996 The category of typed graph grammars and its adjunctions with categories of derivations. Zbl 1412.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 6 1994 Algebraic high level nets. Petri nets revisited. Zbl 0941.68643Ehrig, Hartmut; Padberg, Julia; Ribeiro, Leila 2 1994 Functorial theory of parameterized specifications in a general specification framework. Zbl 0829.68086Ehrig, Hartmut; Große-Rhode, Martin 2 1994 ...and 92 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 651 Authors 48 Ehrig, Hartmut 25 Corradini, Andrea 19 Orejas, Fernando 18 Kreowski, Hans-Jörg 16 Gadducci, Fabio 16 Montanari, Ugo G. 15 Bonchi, Filippo 15 Rozenberg, Grzegorz 14 Parisi-Presicce, Francesco 14 Ribeiro, Leila 14 Tarlecki, Andrzej 12 Baldan, Paolo 11 Taentzer, Gabriele 10 Habel, Annegret 10 König, Barbara 10 Sannella, Donald T. 9 Lowe, Michael J. 9 Meseguer Guaita, José 8 Bidoit, Michel 8 Engelfriet, Joost 8 Hennicker, Rolf 8 Lambers, Leen 8 Sobociński, Paweł 8 Wolter, Uwe E. 7 Golas, Ulrike 7 Heindel, Tobias 7 Janssens, Dirk 7 Kuske, Sabine 7 Monreale, Giacoma Valentina 7 Prange, Ulrike 6 Bruni, Roberto 6 de Lara, Juan 6 Heckel, Reiko 6 Padawitz, Peter 6 Wirsing, Martin 5 Bauderon, Michel 5 Bernot, Gilles 5 Courcelle, Bruno 5 Engels, Gregor 5 Ermel, Claudia 5 Fiadeiro, José Luiz 5 Kahl, Wolfram 5 König, Harald 5 Navarro, Marisa 5 Padberg, Julia 5 Rosselló, Francesc 5 Rossi, Francesca L. 5 Wagner, Eric G. 4 Drewes, Frank 4 Duval, Dominique 4 Foss, Luciana 4 Goguen, Joseph Amadee 4 Große-Rhode, Martin 4 Guerra, Esther 4 Hermann, Frank 4 Meinke, Karl 4 Milner, Robin 4 Mossakowski, Till 4 Oriat, C. 4 Plump, Detlef 4 Rutle, Adrian 4 Schürr, Andy 3 Adámek, Jiří 3 Arbib, Michael A. 3 Banach, Richard 3 Bergstra, Jan A. 3 Burmeister, Peter 3 Burstall, Rod M. 3 Choppy, Christine 3 Dotti, Fernando Luís 3 Durán, Francisco 3 Echahed, Rachid 3 Ehrenfeucht, Andrzej 3 Ehrich, Hans-Dieter 3 Ehrig, Karsten 3 Giese, Holger 3 Hoffmann, Berthold 3 Kaplan, Stéphane 3 Klempien-Hinrichs, Renate 3 Koch, Manuel 3 Kosiol, Jens 3 Leih, George 3 Manes, Ernest G. 3 Melgratti, Hernán 3 Mizoguchi, Yoshihiro 3 Pino, Elvira 3 Prost, Frédéric 3 Reggio, Gianna 3 Rensink, Arend 3 Rossini, Alessandro 3 Skeirik, Stephen 3 Staples, John 3 Valiente, Gabriel 3 Wanke, Egon 3 Winkowski, Jozef 2 Arbab, Farhad 2 Arendt, Thorsten 2 Arrighi, Pablo 2 Astesiano, Egidio 2 Baier, Christel ...and 551 more Authors all top 5 Cited in 67 Serials 134 Theoretical Computer Science 32 Journal of Computer and System Sciences 30 Formal Aspects of Computing 25 Journal of Logical and Algebraic Methods in Programming 23 Acta Informatica 20 MSCS. Mathematical Structures in Computer Science 16 Information and Computation 13 The Journal of Logic and Algebraic Programming 12 Information Processing Letters 11 Journal of Symbolic Computation 7 Applied Categorical Structures 6 Information Sciences 6 Diagrammes 5 Science of Computer Programming 5 Annals of Mathematics and Artificial Intelligence 4 Discrete Applied Mathematics 4 Computing 4 Mathematical Systems Theory 3 Cahiers de Topologie et Géométrie Différentielle Catégoriques 3 Journal of Pure and Applied Algebra 3 International Journal of Computer Mathematics 3 RAIRO. Informatique Théorique et Applications 3 Logical Methods in Computer Science 2 Artificial Intelligence 2 Computers & Mathematics with Applications 2 Algebra Universalis 2 RAIRO, Informatique Théorique 2 Annals of Pure and Applied Logic 2 Journal of Computer Science and Technology 2 Journal of Functional Programming 2 Theory and Practice of Logic Programming 1 Bulletin of the Australian Mathematical Society 1 Discrete Mathematics 1 Bulletin of Mathematical Biology 1 BIT 1 Fuzzy Sets and Systems 1 Journal of Soviet Mathematics 1 Kybernetika 1 Mathematics and Computers in Simulation 1 Mathematische Nachrichten 1 Quaestiones Mathematicae 1 SIAM Journal on Computing 1 Studia Logica 1 Cybernetics 1 Cybernetics and Systems 1 New Generation Computing 1 Journal of Automated Reasoning 1 Automation and Remote Control 1 Distributed Computing 1 Applicable Algebra in Engineering, Communication and Computing 1 Cybernetics and Systems Analysis 1 Formal Methods in System Design 1 Journal of Applied Non-Classical Logics 1 Theory and Applications of Categories 1 ACM Transactions on Modeling and Computer Simulation 1 Mathematical Problems in Engineering 1 RAIRO. Theoretical Informatics and Applications 1 Algebraic & Geometric Topology 1 Natural Computing 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic 1 Journal of Zhejiang University. Science A 1 Mathematics in Computer Science 1 Journal of Formalized Reasoning 1 Frontiers of Computer Science 1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge 1 Computer Science Review all top 5 Cited in 25 Fields 528 Computer science (68-XX) 84 Category theory; homological algebra (18-XX) 47 Mathematical logic and foundations (03-XX) 28 Combinatorics (05-XX) 23 General algebraic systems (08-XX) 8 Systems theory; control (93-XX) 5 Quantum theory (81-XX) 5 Biology and other natural sciences (92-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Group theory and generalizations (20-XX) 3 General topology (54-XX) 3 Information and communication theory, circuits (94-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 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year