Martin Große-Rhode

51 papers A* 1B 3C 1Journal 16Unranked 19

Year	Rank	Type	Title / Venue / Authors
2014	—	`ch.`	Achieving Quality in Customer-Configurable Products. Relating System Quality and Software Architecture Martin Große-Rhode, Robert Hilbrich, Stefan Mann, Stephan Weißleder
2013	C	`conf`	Anforderungen von Leitbranchen der deutschen Industrie an Variantenmanagement und Wiederverwendung und daraus resultierende Forschungsfragestellungen. Software Engineering (Workshops) Martin Große-Rhode, Peter Manhart, Ralf Mauersberger, Sebastian Schröck, Michael Schulze, Thorsten Weyer
2004	—	`ed.`	Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report SoftSpez Final Report Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper
2004	—	`conf`	Language Engineering in Practice. Language Engineering for Model-Driven Software Development Martin Große-Rhode
2004	—	`conf`	On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling. SoftSpez Final Report Martin Große-Rhode
2004	—	`book`	Semantic Integration of Heterogeneous Software Specifications Martin Große-Rhode
2002	J	`jnl`	Compositional Comparison of Formal Software Specifications Using Transformation Systems. Formal Aspects Comput. Martin Große-Rhode
2002	J	`jnl`	Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems. J. Comput. Syst. Sci. Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
2001	J	`jnl`	A Coalgebraic presentation of structured transition systems. Theor. Comput. Sci. Andrea Corradini, Martin Große-Rhode, Reiko Heckel
2001	—	`conf`	Algebra Transformation Systems as a Unifying Framework. GETGRATS Closing Workshop Martin Große-Rhode
2001	—	`conf`	Formal Concepts for an Integrated Internal Model of the UML. UNIGRA Martin Große-Rhode
2001	A*	`conf`	Integrating Semantics for Object-Oriented System Models. ICALP Martin Große-Rhode
2001	J	`jnl`	Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen. Inform. Forsch. Entwickl. Hartmut Ehrig, Martin Große-Rhode
2001	—	`conf`	Interactive Rule-Based Specification with an Application to Visual Language Definition. WADT Roswitha Bardohl, Martin Große-Rhode, Marta Simeoni
2001	—	`book`	Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornelius, Philip Zeitz
2001	—	`ch.`	On Formal Semantics and Integration of Object-Oriented Modeling Languages. Current Trends in Theoretical Computer Science Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann
2001	—	`ch.`	On a Reference Model for the Formalization and Integration of Software Specification Languages. Current Trends in Theoretical Computer Science Martin Große-Rhode
2001	J	`jnl`	The DFG Priority Programme "Integration of Software Specification Techniques for Applications in Engineering". Bull. EATCS Martin Große-Rhode
2000	J	`jnl`	On Formal Semantics and Integration of Object-Oriented Modeling Languages. Bull. EATCS Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann
1999	B	`conf`	A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems. IFM Martin Große-Rhode
1999	—	`book`	Mathematisch-strukturelle Grundlagen der Informatik Mathematisch-strukturelle Grundlagen der Informatik Hartmut Ehrig, Bernd Mahr, Felix Cornelius, Martin Große-Rhode, Philip Zeitz
1999	—	`conf`	Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions. AGTIVE Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni, Gabriele Taentzer
1999	J	`jnl`	On a Reference Model for the Formalization and Integration of Software Specification Languages. Bull. EATCS Martin Große-Rhode
1998	B	`conf`	Algebra Transformation Systems and their Composition. FASE Martin Große-Rhode
1998	—	`conf`	An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. WADT Andrea Corradini, Martin Große-Rhode, Reiko Heckel
1998	J	`jnl`	Applications of Category Theory to the Area of Algebraic Specification in Computer Science. Appl. Categorical Struct. Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter
1998	J	`jnl`	First Steps Towards an Institution of Algebra Replacement Systems. Appl. Categorical Struct. Martin Große-Rhode
1998	—	`conf`	Refinements and Modules for Typed Graph Transformation Systems. WADT Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
1998	—	`conf`	Refinements of Graph Transformation Systems via Rule Expressions. TAGT Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
1998	B	`conf`	Spatial and Temporal Refinement of Typed Graph Transformation Systems. MFCS Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
1998	—	`conf`	Structured Transition Systems as Lax Coalgebras. CMCS Andrea Corradini, Martin Große-Rhode, Reiko Heckel
1998	—	`ch.`	Vom Begriff zur Kategorie. Sozialgeschichte der Informatik Mechthild Koreuber, Martin Große-Rhode
1997	—	`conf`	From algebra transformation to labelled transition systems. WADT Martin Große-Rhode
1997	J	`jnl`	Transition Specifications for Dynamic Abstract Data Types. Appl. Categorical Struct. Martin Große-Rhode
1995	J	`jnl`	Categorical Concepts for Parameterized Partial Specifications. Math. Struct. Comput. Sci. Ingo Claßen, Martin Große-Rhode, Uwe Wolter
1995	—	`conf`	Concurrent State Transformations on Abstract Data Types. COMPASS/ADT Martin Große-Rhode
1995	—	`conf`	On the Role of Category Theory in the Area of Algebraic Specification. COMPASS/ADT Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter
1995	—	`—`	Specification of transition categories: an approach to dynamic abstract data types. Martin Große-Rhode
1995	J	`jnl`	Transition Specifications for Dynamic Abstract Data Type. Bull. EATCS Martin Große-Rhode
1994	J	`jnl`	Functorial Theory of Parameterized Specifications in a General Specification Framework. Theor. Comput. Sci. Hartmut Ehrig, Martin Große-Rhode
1993	—	`ch.`	Restriction Constructions in Specification Logics. Current Trends in Theoretical Computer Science Martin Große-Rhode, Hartmut Ehrig
1992	—	`ch.`	Algebraic specification of action trees and recursive processes. Tree Automata and Languages Martin Große-Rhode, Christian Dimitrovici
1992	J	`jnl`	Restriction Constructions in Specification Logics. Bull. EATCS Martin Große-Rhode, Hartmut Ehrig
1992	—	`conf`	Two-Categorical Specification of Partial Algebras. COMPASS/ADT Martin Große-Rhode, Uwe Wolter
1991	J	`jnl`	Towards a Formally Based Component Description Language - A Foundation for Reuse. Struct. Program. Joachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode
1991	—	`conf`	Towards a Formally Based Component Description Language. TAPSOFT, Vol.2 Joachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode
1990	J	`jnl`	Combining Data Type and Recursive Process Specifications Using Projection Algebras. Theor. Comput. Sci. Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
1990	—	`conf`	Towards Object-Oriented Algebraic Specifications. ADT Martin Große-Rhode
1989	—	`conf`	Transformation of Combined Data Type and Process Specifications Using Projection Algebras. REX Workshop Martin Große-Rhode, Hartmut Ehrig
1988	—	`conf`	Parameterized Data Type and Process Specifications Using Projection Algebras. Categorial Methods in Computer Science Martin Große-Rhode
1987	—	`conf`	Algebraic Data Type and Process Specifications based on Projection Spaces. ADT Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode