default search action
Martin Große-Rhode
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2004
- [b4]Martin Große-Rhode:
Semantic Integration of Heterogeneous Software Specifications. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2004, ISBN 978-3-642-07306-9, pp. I-IX, 1-330 - 2001
- [b3]Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornelius, Philip Zeitz:
Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage. Springer-Lehrbuch, Springer 2001, ISBN 978-3-540-41923-5, pp. 1-606 - 1999
- [b2]Hartmut Ehrig, Bernd Mahr, Felix Cornelius, Martin Große-Rhode, Philip Zeitz:
Mathematisch-strukturelle Grundlagen der Informatik. Springer-Lehrbuch, Springer 1999, ISBN 978-3-540-63865-0 - 1995
- [b1]Martin Große-Rhode:
Specification of transition categories: an approach to dynamic abstract data types. Technical University of Berlin, Germany, 1995, pp. 1-100
Journal Articles
- 2002
- [j16]Martin Große-Rhode:
Compositional Comparison of Formal Software Specifications Using Transformation Systems. Formal Aspects Comput. 13(2): 161-186 (2002) - [j15]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): 171-218 (2002) - 2001
- [j14]Martin Große-Rhode:
The DFG Priority Programme "Integration of Software Specification Techniques for Applications in Engineering". Bull. EATCS 73: 52-56 (2001) - [j13]Hartmut Ehrig, Martin Große-Rhode:
Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen. Inform. Forsch. Entwickl. 16(2): 110-117 (2001) - [j12]Andrea Corradini
, Martin Große-Rhode, Reiko Heckel:
A Coalgebraic presentation of structured transition systems. Theor. Comput. Sci. 260(1-2): 27-55 (2001) - 2000
- [j11]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: 77-81 (2000) - 1999
- [j10]Martin Große-Rhode:
On a Reference Model for the Formalization and Integration of Software Specification Languages. Bull. EATCS 68: 81-89 (1999) - 1998
- [j9]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): 1-35 (1998) - [j8]Martin Große-Rhode:
First Steps Towards an Institution of Algebra Replacement Systems. Appl. Categorical Struct. 6(4): 403-426 (1998) - 1997
- [j7]Martin Große-Rhode:
Transition Specifications for Dynamic Abstract Data Types. Appl. Categorical Struct. 5(3): 265-308 (1997) - 1995
- [j6]Martin Große-Rhode:
Transition Specifications for Dynamic Abstract Data Type. Bull. EATCS 55 (1995) - [j5]Ingo Claßen, Martin Große-Rhode, Uwe Wolter:
Categorical Concepts for Parameterized Partial Specifications. Math. Struct. Comput. Sci. 5(2): 153-188 (1995) - 1994
- [j4]Hartmut Ehrig, Martin Große-Rhode:
Functorial Theory of Parameterized Specifications in a General Specification Framework. Theor. Comput. Sci. 135(2): 221-266 (1994) - 1992
- [j3]Martin Große-Rhode, Hartmut Ehrig:
Restriction Constructions in Specification Logics. Bull. EATCS 46: 84-89 (1992) - 1991
- [j2]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): 91-110 (1991) - 1990
- [j1]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): 347-380 (1990)
Conference and Workshop Papers
- 2013
- [c23]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: 251-260 - 2004
- [c22]Martin Große-Rhode:
On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling. SoftSpez Final Report 2004: 567-581 - 2001
- [c21]Martin Große-Rhode:
Integrating Semantics for Object-Oriented System Models. ICALP 2001: 40-60 - [c20]Roswitha Bardohl, Martin Große-Rhode, Marta Simeoni:
Interactive Rule-Based Specification with an Application to Visual Language Definition. WADT 2001: 1-20 - [c19]Martin Große-Rhode:
Formal Concepts for an Integrated Internal Model of the UML. UNIGRA 2001: 80-92 - [c18]Martin Große-Rhode:
Algebra Transformation Systems as a Unifying Framework. GETGRATS Closing Workshop 2001: 152-164 - 1999
- [c17]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: 31-45 - [c16]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: 253-272 - 1998
- [c15]Martin Große-Rhode:
Algebra Transformation Systems and their Composition. FASE 1998: 107-122 - [c14]Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni:
Spatial and Temporal Refinement of Typed Graph Transformation Systems. MFCS 1998: 553-561 - [c13]Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni:
Refinements of Graph Transformation Systems via Rule Expressions. TAGT 1998: 368-382 - [c12]Andrea Corradini
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. WADT 1998: 92-106 - [c11]Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni:
Refinements and Modules for Typed Graph Transformation Systems. WADT 1998: 138-151 - [c10]Andrea Corradini
Structured Transition Systems as Lax Coalgebras. CMCS 1998: 22-41 - 1997
- [c9]Martin Große-Rhode:
From algebra transformation to labelled transition systems. WADT 1997: 269-284 - 1995
- [c8]Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter:
On the Role of Category Theory in the Area of Algebraic Specification. COMPASS/ADT 1995: 17-48 - [c7]Martin Große-Rhode:
Concurrent State Transformations on Abstract Data Types. COMPASS/ADT 1995: 222-236 - 1992
- [c6]Martin Große-Rhode, Uwe Wolter:
Two-Categorical Specification of Partial Algebras. COMPASS/ADT 1992: 207-219 - 1991
- [c5]Joachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode:
Towards a Formally Based Component Description Language. TAPSOFT, Vol.2 1991: 358-378 - 1990
- [c4]Martin Große-Rhode:
Towards Object-Oriented Algebraic Specifications. ADT 1990: 98-116 - 1989
- [c3]Martin Große-Rhode, Hartmut Ehrig:
Transformation of Combined Data Type and Process Specifications Using Projection Algebras. REX Workshop 1989: 301-339 - 1988
- [c2]Martin Große-Rhode:
Parameterized Data Type and Process Specifications Using Projection Algebras. Categorial Methods in Computer Science 1988: 185-197 - 1987
- [c1]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: 23-43
Parts in Books or Collections
- 2014
- [p6]Martin Große-Rhode, Robert Hilbrich, Stefan Mann, Stephan Weißleder:
Achieving Quality in Customer-Configurable Products. Relating System Quality and Software Architecture 2014: 233-261 - 2001
- [p5]Martin Große-Rhode:
On a Reference Model for the Formalization and Integration of Software Specification Languages. Current Trends in Theoretical Computer Science 2001: 215-225 - [p4]Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann:
On Formal Semantics and Integration of Object-Oriented Modeling Languages. Current Trends in Theoretical Computer Science 2001: 226-232 - 1998
- [p3]Mechthild Koreuber, Martin Große-Rhode:
Vom Begriff zur Kategorie. Sozialgeschichte der Informatik 1998: 151-173 - 1993
- [p2]Martin Große-Rhode, Hartmut Ehrig:
Restriction Constructions in Specification Logics. Current Trends in Theoretical Computer Science 1993: 195-201 - 1992
- [p1]Martin Große-Rhode, Christian Dimitrovici:
Algebraic specification of action trees and recursive processes. Tree Automata and Languages 1992: 235-290
Editorship
- 2004
- [e1]Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper:
Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report. Lecture Notes in Computer Science 3147, Springer 2004, ISBN 3-540-23135-8 [contents]
Informal and Other Publications
- 2004
- [i1]Martin Große-Rhode:
Language Engineering in Practice. Language Engineering for Model-Driven Software Development 2004
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: