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:
2001
1999
1999
1998
1998
1991Wrote 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.