Concepedia

Martin Große–Rhode

MG

8

Publications

163

Citations

8

H-Index

1990

Active since

Affiliations

Technische Universität Berlin(Current)

University of Pisa

Martin Große–Rhode is an author at Technische Universität Berlin specializing in formal methods, engineering, and automated reasoning.

Top concepts

Publications per year

1990–2002

8

Publications

8

Combining data type and recursive process specifications using projection algebras

Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm et al. · Theoretical Computer Science · 1990 · 27 citations

, , +12

Categorical concepts for parameterized partial specifications

Ingo Claßen, Martin Große–Rhode, Uwe Wolter · Mathematical Structures in Computer Science · 1995 · 27 citations

, , +18

Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems

Martin Große–Rhode, Francesco Parisi Presicce, Marta Simeoni · Journal of Computer and System Sciences · 2002 · 22 citations

, , +15

Structured Transition Systems as Lax Coalgebras1 1Research partly supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems)

Andrea Corradini, Martin Große–Rhode, Reiko Heckel · Electronic Notes in Theoretical Computer Science · 1998 · 20 citations · Full text

, , +16

Functorial theory of a parameterized specifications in a general specification framework

Hartmut Ehrig, Martin Große–Rhode · Theoretical Computer Science · 1994 · 20 citations

, , +11

Rows per page

1–5 of 8