dblp.uni-trier.dewww.uni-trier.de

Martin Große-Rhode Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2004
40 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 Springer 2004
39EEMartin Große-Rhode: Language Engineering in Practice. Language Engineering for Model-Driven Software Development 2004
38EEMartin Große-Rhode: On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling. SoftSpez Final Report 2004: 567-581
2002
37EEMartin Große-Rhode: Compositional Comparison of Formal Software Specifications Using Transformation Systems. Formal Asp. Comput. 13(2): 161-186 (2002)
36EEMartin 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
35EEMartin Große-Rhode: Integrating Semantics for Object-Oriented System Models. ICALP 2001: 40-60
34EERoswitha Bardohl, Martin Große-Rhode, Marta Simeoni: Interactive Rule-Based Specification with an Application to Visual Language Definition. WADT 2001: 1-20
33 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
32 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
31 Martin Große-Rhode: The DFG Priority Programme "Integration of Software Specification Techniques for Applications in Engineering". Bulletin of the EATCS 73: 52-56 (2001)
30EEMartin Große-Rhode: Formal Concepts for an Integrated Internal Model of the UML. Electr. Notes Theor. Comput. Sci. 44(4): (2001)
29EEMartin Große-Rhode: Algebra Transformation Systems as a Unifying Framework. Electr. Notes Theor. Comput. Sci. 51: (2001)
28EEHartmut Ehrig, Martin Große-Rhode: Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen. Inform., Forsch. Entwickl. 16(2): 110-117 (2001)
27EEAndrea Corradini, Martin Große-Rhode, Reiko Heckel: A Coalgebraic presentation of structured transition systems. Theor. Comput. Sci. 260(1-2): 27-55 (2001)
2000
26 Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann: On Formal Semantics and Integration of Object-Oriented Modeling Languages. Bulletin of the EATCS 70: 77-81 (2000)
1999
25EEMartin 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
24 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
23 Martin Große-Rhode: On a Reference Model for the Formalization and Integration of Software Specification Languages. Bulletin of the EATCS 68: 81-89 (1999)
1998
22EEMartin Große-Rhode: Algebra Transformation Systems and their Composition. FASE 1998: 107-122
21EEMartin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni: Spatial and Temporal Refinement of Typed Graph Transformation Systems. MFCS 1998: 553-561
20 Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni: Refinements of Graph Transformation Systems via Rule Expressions. TAGT 1998: 368-382
19EEMartin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni: Refinements and Modules for Typed Graph Transformation Systems. WADT 1998: 138-151
18EEAndrea Corradini, Martin Große-Rhode, Reiko Heckel: An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. WADT 1998: 92-106
17EEAndrea Corradini, Martin Große-Rhode, Reiko Heckel: Structured Transition Systems as Lax Coalgebras. Electr. Notes Theor. Comput. Sci. 11: (1998)
1997
16 Martin Große-Rhode: From algebra transformation to labelled transition systems. WADT 1997: 269-284
1995
15 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
14 Martin Große-Rhode: Concurrent State Transformations on Abstract Data Types. COMPASS/ADT 1995: 222-236
13 Martin Große-Rhode: Transition Specifications for Dynamic Abstract Data Type. Bulletin of the EATCS 55: (1995)
12 Ingo Claßen, Martin Große-Rhode, Uwe Wolter: Categorical Concepts for Parameterized Partial Specifications. Mathematical Structures in Computer Science 5(2): 153-188 (1995)
1994
11 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
10 Martin Große-Rhode, Uwe Wolter: Two-Categorical Specification of Partial Algebras. COMPASS/ADT 1992: 207-219
9 Martin Große-Rhode, Christian Dimitrovici: Algebraic specification of action trees and recursive processes. Tree Automata and Languages 1992: 235-290
8 Martin Große-Rhode, Hartmut Ehrig: Restriction Constructions in Specification Logics. Bulletin of the EATCS 46: 84-89 (1992)
1991
7EEJoachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode: Towards a Formally Based Component Description Language. TAPSOFT, Vol.2 1991: 358-378
6 Joachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode: Towards a Formally Based Component Description Language - A Foundation for Reuse. Structured Programming 12(2): 91-110 (1991)
1990
5 Martin Große-Rhode: Towards Object-Oriented Algebraic Specifications. ADT 1990: 98-116
4 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)
1989
3EEMartin Große-Rhode, Hartmut Ehrig: Transformation of Combined Data Type and Process Specifications Using Projection Algebras. REX Workshop 1989: 301-339
1988
2 Martin Große-Rhode: Parameterized Data Type and Process Specifications Using Projection Algebras. Categorial Methods in Computer Science 1988: 185-197
1987
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. ADT 1987: 23-43

Coauthor Index

1Roswitha Bardohl [34]
2Paul Boehm [1] [4]
3Ingo Claßen [12]
4Andrea Corradini [17] [18] [27]
5Joachim Cramer [6] [7]
6Werner Damm [40]
7Jörg Desel [40]
8Christian Dimitrovici [1] [4] [9]
9Hartmut Ehrig [1] [3] [4] [8] [11] [15] [26] [28] [32] [40]
10Werner Fey [6] [7]
11Robert Geisler [26] [32]
12Michael Goedicke [6] [7]
13Reiko Heckel [17] [18] [27]
14Marcus Klar [26] [32]
15Stefan Mann [26] [32]
16Francesco Parisi-Presicce [1] [4] [19] [20] [21] [25] [36]
17Wolfgang Reif [40]
18Catharina Rieckhoff [1] [4]
19Eckehard Schnieder [40]
20Marta Simeoni [19] [20] [21] [25] [34] [36]
21Gabriele Taentzer [25]
22Engelbert Westkämper [40]
23Uwe Wolter [10] [12] [15]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)