Algebraic Data Type and Process Specifications based on Projection Spaces. - Hartmut Ehrig; Francesco Parisi-Presicce; Paul Boehm; Catharina Rieckhoff; Christian Dimitrovici; Martin Große-Rhode (ADT, 1987)

Parameterized Data Type and Process Specifications Using Projection Algebras. - Martin Große-Rhode (Categorial Methods in Computer Science, 1988)

Transformation of Combined Data Type and Process Specifications Using Projection Algebras. - Martin Große-Rhode; Hartmut Ehrig (REX Workshop, 1989)

Towards Object-Oriented Algebraic Specifications. - Martin Große-Rhode (ADT, 1990)

Combining Data Type and Recursive Process Specifications Using Projection Algebras. - Hartmut Ehrig; Francesco Parisi-Presicce; Paul Boehm; Catharina Rieckhoff; Christian Dimitrovici; Martin Große-Rhode (Theor. Comput. Sci., 1990)

Towards a Formally Based Component Description Language. - Joachim Cramer; Werner Fey; Michael Goedicke; Martin Große-Rhode (TAPSOFT, Vol.2, 1991)

Towards a Formally Based Component Description Language - A Foundation for Reuse. - Joachim Cramer; Werner Fey; Michael Goedicke; Martin Große-Rhode (Struct. Program., 1991)

Algebraic specification of action trees and recursive processes. - Martin Große-Rhode; Christian Dimitrovici (Tree Automata and Languages, 1992)

Two-Categorical Specification of Partial Algebras. - Martin Große-Rhode; Uwe Wolter (COMPASS/ADT, 1992)

Restriction Constructions in Specification Logics. - Martin Große-Rhode; Hartmut Ehrig (Bull. EATCS, 1992)

Restriction Constructions in Specification Logics. - Martin Große-Rhode; Hartmut Ehrig (Current Trends in Theoretical Computer Science, 1993)

Functorial Theory of Parameterized Specifications in a General Specification Framework. - Hartmut Ehrig; Martin Große-Rhode (Theor. Comput. Sci., 1994)

On the Role of Category Theory in the Area of Algebraic Specification. - Hartmut Ehrig; Martin Große-Rhode; Uwe Wolter (COMPASS/ADT, 1995)

Concurrent State Transformations on Abstract Data Types. - Martin Große-Rhode (COMPASS/ADT, 1995)

Transition Specifications for Dynamic Abstract Data Type. - Martin Große-Rhode (Bull. EATCS, 1995)

Categorical Concepts for Parameterized Partial Specifications. - Ingo Claßen; Martin Große-Rhode; Uwe Wolter (Math. Struct. Comput. Sci., 1995)

Specification of transition categories: an approach to dynamic abstract data types. - Martin Große-Rhode (1995)

From algebra transformation to labelled transition systems. - Martin Große-Rhode (WADT, 1997)

Transition Specifications for Dynamic Abstract Data Types. - Martin Große-Rhode (Appl. Categorical Struct., 1997)

Vom Begriff zur Kategorie. - Mechthild Koreuber; Martin Große-Rhode (Sozialgeschichte der Informatik, 1998)

Algebra Transformation Systems and their Composition. - Martin Große-Rhode (FASE, 1998)

Spatial and Temporal Refinement of Typed Graph Transformation Systems. - Martin Große-Rhode; Francesco Parisi-Presicce; Marta Simeoni (MFCS, 1998)

Refinements of Graph Transformation Systems via Rule Expressions. - Martin Große-Rhode; Francesco Parisi-Presicce; Marta Simeoni (TAGT, 1998)

An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. - Andrea Corradini 001; Martin Große-Rhode; Reiko Heckel (WADT, 1998)

Refinements and Modules for Typed Graph Transformation Systems. - Martin Große-Rhode; Francesco Parisi-Presicce; Marta Simeoni (WADT, 1998)

