Martin Groe-Rhode
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1992–2001
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | ICALP | Integrating Semantics for Object-Oriented System Models. | Martin Groe-Rhode |
| 1999 | IFM | A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems. | Martin Groe-Rhode |
| 1998 | FASE | Algebra Transformation Systems and their Composition. | Martin Groe-Rhode |
| 1998 | MFCS | Spatial and Temporal Refinement of Typed Graph Transformation Systems. | Martin Groe-Rhode, Francesco Parisi-Presicce, Marta Simeoni |
| 1995 | COMPASS | On the Role of Category Theory in the Area of Algebraic Specification. | Hartmut Ehrig, Martin Groe-Rhode, Uwe Wolter |
| 1995 | COMPASS | Concurrent State Transformations on Abstract Data Types. | Martin Groe-Rhode |
| 1992 | COMPASS | Two-Categorical Specification of Partial Algebras. | Martin Groe-Rhode, Uwe Wolter |