×

zbMATH — the first resource for mathematics

Große-Rhode, Martin

Compute Distance To:
Author ID: grosse-rhode.martin Recent zbMATH articles by "Große-Rhode, Martin"
Published as: Grosse-Rhode, Martin; Große-Rhode, M.; Große-Rhode, Martin
Documents Indexed: 31 Publications since 1988, including 3 Books

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 77 times in 55 Documents Cited by Year
Structured transition systems as lax coalgebras. Zbl 0917.68072
Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko
10
1998
A coalgebraic presentation of structured transition systems. Zbl 0973.68173
Corradini, A.; Große-Rhode, M.; Heckel, R.
8
2001
Refinements and modules for typed graph transformation systems. Zbl 0961.68034
Große-Rhode, Martin; Presicce, Francesco Parisi; Simeoni, Marta
7
1999
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
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
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
5
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
5
1988
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
4
1999
Spatial and temporal refinement of typed graph transformation systems. Zbl 0910.18001
Große-Rhode, Martin; Parisi-Presicce, Francesco; Simeoni, Marta
4
1998
Formal concepts for an integrated internal model of the UML. Zbl 1263.68110
Große-Rhode, Martin
3
2001
An algebra of graph derivations using finite (co-) limit double theories. Zbl 0955.68080
Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko
3
1999
Applications of category theory to the area of algebraic specification in computer science. Zbl 0892.68064
Ehrig, Hartmut; Große-Rhode, Martin; Wolter, Uwe
2
1998
Functorial theory of parameterized specifications in a general specification framework. Zbl 0829.68086
Ehrig, Hartmut; Große-Rhode, Martin
2
1994
Semantic integration of heterogeneous software specifications. Zbl 1058.68073
Große-Rhode, Martin
1
2004
Algebra transformation systems as a unifying framework. Zbl 1263.68076
Große-Rhode, Martin
1
2002
Compositional comparison of formal software specifications using transformation systems. Zbl 1063.68605
Große-Rhode, Martin
1
2002
On a reference model for the formalization and integration of software specification languages. Zbl 1049.68090
Große-Rhode, Martin
1
2001
Integrating semantics for object-oriented system models. Zbl 0986.68505
Große-Rhode, Martin
1
2001
On a reference model for the formalization and integration of software specification languages. Zbl 0931.68069
Große-Rhode, Martin
1
1999
Algebraic specification of action trees and recursive processes. Zbl 0798.68104
Große-Rhode, M.; Dimitrovici, C.
1
1992
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
Compositional comparison of formal software specifications using transformation systems. Zbl 1063.68605
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
On a reference model for the formalization and integration of software specification languages. Zbl 1049.68090
Große-Rhode, Martin
1
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
7
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
4
1999
An algebra of graph derivations using finite (co-) limit double theories. Zbl 0955.68080
Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko
3
1999
On a reference model for the formalization and integration of software specification languages. Zbl 0931.68069
Große-Rhode, Martin
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
4
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
2
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
2
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
5
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
5
1988

Citations by Year