Martin Große-Rhode

According to our database1, Martin Große-Rhode authored at least 50 papers between 1987 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Achieving Quality in Customer-Configurable Products.
Proceedings of the Relating System Quality and Software Architecture, 2014

2013
Anforderungen von Leitbranchen der deutschen Industrie an Variantenmanagement und Wiederverwendung und daraus resultierende Forschungsfragestellungen.
Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

2004
Semantic Integration of Heterogeneous Software Specifications
Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-09853-0, 2004

On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Language Engineering in Practice.
Proceedings of the Language Engineering for Model-Driven Software Development, 29. February, 2004

2002
Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems.
J. Comput. Syst. Sci., 2002

Compositional Comparison of Formal Software Specifications Using Transformation Systems.
Formal Aspects Comput., 2002

2001
A Coalgebraic presentation of structured transition systems.
Theor. Comput. Sci., 2001

Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen.
Inform. Forsch. Entwickl., 2001

Formal Concepts for an Integrated Internal Model of the UML.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

Algebra Transformation Systems as a Unifying Framework.
Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

The DFG Priority Programme "Integration of Software Specification Techniques for Applications in Engineering".
Bull. EATCS, 2001

Interactive Rule-Based Specification with an Application to Visual Language Definition.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Integrating Semantics for Object-Oriented System Models.
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

On a Reference Model for the Formalization and Integration of Software Specification Languages.
Proceedings of the Current Trends in Theoretical Computer Science, 2001

On Formal Semantics and Integration of Object-Oriented Modeling Languages.
Proceedings of the Current Trends in Theoretical Computer Science, 2001

Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage
Springer-Lehrbuch, Springer, ISBN: 978-3-540-41923-5, 2001

2000
On Formal Semantics and Integration of Object-Oriented Modeling Languages.
Bull. EATCS, 2000

1999
On a Reference Model for the Formalization and Integration of Software Specification Languages.
Bull. EATCS, 1999

A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems.
Proceedings of the Integrated Formal Methods, 1999

Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

Mathematisch-strukturelle Grundlagen der Informatik
Springer-Lehrbuch, Springer, ISBN: 978-3-540-63865-0, 1999

1998
Structured Transition Systems as Lax Coalgebras.
Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998

First Steps Towards an Institution of Algebra Replacement Systems.
Appl. Categorical Struct., 1998

Applications of Category Theory to the Area of Algebraic Specification in Computer Science.
Appl. Categorical Struct., 1998

Refinements and Modules for Typed Graph Transformation Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Refinements of Graph Transformation Systems via Rule Expressions.
Proceedings of the Theory and Application of Graph Transformations, 1998

Spatial and Temporal Refinement of Typed Graph Transformation Systems.
Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

Algebra Transformation Systems and their Composition.
Proceedings of the Fundamental Approaches to Software Engineering, 1998

Vom Begriff zur Kategorie.
Proceedings of the Sozialgeschichte der Informatik, 1998

1997
Transition Specifications for Dynamic Abstract Data Types.
Appl. Categorical Struct., 1997

From algebra transformation to labelled transition systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

1995
Specification of transition categories: an approach to dynamic abstract data types.
PhD thesis, 1995

Categorical Concepts for Parameterized Partial Specifications.
Math. Struct. Comput. Sci., 1995

Transition Specifications for Dynamic Abstract Data Type.
Bull. EATCS, 1995

Concurrent State Transformations on Abstract Data Types.
Proceedings of the Recent Trends in Data Type Specification, 1995

On the Role of Category Theory in the Area of Algebraic Specification.
Proceedings of the Recent Trends in Data Type Specification, 1995

1994
Functorial Theory of Parameterized Specifications in a General Specification Framework.
Theor. Comput. Sci., 1994

1993
Restriction Constructions in Specification Logics.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

1992
Restriction Constructions in Specification Logics.
Bull. EATCS, 1992

Two-Categorical Specification of Partial Algebras.
Proceedings of the Recent Trends in Data Type Specification, 1992

Algebraic specification of action trees and recursive processes.
Proceedings of the Tree Automata and Languages., 1992

1991
Towards a Formally Based Component Description Language - A Foundation for Reuse.
Struct. Program., 1991

Towards a Formally Based Component Description Language.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

1990
Combining Data Type and Recursive Process Specifications Using Projection Algebras.
Theor. Comput. Sci., 1990

Towards Object-Oriented Algebraic Specifications.
Proceedings of the Recent Trends in Data Type Specification, 1990

1989
Transformation of Combined Data Type and Process Specifications Using Projection Algebras.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

1988
Parameterized Data Type and Process Specifications Using Projection Algebras.
Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

1987
Algebraic Data Type and Process Specifications based on Projection Spaces.
Proceedings of the Recent Trends in Data Type Specification, 1987


  Loading...