`Travelled to:`

1 × Germany

1 × Greece

1 × Portugal

1 × The Netherlands

1 × United Kingdom

`Collaborated with:`

∅ F.Parisi-Presicce M.Simeoni G.Täntzer J.Cramer W.Fey M.Goedicke

`Talks about:`

system (5) transform (4) base (3) composit (2) express (2) algebra (2) refin (2) model (2) graph (2) rule (2)

## Person: Martin Große-Rhode

### DBLP: Gro=szlig=e-Rhode:Martin

### Contributed to:

### Wrote 6 papers:

- ICALP-2001-Grosse-Rhode #modelling #object-oriented #semantics
- Integrating Semantics for Object-Oriented System Models (MGR), pp. 40–60.
- AGTIVE-1999-Grosse-RhodePST #composition #distributed #graph transformation #modelling #refinement
- Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions (MGR, FPP, MS, GT), pp. 31–45.
- IFM-1999-Grosse-Rhode #algebra #comparison #composition #protocol #specification
- A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems (MGR), pp. 253–272.
- FASE-1998-Grosse-Rhode #algebra #composition
- Algebra Transformation Systems and their Composition (MGR), pp. 107–122.
- TAGT-1998-Grosse-RhodePS #graph transformation
- Refinements of Graph Transformation Systems via Rule Expressions (MGR, FPP, MS), pp. 368–382.
- CCPSD-1991-CramerFGG #component #towards
- Towards a Formally Based Component Description Language (JC, WF, MG, MGR), pp. 358–378.