Edit Profile (opens in new tab) Große-Rhode, Martin Co-Author Distance Author ID: grosse-rhode.martin Published as: Große-Rhode, Martin; Große-Rhode, M.; Grosse-Rhode, Martin more...less Documents Indexed: 31 Publications since 1988, including 3 Books Co-Authors: 18 Co-Authors with 20 Joint Publications 232 Co-Co-Authors all top 5 Co-Authors 11 single-authored 9 Ehrig, Hartmut 5 Parisi-Presicce, Francesco 5 Simeoni, Marta 3 Corradini, Andrea 3 Dimitrovici, Cristian 3 Heckel, Reiko 3 Wolter, Uwe E. 2 Boehm, Paul 2 Cornelius, Felix 2 Geisler, Robert 2 Klar, Marcus 2 Mahr, Bernd 2 Mann, Stefan A. 2 Rieckhoff, Catharina 2 Zeitz, Philip 1 Bardohl, Roswitha 1 Claßen, Ingo 1 Parisi-Presicce, Franceso all top 5 Serials 3 Theoretical Computer Science 3 Applied Categorical Structures 2 Bulletin of the European Association for Theoretical Computer Science (EATCS) 2 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Journal of Computer and System Sciences 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Monographs in Theoretical Computer Science. An EATCS Series Fields 31 Computer science (68-XX) 6 Category theory; homological algebra (18-XX) 5 Mathematical logic and foundations (03-XX) 2 General algebraic systems (08-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 19 Publications have been cited 81 times in 60 Documents Cited by ▼ Year ▼ Structured transition systems as lax coalgebras. Zbl 0917.68072 Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko 10 1998 Refinements and modules for typed graph transformation systems. Zbl 0961.68034 Große-Rhode, Martin; Presicce, Francesco Parisi; Simeoni, Marta 9 1999 A coalgebraic presentation of structured transition systems. Zbl 0973.68173 Corradini, A.; Große-Rhode, M.; Heckel, R. 8 2001 Combining data type and recursive process specifications using projection algebras. Zbl 0695.68015 Ehrig, Hartmut; Parisi-Presicce, Francesco; Boehm, Paul; Rieckhoff, Catharina; Dimitrovici, Cristian; Grosse-Rhode, Martin 7 1990 Refinements of graph transformation systems via rule expressions. Zbl 0956.68075 Große-Rhode, Martin; Parisi Presicce, Francesco; Simeoni, Marta 6 2000 Categorical concepts for parametrized partial specifications. Zbl 0909.18002 Claßen, Ingo; Große-Rhode, Martin; Wolter, Uwe 6 1995 A compositional comparison of specifications of the alternating bit protocol in CCS and UNITY based on algebra transformation systems. Zbl 0963.68125 Große-Rhode, Martin 5 1999 Spatial and temporal refinement of typed graph transformation systems. Zbl 0910.18001 Große-Rhode, Martin; Parisi-Presicce, Francesco; Simeoni, Marta 5 1998 Formal software specification with refinements and modules of typed graph transformation systems. Zbl 1013.68066 Große-Rhode, Martin; Parisi Presicce, Francesco; Simeoni, Marta 5 2002 Algebraic data type and process specifications based on projection spaces. Zbl 0661.68017 Ehrig, Hartmut; Parisi-Presicce, Franceso; Boehm, Paul; Rieckhoff, Catharina; Dimitrovici, Cristian; Große-Rhode, Martin 4 1988 Functorial theory of parameterized specifications in a general specification framework. Zbl 0829.68086 Ehrig, Hartmut; Große-Rhode, Martin 4 1994 Applications of category theory to the area of algebraic specification in computer science. Zbl 0892.68064 Ehrig, Hartmut; Große-Rhode, Martin; Wolter, Uwe 3 1998 Formal concepts for an integrated internal model of the UML. Zbl 1263.68110 Große-Rhode, Martin 3 2001 On a reference model for the formalization and integration of software specification languages. Zbl 0931.68069 Große-Rhode, Martin 1 1999 An algebra of graph derivations using finite (co-) limit double theories. Zbl 0955.68080 Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko 1 1999 Integrating semantics for object-oriented system models. Zbl 0986.68505 Große-Rhode, Martin 1 2001 Semantic integration of heterogeneous software specifications. Zbl 1058.68073 Große-Rhode, Martin 1 2004 Algebraic specification of action trees and recursive processes. Zbl 0798.68104 Große-Rhode, M.; Dimitrovici, C. 1 1992 Algebra transformation systems as a unifying framework. Zbl 1263.68076 Große-Rhode, Martin 1 2002 Semantic integration of heterogeneous software specifications. Zbl 1058.68073 Große-Rhode, Martin 1 2004 Formal software specification with refinements and modules of typed graph transformation systems. Zbl 1013.68066 Große-Rhode, Martin; Parisi Presicce, Francesco; Simeoni, Marta 5 2002 Algebra transformation systems as a unifying framework. Zbl 1263.68076 Große-Rhode, Martin 1 2002 A coalgebraic presentation of structured transition systems. Zbl 0973.68173 Corradini, A.; Große-Rhode, M.; Heckel, R. 8 2001 Formal concepts for an integrated internal model of the UML. Zbl 1263.68110 Große-Rhode, Martin 3 2001 Integrating semantics for object-oriented system models. Zbl 0986.68505 Große-Rhode, Martin 1 2001 Refinements of graph transformation systems via rule expressions. Zbl 0956.68075 Große-Rhode, Martin; Parisi Presicce, Francesco; Simeoni, Marta 6 2000 Refinements and modules for typed graph transformation systems. Zbl 0961.68034 Große-Rhode, Martin; Presicce, Francesco Parisi; Simeoni, Marta 9 1999 A compositional comparison of specifications of the alternating bit protocol in CCS and UNITY based on algebra transformation systems. Zbl 0963.68125 Große-Rhode, Martin 5 1999 On a reference model for the formalization and integration of software specification languages. Zbl 0931.68069 Große-Rhode, Martin 1 1999 An algebra of graph derivations using finite (co-) limit double theories. Zbl 0955.68080 Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko 1 1999 Structured transition systems as lax coalgebras. Zbl 0917.68072 Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko 10 1998 Spatial and temporal refinement of typed graph transformation systems. Zbl 0910.18001 Große-Rhode, Martin; Parisi-Presicce, Francesco; Simeoni, Marta 5 1998 Applications of category theory to the area of algebraic specification in computer science. Zbl 0892.68064 Ehrig, Hartmut; Große-Rhode, Martin; Wolter, Uwe 3 1998 Categorical concepts for parametrized partial specifications. Zbl 0909.18002 Claßen, Ingo; Große-Rhode, Martin; Wolter, Uwe 6 1995 Functorial theory of parameterized specifications in a general specification framework. Zbl 0829.68086 Ehrig, Hartmut; Große-Rhode, Martin 4 1994 Algebraic specification of action trees and recursive processes. Zbl 0798.68104 Große-Rhode, M.; Dimitrovici, C. 1 1992 Combining data type and recursive process specifications using projection algebras. Zbl 0695.68015 Ehrig, Hartmut; Parisi-Presicce, Francesco; Boehm, Paul; Rieckhoff, Catharina; Dimitrovici, Cristian; Grosse-Rhode, Martin 7 1990 Algebraic data type and process specifications based on projection spaces. Zbl 0661.68017 Ehrig, Hartmut; Parisi-Presicce, Franceso; Boehm, Paul; Rieckhoff, Catharina; Dimitrovici, Cristian; Große-Rhode, Martin 4 1988 all cited Publications top 5 cited Publications all top 5 Cited by 67 Authors 8 Corradini, Andrea 7 Montanari, Ugo G. 5 Ehrig, Hartmut 5 Große-Rhode, Martin 4 Bonchi, Filippo 4 Gadducci, Fabio 4 Heckel, Reiko 4 Parisi-Presicce, Francesco 3 Koch, Manuel 3 Kuske, Sabine 3 Ribeiro, Leila 3 Schröder, Lutz 3 Wolter, Uwe E. 3 Yavari, Mahdieh 2 Baier, Christel 2 Balan, Adriana 2 Dotti, Fernando Luís 2 Klin, Bartek 2 König, Harald 2 Kreowski, Hans-Jörg 2 Kurz, Alexander 2 Mahmoudi, Mojgan 2 Majster-Cederbaum, Mila E. 2 Mancini, Luigi Vincenzo 2 Mossakowski, Till 2 Orejas, Fernando 2 Shahbaz, Leila 2 Simeoni, Marta 1 Baldan, Paolo 1 Busatto, Giorgio 1 Buscemi, Maria Grazia 1 Cherchago, Alexey 1 Diskin, Zinovy 1 Durán, Francisco 1 Ebrahimi, Mohammad Mehdi 1 Engels, Gregor 1 Foss, Luciana 1 Fronk, Alexander 1 Giuli, Eraldo 1 Glauer, Martin 1 Gumm, Heinz-Peter 1 Hermann, Frank 1 Hoffman, Piotr 1 Hughes, Jesse 1 Jacobs, Bart 1 Kehden, Britta 1 Klempien-Hinrichs, Renate 1 Knirsch, Peter 1 Kummetz, Ralph 1 Lasota, Sławomir 1 Liu, Xiaojian 1 Liu, Zhiming 1 Llabrés, Mercè 1 Mahr, Bernd 1 Maietti, Maria Emilia 1 Meinke, Karl 1 Moreno-Delgado, Antonio 1 Padberg, Julia 1 Pistore, Marco 1 Qiu, Zongyan 1 Rosselló, Francesc 1 Rozenberg, Grzegorz 1 Taentzer, Gabriele 1 Tarlecki, Andrzej 1 Vickers, Steven 1 Zhao, Liang 1 Zschaler, Steffen all top 5 Cited in 12 Serials 14 Theoretical Computer Science 4 Applied Categorical Structures 3 Journal of Algebra and its Applications 2 Journal of Computer and System Sciences 2 Formal Aspects of Computing 2 The Journal of Logic and Algebraic Programming 1 Information Processing Letters 1 Journal of Pure and Applied Algebra 1 Quaestiones Mathematicae 1 Journal of Symbolic Computation 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 8 Fields 52 Computer science (68-XX) 15 Category theory; homological algebra (18-XX) 5 Mathematical logic and foundations (03-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Group theory and generalizations (20-XX) 4 General algebraic systems (08-XX) 3 General topology (54-XX) 1 General and overarching topics; collections (00-XX) Citations by Year