The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Martin Große-Rhode: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
    Algebraic Data Type and Process Specifications based on Projection Spaces. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:23-43 [Conf]
  2. Martin Große-Rhode
    Towards Object-Oriented Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:98-116 [Conf]
  3. Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni, Gabriele Taentzer
    Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions. [Citation Graph (0, 0)][DBLP]
    AGTIVE, 1999, pp:31-45 [Conf]
  4. Martin Große-Rhode
    Parameterized Data Type and Process Specifications Using Projection Algebras. [Citation Graph (0, 0)][DBLP]
    Categorial Methods in Computer Science, 1988, pp:185-197 [Conf]
  5. Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter
    On the Role of Category Theory in the Area of Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:17-48 [Conf]
  6. Martin Große-Rhode
    Concurrent State Transformations on Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:222-236 [Conf]
  7. Martin Große-Rhode, Uwe Wolter
    Two-Categorical Specification of Partial Algebras. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1992, pp:207-219 [Conf]
  8. Martin Große-Rhode
    Language Engineering in Practice. [Citation Graph (0, 0)][DBLP]
    Language Engineering for Model-Driven Software Development, 2004, pp:- [Conf]
  9. Martin Große-Rhode
    On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:567-581 [Conf]
  10. Martin Große-Rhode
    Algebra Transformation Systems and their Composition. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:107-122 [Conf]
  11. Martin Große-Rhode
    Integrating Semantics for Object-Oriented System Models. [Citation Graph (0, 0)][DBLP]
    ICALP, 2001, pp:40-60 [Conf]
  12. Martin Große-Rhode
    A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:253-272 [Conf]
  13. Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
    Spatial and Temporal Refinement of Typed Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:553-561 [Conf]
  14. Martin Große-Rhode, Hartmut Ehrig
    Transformation of Combined Data Type and Process Specifications Using Projection Algebras. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:301-339 [Conf]
  15. Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
    Refinements of Graph Transformation Systems via Rule Expressions. [Citation Graph (0, 0)][DBLP]
    TAGT, 1998, pp:368-382 [Conf]
  16. Joachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode
    Towards a Formally Based Component Description Language. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:358-378 [Conf]
  17. Roswitha Bardohl, Martin Große-Rhode, Marta Simeoni
    Interactive Rule-Based Specification with an Application to Visual Language Definition. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:1-20 [Conf]
  18. Andrea Corradini, Martin Große-Rhode, Reiko Heckel
    An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:92-106 [Conf]
  19. Martin Große-Rhode
    From algebra transformation to labelled transition systems. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:269-284 [Conf]
  20. Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
    Refinements and Modules for Typed Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:138-151 [Conf]
  21. Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann
    On Formal Semantics and Integration of Object-Oriented Modeling Languages. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2000, v:70, n:, pp:77-81 [Journal]
  22. Martin Große-Rhode
    The DFG Priority Programme "Integration of Software Specification Techniques for Applications in Engineering". [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2001, v:73, n:, pp:52-56 [Journal]
  23. Martin Große-Rhode
    Transition Specifications for Dynamic Abstract Data Type. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1995, v:55, n:, pp:- [Journal]
  24. Martin Große-Rhode
    On a Reference Model for the Formalization and Integration of Software Specification Languages. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1999, v:68, n:, pp:81-89 [Journal]
  25. Martin Große-Rhode, Hartmut Ehrig
    Restriction Constructions in Specification Logics. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1992, v:46, n:, pp:84-89 [Journal]
  26. Andrea Corradini, Martin Große-Rhode, Reiko Heckel
    Structured Transition Systems as Lax Coalgebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:11, n:, pp:- [Journal]
  27. Martin Große-Rhode
    Algebra Transformation Systems as a Unifying Framework. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  28. Martin Große-Rhode
    Formal Concepts for an Integrated Internal Model of the UML. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:4, pp:- [Journal]
  29. Martin Große-Rhode
    Compositional Comparison of Formal Software Specifications Using Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:2, pp:161-186 [Journal]
  30. Hartmut Ehrig, Martin Große-Rhode
    Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 2001, v:16, n:2, pp:110-117 [Journal]
  31. Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
    Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2002, v:64, n:2, pp:171-218 [Journal]
  32. Ingo Claßen, Martin Große-Rhode, Uwe Wolter
    Categorical Concepts for Parameterized Partial Specifications. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1995, v:5, n:2, pp:153-188 [Journal]
  33. Joachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode
    Towards a Formally Based Component Description Language - A Foundation for Reuse. [Citation Graph (0, 0)][DBLP]
    Structured Programming, 1991, v:12, n:2, pp:91-110 [Journal]
  34. Andrea Corradini, Martin Große-Rhode, Reiko Heckel
    A Coalgebraic presentation of structured transition systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:260, n:1-2, pp:27-55 [Journal]
  35. Hartmut Ehrig, Martin Große-Rhode
    Functorial Theory of Parameterized Specifications in a General Specification Framework. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:2, pp:221-266 [Journal]
  36. Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
    Combining Data Type and Recursive Process Specifications Using Projection Algebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:71, n:3, pp:347-380 [Journal]

Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002