Applications of Category Theory to the Area of Algebraic Specification in Computer Science. - Hartmut Ehrig; Martin Große-Rhode; Uwe Wolter (Appl. Categorical Struct., 1998)

First Steps Towards an Institution of Algebra Replacement Systems. - Martin Große-Rhode (Appl. Categorical Struct., 1998)

Structured Transition Systems as Lax Coalgebras. - Andrea Corradini 001; Martin Große-Rhode; Reiko Heckel (CMCS, 1998)

Mathematisch-strukturelle Grundlagen der Informatik - Hartmut Ehrig; Bernd Mahr; Felix Cornelius; Martin Große-Rhode; Philip Zeitz (Mathematisch-strukturelle Grundlagen der Informatik, 1999)

Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions. - Martin Große-Rhode; Francesco Parisi-Presicce; Marta Simeoni; Gabriele Taentzer (AGTIVE, 1999)

A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems. - Martin Große-Rhode (IFM, 1999)

On a Reference Model for the Formalization and Integration of Software Specification Languages. - Martin Große-Rhode (Bull. EATCS, 1999)

On Formal Semantics and Integration of Object-Oriented Modeling Languages. - Hartmut Ehrig; Robert Geisler; Martin Große-Rhode; Marcus Klar; Stefan Mann (Bull. EATCS, 2000)

Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage - Hartmut Ehrig; Bernd Mahr; Martin Große-Rhode; Felix Cornelius; Philip Zeitz (Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage, 2001)

On Formal Semantics and Integration of Object-Oriented Modeling Languages. - Hartmut Ehrig; Robert Geisler; Martin Große-Rhode; Marcus Klar; Stefan Mann (Current Trends in Theoretical Computer Science, 2001)

On a Reference Model for the Formalization and Integration of Software Specification Languages. - Martin Große-Rhode (Current Trends in Theoretical Computer Science, 2001)

Integrating Semantics for Object-Oriented System Models. - Martin Große-Rhode (ICALP, 2001)

Interactive Rule-Based Specification with an Application to Visual Language Definition. - Roswitha Bardohl; Martin Große-Rhode; Marta Simeoni (WADT, 2001)

The DFG Priority Programme "Integration of Software Specification Techniques for Applications in Engineering". - Martin Große-Rhode (Bull. EATCS, 2001)

Algebra Transformation Systems as a Unifying Framework. - Martin Große-Rhode (GETGRATS Closing Workshop, 2001)

Formal Concepts for an Integrated Internal Model of the UML. - Martin Große-Rhode (UNIGRA, 2001)

Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen. - Hartmut Ehrig; Martin Große-Rhode (Inform. Forsch. Entwickl., 2001)

A Coalgebraic presentation of structured transition systems. - Andrea Corradini 001; Martin Große-Rhode; Reiko Heckel (Theor. Comput. Sci., 2001)

Compositional Comparison of Formal Software Specifications Using Transformation Systems. - Martin Große-Rhode (Formal Aspects Comput., 2002)

Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems. - Martin Große-Rhode; Francesco Parisi-Presicce; Marta Simeoni (J. Comput. Syst. Sci., 2002)

Language Engineering in Practice. - Martin Große-Rhode (Language Engineering for Model-Driven Software Development, 2004)

On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling. - Martin Große-Rhode (SoftSpez Final Report, 2004)

Semantic Integration of Heterogeneous Software Specifications - Martin Große-Rhode (Springer, 2004)

Anforderungen von Leitbranchen der deutschen Industrie an Variantenmanagement und Wiederverwendung und daraus resultierende Forschungsfragestellungen. - Martin Große-Rhode; Peter Manhart; Ralf Mauersberger; Sebastian Schröck; Michael Schulze; Thorsten Weyer (Software Engineering (Workshops), 2013)

Achieving Quality in Customer-Configurable Products. - Martin Große-Rhode; Robert Hilbrich; Stefan Mann; Stephan Weißleder (Relating System Quality and Software Architecture, 2014)