Edit Profile (opens in new tab) Große-Rhode, Martin Compute Distance To: Compute 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 228 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 76 times in 56 Documents Cited by ▼ Year ▼ Structured transition systems as lax coalgebras. Zbl 0917.68072Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko 10 1998 A coalgebraic presentation of structured transition systems. Zbl 0973.68173Corradini, A.; Große-Rhode, M.; Heckel, R. 8 2001 Refinements and modules for typed graph transformation systems. Zbl 0961.68034Große-Rhode, Martin; Presicce, Francesco Parisi; Simeoni, Marta 7 1999 Categorical concepts for parametrized partial specifications. Zbl 0909.18002Claßen, Ingo; Große-Rhode, Martin; Wolter, Uwe 6 1995 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 Refinements of graph transformation systems via rule expressions. Zbl 0956.68075Große-Rhode, Martin; Parisi Presicce, Francesco; Simeoni, Marta 6 2000 Spatial and temporal refinement of typed graph transformation systems. Zbl 0910.18001Große-Rhode, Martin; Parisi-Presicce, Francesco; Simeoni, Marta 5 1998 A compositional comparison of specifications of the alternating bit protocol in CCS and UNITY based on algebra transformation systems. Zbl 0963.68125Große-Rhode, Martin 5 1999 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 4 1988 Formal software specification with refinements and modules of typed graph transformation systems. Zbl 1013.68066Große-Rhode, Martin; Parisi Presicce, Francesco; Simeoni, Marta 4 2002 Applications of category theory to the area of algebraic specification in computer science. Zbl 0892.68064Ehrig, Hartmut; Große-Rhode, Martin; Wolter, Uwe 3 1998 Functorial theory of parameterized specifications in a general specification framework. Zbl 0829.68086Ehrig, Hartmut; Große-Rhode, Martin 3 1994 Formal concepts for an integrated internal model of the UML. Zbl 1263.68110Große-Rhode, Martin 3 2001 On a reference model for the formalization and integration of software specification languages. Zbl 0931.68069Große-Rhode, Martin 1 1999 An algebra of graph derivations using finite (co-) limit double theories. Zbl 0955.68080Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko 1 1999 Integrating semantics for object-oriented system models. Zbl 0986.68505Große-Rhode, Martin 1 2001 Semantic integration of heterogeneous software specifications. Zbl 1058.68073Große-Rhode, Martin 1 2004 Algebraic specification of action trees and recursive processes. Zbl 0798.68104Große-Rhode, M.; Dimitrovici, C. 1 1992 Algebra transformation systems as a unifying framework. Zbl 1263.68076Große-Rhode, Martin 1 2002 Semantic integration of heterogeneous software specifications. Zbl 1058.68073Große-Rhode, Martin 1 2004 Formal software specification with refinements and modules of typed graph transformation systems. Zbl 1013.68066Große-Rhode, Martin; Parisi Presicce, Francesco; Simeoni, Marta 4 2002 Algebra transformation systems as a unifying framework. Zbl 1263.68076Große-Rhode, Martin 1 2002 A coalgebraic presentation of structured transition systems. Zbl 0973.68173Corradini, A.; Große-Rhode, M.; Heckel, R. 8 2001 Formal concepts for an integrated internal model of the UML. Zbl 1263.68110Große-Rhode, Martin 3 2001 Integrating semantics for object-oriented system models. Zbl 0986.68505Große-Rhode, Martin 1 2001 Refinements of graph transformation systems via rule expressions. Zbl 0956.68075Große-Rhode, Martin; Parisi Presicce, Francesco; Simeoni, Marta 6 2000 Refinements and modules for typed graph transformation systems. Zbl 0961.68034Große-Rhode, Martin; Presicce, Francesco Parisi; Simeoni, Marta 7 1999 A compositional comparison of specifications of the alternating bit protocol in CCS and UNITY based on algebra transformation systems. Zbl 0963.68125Große-Rhode, Martin 5 1999 On a reference model for the formalization and integration of software specification languages. Zbl 0931.68069Große-Rhode, Martin 1 1999 An algebra of graph derivations using finite (co-) limit double theories. Zbl 0955.68080Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko 1 1999 Structured transition systems as lax coalgebras. Zbl 0917.68072Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko 10 1998 Spatial and temporal refinement of typed graph transformation systems. Zbl 0910.18001Groß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.68064Ehrig, Hartmut; Große-Rhode, Martin; Wolter, Uwe 3 1998 Categorical concepts for parametrized partial specifications. Zbl 0909.18002Claßen, Ingo; Große-Rhode, Martin; Wolter, Uwe 6 1995 Functorial theory of parameterized specifications in a general specification framework. Zbl 0829.68086Ehrig, Hartmut; Große-Rhode, Martin 3 1994 Algebraic specification of action trees and recursive processes. Zbl 0798.68104Große-Rhode, M.; Dimitrovici, C. 1 1992 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 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 4 1988 all cited Publications top 5 cited Publications all top 5 Cited by 64 Authors 7 Corradini, Andrea 7 Montanari, Ugo G. 5 Ehrig, Hartmut 5 Große-Rhode, Martin 4 Bonchi, Filippo 4 Parisi-Presicce, Francesco 3 Gadducci, Fabio 3 Heckel, Reiko 3 Koch, Manuel 3 Ribeiro, Leila 3 Schröder, Lutz 3 Wolter, Uwe E. 2 Baier, Christel 2 Balan, Adriana 2 Dotti, Fernando Luís 2 Klin, Bartek 2 König, Harald 2 Kurz, Alexander 2 Kuske, Sabine 2 Mahmoudi, Mojgan 2 Majster-Cederbaum, Mila E. 2 Mancini, Luigi Vincenzo 2 Orejas, Fernando 2 Shahbaz, Leila 2 Simeoni, Marta 2 Yavari, Mahdieh 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 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 Kreowski, Hans-Jörg 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 Mossakowski, Till 1 Padberg, Julia 1 Pistore, Marco 1 Qiu, Zongyan 1 Rosselló, Francesc 1 Taentzer, Gabriele 1 Tarlecki, Andrzej 1 Vickers, Steven 1 Zschaler, Steffen all top 5 Cited in 12 Serials 14 Theoretical Computer Science 4 Applied Categorical Structures 2 Journal of Computer and System Sciences 2 Formal Aspects of Computing 2 The Journal of Logic and Algebraic Programming 2 Journal of Algebra and its Applications 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 49 Computer science (68-XX) 13 Category theory; homological algebra (18-XX) 5 Mathematical logic and foundations (03-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Group theory and generalizations (20-XX) 3 General algebraic systems (08-XX) 3 General topology (54-XX) 1 General and overarching topics; collections (00-XX) Citations by Year