Edit Profile (opens in new tab) Habel, Annegret Co-Author Distance Author ID: habel.annegret Published as: Habel, Annegret; Habel, A. Documents Indexed: 63 Publications since 1983, including 1 Book Co-Authors: 37 Co-Authors with 60 Joint Publications 516 Co-Co-Authors all top 5 Co-Authors 3 single-authored 19 Kreowski, Hans-Jörg 17 Ehrig, Hartmut 13 Plump, Detlef 6 Pennemann, Karl-Heinz 5 Golas, Ulrike 4 Taentzer, Gabriele 3 Boehm, Paul 3 Lambers, Leen 3 Orejas, Fernando 3 Taubenberger, Stefan 3 Vogler, Walter 2 Arendt, Thorsten 2 Drewes, Frank 2 Ehrig, Karsten 2 Fonio, Harald-Reto 2 Hoffmann, Berthold 2 Lautemann, Clemens 2 Müller, Jürgen 2 Padberg, Julia 2 Parisi-Presicce, Francesco 2 Prange, Ulrike 2 Radke, Hendrik 2 Sandmann, Christian 1 Andries, Marc 1 Azab, Karl 1 Becker, Jan Steffen 1 Dassow, Jürgen 1 Engels, Gregor 1 Happe, Jens 1 Heckel, Reiko 1 Hummert, Udo 1 Kuske, Sabine 1 Mosbah, Mohamed 1 Reussner, Ralf H. 1 Rosen, Barry K. 1 Schürr, Andy 1 Teusch, Tilman all top 5 Serials 6 MSCS. Mathematical Structures in Computer Science 3 Theoretical Computer Science 3 Annales Societatis Mathematicae Polonae. Series IV 3 Bulletin of the European Association for Theoretical Computer Science (EATCS) 3 Fundamenta Informaticae 1 Acta Informatica 1 Computers & Mathematics with Applications 1 Journal of Computer and System Sciences 1 Science of Computer Programming 1 Journal of Information Processing and Cybernetics 1 Lecture Notes in Computer Science Fields 63 Computer science (68-XX) 9 Category theory; homological algebra (18-XX) 5 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 57 Publications have been cited 707 times in 371 Documents Cited by ▼ Year ▼ Hyperedge replacement: grammars and languages. Zbl 0787.68066 Habel, Annegret 87 1992 Correctness of high-level transformation systems relative to nested conditions. Zbl 1168.68022 Habel, Annegret; Pennemann, Karl-Heinz 63 2009 Parallelism and concurrency in high-level replacement systems. Zbl 0749.68045 Ehrig, Hartmut; Habel, Annegret; Kreowski, Hans-Jörg; Parisi-Presicce, Francesco 41 1991 May we introduce to you: Hyperedge replacement. Zbl 0643.68106 Habel, Annegret; Kreowski, Hans-Jörg 36 1987 Graph grammars with negative application conditions. Zbl 0854.68055 Habel, Annegret; Heckel, Reiko; Taentzer, Gabriele 36 1996 Some structural aspects of hypergraph languages generated by hyperedge replacement. Zbl 0635.68077 Habel, Annegret; Kreowski, Hans-Jörg 35 1987 Double-pushout graph transformation revisited. Zbl 0987.18005 Habel, Annegret; Müller, Jürgen; Plump, Detlef 25 2001 From graph grammars to high level replacement systems. Zbl 0765.68088 Ehrig, Hartmut; Habel, Annegret; Parisi-Presicce, Francesco 24 1991 Amalgamation of graph transformations: a synchronization mechanism. Zbl 0618.68060 Boehm, Paul; Fonio, Harald-Reto; Habel, Annegret 24 1987 \(\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 Computational completeness of programming languages based on graph transformation. Zbl 0978.68028 Habel, Annegret; Plump, Detlef 19 2001 Graph transformation for specification and programming. Zbl 0933.68022 Andries, Marc; Engels, Gregor; Habel, Annegret; Hoffmann, Berthold; Kreowski, Hans-Jörg; Kuske, Sabine; Plump, Detlef; Schürr, Andy; Taentzer, Gabriele 14 1999 Graph grammars with application conditions. Zbl 0611.68045 Ehrig, H.; Habel, A. 14 1986 \(\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 Collage grammars. Zbl 0768.68081 Habel, Annegret; Kreowski, Hans-Jörg 12 1991 Weakest preconditions for high-level programs. Zbl 1156.68347 Habel, Annegret; Pennemann, Karl-Heinz; Rensink, Arend 12 2006 Constraints and application conditions: From graphs to high-level structures. Zbl 1116.68479 Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz 11 2004 \(\mathcal M, \mathcal N\)-adhesive transformation systems. Zbl 1367.68135 Habel, Annegret; Plump, Detlef 11 2012 Decidable boundedness problems for sets of graphs generated by hyperedge- replacement. Zbl 0706.68070 Habel, A.; Kreowski, H.-J.; Vogler, W. 11 1991 Relabelling in graph transformation. Zbl 1028.68071 Habel, Annegret; Plump, Detlef 11 2002 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 Jungle evaluation. Zbl 0706.68069 Habel, A.; Kreowski, H.-J.; Plump, D. 11 1991 Characteristics of graph languages generated by edge replacement. Zbl 0636.68100 Habel, Annegret; Kreowski, Hans-Jörg 10 1987 Metatheorems for decision problems on hyperedge replacement graph languages. Zbl 0674.68047 Habel, Annegret; Kreowski, Hans-Jörg; Vogler, Walter 10 1989 Nested constraints and application conditions for high-level structures. Zbl 1075.68623 Habel, Annegret; Pennemann, Karl-Heinz 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 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 Satisfiability of high-level conditions. Zbl 1156.68428 Habel, Annegret; Pennemann, Karl-Heinz 7 2006 Local confluence for rules with nested application conditions. Zbl 1306.68068 Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike 7 2010 Term graph narrowing. Zbl 0864.68073 Habel, Annegret; Plump, Detlef 6 1996 Pretty patterns produced by hyperedge replacement. Zbl 0651.68099 Habel, Annegret; Kreowski, Hans-Jörg 5 1988 Jungle evaluation. Zbl 0661.68016 Habel, Annegret; Kreowski, Hans-Jörg; Plump, Detlef 5 1988 A comparison of compatible, finite, and inductive graph properties. Zbl 0771.68079 Habel, A.; Kreowski, H.-J.; Lautemann, C. 5 1993 Double-pushout approach with injective matching. Zbl 0958.68080 Habel, Annegret; Müller, Jürgen; Plump, Detlef 4 2000 Unification, rewriting, and narrowing on the term graphs. Zbl 0910.68158 Habel, Annegret; Plump, Detlef 4 1995 Introduction to graph grammars with applications to semantic networks. Zbl 0706.68066 Ehrig, H.; Habel, A.; Kreowski, H. J. 4 1992 Generating self-affine fractals by collage grammars. Zbl 0874.68176 Drewes, F.; Habel, A.; Kreowski, H.-J.; Taubenberger, S. 4 1995 Translating essential OCL invariants to nested graph constraints focusing on set operations. Zbl 1321.68203 Radke, Hendrik; Arendt, Thorsten; Becker, Jan Steffen; Habel, Annegret; Taentzer, Gabriele 4 2015 Multi-amalgamation in adhesive categories. Zbl 1306.68071 Golas, Ulrike; Ehrig, Hartmut; Habel, Annegret 4 2010 Chain-code pictures and collages generated by hyperedge replacement. Zbl 1412.68103 Dassow, Jürgen; Habel, Annegret; Taubenberger, Stefan 4 1996 Compatible graph properties are decidable for hyperedge replacement graph languages. Zbl 0664.68076 Habel, Annegret; Kreowski, Hans-Jörg; Vogler, Walter 3 1987 Complete strategies for term graph narrowing. Zbl 0956.68073 Habel, Annegret; Plump, Detlef 3 1999 Amalgamation of graph transformations with applications to synchronization. Zbl 0568.68059 Boehm, Paul; Fonio, Harald-Reto; Habel, Annegret 3 1985 Concurrent transformations of relational structures. Zbl 0592.68023 Ehrig, Hartmut; Habel, Annegret; Rosen, Barry K. 3 1986 From Core OCL invariants to nested graph constraints. Zbl 1423.68092 Arendt, Thorsten; Habel, Annegret; Radke, Hendrik; Taentzer, Gabriele 3 2014 A sketch of collage grammars. Zbl 1023.68591 Drewes, F.; Habel, A.; Kreowski, H.-J.; Taubenberger, S. 3 1993 Graph unification and matching. Zbl 1412.68115 Plump, Detlef; Habel, Annegret 3 1996 On context-free graph languages generated by edge replacement. Zbl 0522.68071 Habel, Annegret; Kreowski, Hans-Joerg 2 1983 High-level programs and program conditions. Zbl 1175.68111 Azab, Karl; Habel, Annegret 2 2008 Rule-based graph repair. Zbl 07453090 Sandmann, Christian; Habel, Annegret 2 2019 Filtering hyperedge-replacement languages through compatible properties. Zbl 0787.68067 Habel, Annegret; Kreowski, Hans-Jörg 1 1990 Modelling parametric contracts and the state space of composite components by graph grammars. Zbl 1119.68347 Reussner, Ralf H.; Happe, Jens; Habel, Annegret 1 2005 A comparison of compatible, finite, and inductive graph properties. Zbl 0706.68068 Habel, A.; Kreowski, H.-J.; Lautemann, C. 1 1991 Hypergraph grammars: Transformational and algorithmic aspects. Zbl 0792.68083 Habel, Annegret 1 1992 Basic results for two types of high-level replacement systems. Zbl 1263.68073 Ehrig, Hartmut; Habel, Annegret; Parisi-Presicce, F. 1 2002 Solving equations by graph transformation. Zbl 1263.68077 Habel, Annegret; Plump, Detlef 1 2002 Rule-based graph repair. Zbl 07453090 Sandmann, Christian; Habel, Annegret 2 2019 Translating essential OCL invariants to nested graph constraints focusing on set operations. Zbl 1321.68203 Radke, Hendrik; Arendt, Thorsten; Becker, Jan Steffen; Habel, Annegret; Taentzer, Gabriele 4 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 Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories. Zbl 1342.68178 Golas, Ulrike; Habel, Annegret; Ehrig, Hartmut 9 2014 From Core OCL invariants to nested graph constraints. Zbl 1423.68092 Arendt, Thorsten; Habel, Annegret; Radke, Hendrik; Taentzer, Gabriele 3 2014 \(\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 \(\mathcal M, \mathcal N\)-adhesive transformation systems. Zbl 1367.68135 Habel, Annegret; Plump, Detlef 11 2012 Local confluence for rules with nested application conditions. Zbl 1306.68068 Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike 7 2010 Multi-amalgamation in adhesive categories. Zbl 1306.68071 Golas, Ulrike; Ehrig, Hartmut; Habel, Annegret 4 2010 Correctness of high-level transformation systems relative to nested conditions. Zbl 1168.68022 Habel, Annegret; Pennemann, Karl-Heinz 63 2009 High-level programs and program conditions. Zbl 1175.68111 Azab, Karl; Habel, Annegret 2 2008 Weakest preconditions for high-level programs. Zbl 1156.68347 Habel, Annegret; Pennemann, Karl-Heinz; Rensink, Arend 12 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 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 Satisfiability of high-level conditions. Zbl 1156.68428 Habel, Annegret; Pennemann, Karl-Heinz 7 2006 Nested constraints and application conditions for high-level structures. Zbl 1075.68623 Habel, Annegret; Pennemann, Karl-Heinz 9 2005 Modelling parametric contracts and the state space of composite components by graph grammars. Zbl 1119.68347 Reussner, Ralf H.; Happe, Jens; Habel, Annegret 1 2005 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 Relabelling in graph transformation. Zbl 1028.68071 Habel, Annegret; Plump, Detlef 11 2002 Basic results for two types of high-level replacement systems. Zbl 1263.68073 Ehrig, Hartmut; Habel, Annegret; Parisi-Presicce, F. 1 2002 Solving equations by graph transformation. Zbl 1263.68077 Habel, Annegret; Plump, Detlef 1 2002 Double-pushout graph transformation revisited. Zbl 0987.18005 Habel, Annegret; Müller, Jürgen; Plump, Detlef 25 2001 Computational completeness of programming languages based on graph transformation. Zbl 0978.68028 Habel, Annegret; Plump, Detlef 19 2001 Double-pushout approach with injective matching. Zbl 0958.68080 Habel, Annegret; Müller, Jürgen; Plump, Detlef 4 2000 Graph transformation for specification and programming. Zbl 0933.68022 Andries, Marc; Engels, Gregor; Habel, Annegret; Hoffmann, Berthold; Kreowski, Hans-Jörg; Kuske, Sabine; Plump, Detlef; Schürr, Andy; Taentzer, Gabriele 14 1999 Complete strategies for term graph narrowing. Zbl 0956.68073 Habel, Annegret; Plump, Detlef 3 1999 Graph grammars with negative application conditions. Zbl 0854.68055 Habel, Annegret; Heckel, Reiko; Taentzer, Gabriele 36 1996 Term graph narrowing. Zbl 0864.68073 Habel, Annegret; Plump, Detlef 6 1996 Chain-code pictures and collages generated by hyperedge replacement. Zbl 1412.68103 Dassow, Jürgen; Habel, Annegret; Taubenberger, Stefan 4 1996 Graph unification and matching. Zbl 1412.68115 Plump, Detlef; Habel, Annegret 3 1996 Unification, rewriting, and narrowing on the term graphs. Zbl 0910.68158 Habel, Annegret; Plump, Detlef 4 1995 Generating self-affine fractals by collage grammars. Zbl 0874.68176 Drewes, F.; Habel, A.; Kreowski, H.-J.; Taubenberger, S. 4 1995 A comparison of compatible, finite, and inductive graph properties. Zbl 0771.68079 Habel, A.; Kreowski, H.-J.; Lautemann, C. 5 1993 A sketch of collage grammars. Zbl 1023.68591 Drewes, F.; Habel, A.; Kreowski, H.-J.; Taubenberger, S. 3 1993 Hyperedge replacement: grammars and languages. Zbl 0787.68066 Habel, Annegret 87 1992 Introduction to graph grammars with applications to semantic networks. Zbl 0706.68066 Ehrig, H.; Habel, A.; Kreowski, H. J. 4 1992 Hypergraph grammars: Transformational and algorithmic aspects. Zbl 0792.68083 Habel, Annegret 1 1992 Parallelism and concurrency in high-level replacement systems. Zbl 0749.68045 Ehrig, Hartmut; Habel, Annegret; Kreowski, Hans-Jörg; Parisi-Presicce, Francesco 41 1991 From graph grammars to high level replacement systems. Zbl 0765.68088 Ehrig, Hartmut; Habel, Annegret; Parisi-Presicce, Francesco 24 1991 Collage grammars. Zbl 0768.68081 Habel, Annegret; Kreowski, Hans-Jörg 12 1991 Decidable boundedness problems for sets of graphs generated by hyperedge- replacement. Zbl 0706.68070 Habel, A.; Kreowski, H.-J.; Vogler, W. 11 1991 Jungle evaluation. Zbl 0706.68069 Habel, A.; Kreowski, H.-J.; Plump, D. 11 1991 A comparison of compatible, finite, and inductive graph properties. Zbl 0706.68068 Habel, A.; Kreowski, H.-J.; Lautemann, C. 1 1991 Filtering hyperedge-replacement languages through compatible properties. Zbl 0787.68067 Habel, Annegret; Kreowski, Hans-Jörg 1 1990 Metatheorems for decision problems on hyperedge replacement graph languages. Zbl 0674.68047 Habel, Annegret; Kreowski, Hans-Jörg; Vogler, Walter 10 1989 Pretty patterns produced by hyperedge replacement. Zbl 0651.68099 Habel, Annegret; Kreowski, Hans-Jörg 5 1988 Jungle evaluation. Zbl 0661.68016 Habel, Annegret; Kreowski, Hans-Jörg; Plump, Detlef 5 1988 May we introduce to you: Hyperedge replacement. Zbl 0643.68106 Habel, Annegret; Kreowski, Hans-Jörg 36 1987 Some structural aspects of hypergraph languages generated by hyperedge replacement. Zbl 0635.68077 Habel, Annegret; Kreowski, Hans-Jörg 35 1987 Amalgamation of graph transformations: a synchronization mechanism. Zbl 0618.68060 Boehm, Paul; Fonio, Harald-Reto; Habel, Annegret 24 1987 Characteristics of graph languages generated by edge replacement. Zbl 0636.68100 Habel, Annegret; Kreowski, Hans-Jörg 10 1987 Compatible graph properties are decidable for hyperedge replacement graph languages. Zbl 0664.68076 Habel, Annegret; Kreowski, Hans-Jörg; Vogler, Walter 3 1987 Graph grammars with application conditions. Zbl 0611.68045 Ehrig, H.; Habel, A. 14 1986 Concurrent transformations of relational structures. Zbl 0592.68023 Ehrig, Hartmut; Habel, Annegret; Rosen, Barry K. 3 1986 Amalgamation of graph transformations with applications to synchronization. Zbl 0568.68059 Boehm, Paul; Fonio, Harald-Reto; Habel, Annegret 3 1985 On context-free graph languages generated by edge replacement. Zbl 0522.68071 Habel, Annegret; Kreowski, Hans-Joerg 2 1983 all cited Publications top 5 cited Publications all top 5 Cited by 335 Authors 31 Ehrig, Hartmut 22 Drewes, Frank 20 Corradini, Andrea 20 Taentzer, Gabriele 19 Kreowski, Hans-Jörg 19 Plump, Detlef 18 Engelfriet, Joost 17 Orejas, Fernando 16 Habel, Annegret 15 Courcelle, Bruno 15 Lambers, Leen 10 Giese, Holger 10 König, Barbara 10 Kuske, Sabine 10 Prange, Ulrike 9 Behr, Nicolas 9 Gadducci, Fabio 9 Hoffmann, Berthold 8 Heckel, Reiko 8 Minas, Mark 8 Montanari, Ugo G. 8 Sobociński, Paweł 7 Golas, Ulrike 7 Kosiol, Jens 7 Lowe, Michael J. S. 7 Ribeiro, Leila 7 Rozenberg, Grzegorz 7 Schneider, Sven 7 Wanke, Egon 6 Baldan, Paolo 6 Echahed, Rachid 6 Maximova, Maria 6 Rossi, Francesca 6 Schürr, Andy 6 Vogler, Heiko 5 Heindel, Tobias 5 Hermann, Frank 5 Kahl, Wolfram 5 Kim, Changwook 5 Lye, Aaron 5 Padberg, Julia 5 Parisi-Presicce, Francesco 4 Arrighi, Pablo 4 Bauderon, Michel 4 Bonchi, Filippo 4 Campbell, Graham H. 4 Endrullis, Jörg 4 Heyker, Linda 4 Kirchner, Hélène 4 Klempien-Hinrichs, Renate 4 Krivine, Jean 4 Overbeek, Roy 4 Pennemann, Karl-Heinz 4 Skodinis, Konstantin 3 Arendt, Thorsten 3 Banach, Richard 3 Barthelmann, Klaus 3 Bruggink, H. J. Sander 3 Bruni, Roberto 3 Busatto, Giorgio 3 Duval, Dominique 3 Ehrig, Karsten 3 Fernández, Maribel 3 Harmer, Russ 3 Makowsky, Johann-Andreas 3 Martiel, Simon 3 Navarro, Marisa 3 Perdrix, Simon 3 Pinaud, Bruno 3 Pino, Elvira 3 Prost, Frédéric 3 Saadat, Maryam Ghaffari 3 Satta, Giorgio 3 Strüber, Daniel 3 Subramanian, Kumbakonam Govindarajan 2 Anjorin, Anthony 2 Barkowsky, Matthias 2 Bodlaender, Hans L. 2 Bucchiarone, Antonio 2 Castelnovo, Davide 2 Ceterchi, Rodica 2 Courtehoute, Brian 2 Dassow, Jürgen 2 Durán, Francisco 2 Dyck, Johannes 2 Engels, Gregor 2 Ermel, Claudia 2 Fritsche, Lars 2 Gnesi, Stefania 2 Hanus, Michael 2 Jeong, Tae Eui 2 Jouannaud, Jean-Pierre 2 Kissinger, Aleks 2 Knirsch, Peter 2 König, Harald 2 Lapoire, Denis 2 Lautemann, Clemens 2 Leih, George 2 Lluch Lafuente, Alberto 2 Lohrey, Markus ...and 235 more Authors all top 5 Cited in 34 Serials 58 Theoretical Computer Science 23 Journal of Logical and Algebraic Methods in Programming 19 Journal of Computer and System Sciences 17 Information and Computation 13 MSCS. Mathematical Structures in Computer Science 6 Acta Informatica 5 Formal Aspects of Computing 4 Applied Categorical Structures 4 The Journal of Logic and Algebraic Programming 3 Discrete Applied Mathematics 3 Information Sciences 3 Natural Computing 2 Computers & Mathematics with Applications 2 Information Processing Letters 2 Annals of Pure and Applied Logic 2 Journal of Symbolic Computation 2 RAIRO. Informatique Théorique et Applications 2 Logical Methods in Computer Science 1 Artificial Intelligence 1 Discrete Mathematics 1 The Journal of Symbolic Logic 1 Mathematical Systems Theory 1 Science of Computer Programming 1 New Generation Computing 1 Algorithmica 1 Forum Mathematicum 1 Journal of Logic, Language and Information 1 The Electronic Journal of Combinatorics 1 Theory of Computing Systems 1 International Journal of Applied Mathematics and Computer Science 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Mathematics and the Arts 1 Computer Science Review 1 Journal of Membrane Computing all top 5 Cited in 18 Fields 364 Computer science (68-XX) 47 Category theory; homological algebra (18-XX) 39 Mathematical logic and foundations (03-XX) 25 Combinatorics (05-XX) 4 General algebraic systems (08-XX) 4 Operations research, mathematical programming (90-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Quantum theory (81-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Biology and other natural sciences (92-XX) 2 General and overarching topics; collections (00-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Probability theory and stochastic processes (60-XX) 1 Number theory (11-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Numerical analysis (65-XX) Citations by Year