Martin Große-Rhode

Publication Activity (10 Years)

Years Active: 1987-2013
Publications (10 Years): 0

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Martin Große-Rhode, Peter Manhart, Ralf Mauersberger, Sebastian Schröck, Michael Schulze, Thorsten Weyer
Anforderungen von Leitbranchen der deutschen Industrie an Variantenmanagement und Wiederverwendung und daraus resultierende Forschungsfragestellungen. Software Engineering (Workshops) (2013)
Martin Große-Rhode
Language Engineering in Practice. Language Engineering for Model-Driven Software Development (2004)
Martin Große-Rhode
On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling. SoftSpez Final Report (2004)
Martin Große-Rhode
Compositional Comparison of Formal Software Specifications Using Transformation Systems. Formal Aspects Comput. 13 (2) (2002)
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems. J. Comput. Syst. Sci. 64 (2) (2002)
Andrea Corradini, Martin Große-Rhode, Reiko Heckel
A Coalgebraic presentation of structured transition systems. Theor. Comput. Sci. 260 (1-2) (2001)
Martin Große-Rhode
Formal Concepts for an Integrated Internal Model of the UML. Electron. Notes Theor. Comput. Sci. 44 (4) (2001)
Martin Große-Rhode
Algebra Transformation Systems as a Unifying Framework. Electron. Notes Theor. Comput. Sci. 51 (2001)
Martin Große-Rhode
Integrating Semantics for Object-Oriented System Models. ICALP (2001)
Hartmut Ehrig, Martin Große-Rhode
Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen. Inform. Forsch. Entwickl. 16 (2) (2001)
Martin Große-Rhode
The DFG Priority Programme "Integration of Software Specification Techniques for Applications in Engineering". Bull. EATCS 73 (2001)
Roswitha Bardohl, Martin Große-Rhode, Marta Simeoni
Interactive Rule-Based Specification with an Application to Visual Language Definition. WADT (2001)
Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann
On Formal Semantics and Integration of Object-Oriented Modeling Languages. Bull. EATCS 70 (2000)
Martin Große-Rhode
On a Reference Model for the Formalization and Integration of Software Specification Languages. Bull. EATCS 68 (1999)
Martin Große-Rhode
A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems. IFM (1999)
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni, Gabriele Taentzer
Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions. AGTIVE (1999)
Martin Große-Rhode
Algebra Transformation Systems and their Composition. FASE (1998)
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
Spatial and Temporal Refinement of Typed Graph Transformation Systems. MFCS (1998)
Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter
Applications of Category Theory to the Area of Algebraic Specification in Computer Science. Appl. Categorical Struct. 6 (1) (1998)
Martin Große-Rhode
First Steps Towards an Institution of Algebra Replacement Systems. Appl. Categorical Struct. 6 (4) (1998)
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
Refinements of Graph Transformation Systems via Rule Expressions. TAGT (1998)
Andrea Corradini, Martin Große-Rhode, Reiko Heckel
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. WADT (1998)
Andrea Corradini, Martin Große-Rhode, Reiko Heckel
Structured Transition Systems as Lax Coalgebras. CMCS (1998)
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
Refinements and Modules for Typed Graph Transformation Systems. WADT (1998)
Martin Große-Rhode
Transition Specifications for Dynamic Abstract Data Types. Appl. Categorical Struct. 5 (3) (1997)
Martin Große-Rhode
From algebra transformation to labelled transition systems. WADT (1997)
Martin Große-Rhode
Transition Specifications for Dynamic Abstract Data Type. Bull. EATCS 55 (1995)
Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter
On the Role of Category Theory in the Area of Algebraic Specification. COMPASS/ADT (1995)
Martin Große-Rhode
Concurrent State Transformations on Abstract Data Types. COMPASS/ADT (1995)
Ingo Claßen, Martin Große-Rhode, Uwe Wolter
Categorical Concepts for Parameterized Partial Specifications. Math. Struct. Comput. Sci. 5 (2) (1995)
Hartmut Ehrig, Martin Große-Rhode
Functorial Theory of Parameterized Specifications in a General Specification Framework. Theor. Comput. Sci. 135 (2) (1994)
Martin Große-Rhode, Hartmut Ehrig
Restriction Constructions in Specification Logics. Bull. EATCS 46 (1992)
Martin Große-Rhode, Uwe Wolter
Two-Categorical Specification of Partial Algebras. COMPASS/ADT (1992)
Joachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode
Towards a Formally Based Component Description Language - A Foundation for Reuse. Struct. Program. 12 (2) (1991)
Joachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode
Towards a Formally Based Component Description Language. TAPSOFT, Vol.2 (1991)
Martin Große-Rhode
Towards Object-Oriented Algebraic Specifications. ADT (1990)
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. Theor. Comput. Sci. 71 (3) (1990)
Martin Große-Rhode, Hartmut Ehrig
Transformation of Combined Data Type and Process Specifications Using Projection Algebras. REX Workshop (1989)
Martin Große-Rhode
Parameterized Data Type and Process Specifications Using Projection Algebras. Categorial Methods in Computer Science (1988)
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. ADT (1987)

Martin Große-Rhode.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Martin Große-Rhode