Michael Löwe

Publication Activity (10 Years)

Years Active: 1982-2019
Publications (10 Years): 7

Top Venues

ICGT

STAF Workshops

SBMF

Graph Transformation, Specifications, and Nets

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Michael Löwe
Double-Pushout Rewriting in Context - Rule Composition and Parallel Independence. ICGT (2019)
Michael Löwe
Double-Pushout Rewriting in Context. STAF Workshops (2018)
Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues
On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. Graph Transformation, Specifications, and Nets (2018)
Michael Löwe
Characterisation of Parallel Independence in AGREE-Rewriting. ICGT (2018)
Michael Löwe
Model Transformations as Free Constructions. Graph Transformation, Specifications, and Nets (2018)
Michael Löwe
Sesqui-Pushout Rewriting with Type Refinements. ICGT (2016)
Michael Löwe
SPO-Rewriting of Constrained Partial Algebras. STAF Workshops (2016)
Michael Löwe, Harald König, Christoph Schulz, Marius Schultchen
Algebraic graph transformations with inheritance and abstraction. Sci. Comput. Program. (2015)
Michael Löwe, Marius Tempelmeier
Single-Pushout Rewriting of Partial Algebras. GCM@ICGT (2015)
Michael Löwe, Marius Tempelmeier
On Single-Pushout Rewriting of Partial Algebras. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 73 (2015)
Michael Löwe
Polymorphic Sesqui-Pushout Graph Rewriting. ICGT (2015)
Michael Löwe, Harald König, Christoph Schulz
Polymorphic Single-Pushout Graph Transformation. FASE (2014)
Harald König, Michael Löwe, Christoph Schulz, Uwe Wolter
Van Kampen Squares for Graph Transformation. ICGT (2014)
Michael Löwe, Harald König, Christoph Schulz, Marius Schultchen
Algebraic Graph Transformations with Inheritance. SBMF (2013)
Michael Löwe
Refined Graph Rewriting in Span-Categories - A Framework for Algebraic Graph Transformation. ICGT (2012)
Harald König, Uwe Wolter, Michael Löwe
Characterizing Van Kampen Squares via Descent Data ACCAT (2012)
Christoph Schulz, Michael Löwe, Harald König
Composition of Model Transformations: A Categorical Framework. SBMF (2012)
Michael Löwe
Refactoring information systems: association folding and unfolding. ACM SIGSOFT Softw. Eng. Notes 36 (4) (2011)
Harald König, Michael Löwe, Christoph Schulz
Model Transformation and Induced Instance Migration: A Universal Framework. SBMF (2011)
Christoph Schulz, Michael Löwe, Harald König
A categorical framework for the transformation of object-oriented systems: Models and data. J. Symb. Comput. 46 (3) (2011)
Christoph Schulz, Michael Löwe, Harald König
Categorical Framework for the Transformation of Object-Oriented Systems: Operations and Methods. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010)
Michael Löwe
Graph Rewriting in Span-Categories. ICGT (2010)
Michael Löwe
Position Paper: Formal Methods in Agile Development. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Michael Löwe, Harald König, Michael Peters, Christoph Schulz
Refactoring Informations Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 3 (2006)
Michael Löwe, Harald König, Christoph Schulz
Algebraic Properties of Interfaces. Formal Methods in Software and Systems Modeling (2005)
Michael Löwe
The Component Dilemma: handicaps of Component Architectures in Commercial Information Systems. Trans. SDPS 6 (4) (2002)
Michael Löwe
Formal Methods. CSMR (1997)
Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe
Horizontal and Vertical Structuring of Typed Graph Transformation Systems. Math. Struct. Comput. Sci. 6 (6) (1996)
Michael Löwe, Uwe Wolter
Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics. Math. Struct. Comput. Sci. 5 (1) (1995)
Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
An Event Structure Semantics for Safe Graph Grammars. PROCOMET (1994)
Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
An Event Structure Semantics for Graph Grammars with Parallel Productions. TAGT (1994)
Ingo Claßen, Michael Löwe, Susanne Waßerroth, Jan Wortmann
Static and Dynamic Semantics of Entity-Relationship Models Based on Algebraic Methods. GI Jahrestagung (1994)
Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg
The Category of Typed Graph Grammars and its Adjunctions with Categories. TAGT (1994)
Hartmut Ehrig, Michael Löwe, Fernando Orejas
Dynamic Abstract Data Types Based on Algebraic Graph Transformations. COMPASS/ADT (1994)
Hartmut Ehrig, Michael Löwe
Parallel and Distributed Derivations in the Single-Pushout Approach. Theor. Comput. Sci. 109 (1&2) (1993)
Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
Abstract Graph Derivations in the Double Pushout Approach. Dagstuhl Seminar on Graph Transformations in Computer Science (1993)
Michael Löwe, Martin Beyer
AGG - An Implementation of Algebraic Graph Rewriting. RTA (1993)
Michael Löwe
Algebraic Approach to Single-Pushout Graph Transformation. Theor. Comput. Sci. 109 (1&2) (1993)
Hartmut Ehrig, Michael Löwe
Categorical principles, techniques and results for high-level-replacement systems in computer science. Appl. Categorical Struct. 1 (1) (1993)
Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. Dagstuhl Seminar on Graph Transformations in Computer Science (1993)
Hartmut Ehrig, Michael Löwe
The ESPRIT Basic Research Working Group COMPUGRAPH "Computing by Graph Transformation": A Survey. Theor. Comput. Sci. 109 (1&2) (1993)
Hartmut Ehrig, Michael Löwe
From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach. Informatik zwischen Wissenschaft und Gesellschaft (1992)
Uwe Wolter, Michael Löwe
Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications. CAAP (1992)
Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs
On the Relationship Between Algebraic Module Specifications and Program Modules. TAPSOFT, Vol.2 (1991)
Michael Löwe
Implementing Algebraic Specifications by Graph Transformation Systems. J. Inf. Process. Cybern. 26 (11/12) (1990)
Hartmut Ehrig, Martin Korff, Michael Löwe
Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts. Graph-Grammars and Their Application to Computer Science (1990)
Hartmut Ehrig, Michael Löwe
Computing by Graph Transformation: Overall Aims and New Results. Graph-Grammars and Their Application to Computer Science (1990)
Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Michael Löwe
Graph Grammars and Logic Programming. Graph-Grammars and Their Application to Computer Science (1990)
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce
Compatibility Problems in the Development of Algebraic Module Specifications. Theor. Comput. Sci. 77 (1&2) (1990)
Michael Löwe, Hartmut Ehrig
Algebraic Approach to Graph Transformation Based on Single Pushout Derivations. WG (1990)
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce
Algebraic Specification of Modules and Configuration Families. J. Inf. Process. Cybern. 25 (5/6) (1989)
Hartmut Ehrig, Ingo Claßen, Paul Boehm, Werner Fey, Martin Korff, Michael Löwe
Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag). Software-Entwicklung (1989)
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs
Algebraic Software Development Concepts for Module and Configuration Families. FSTTCS (1989)
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce
Categories for the Development of Algebraic Module Specifications. Categorial Methods in Computer Science (1988)
Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe
Algebraic Theory of Modular Specification Development. ADT (1988)
Horst Hansen, Michael Löwe
Modular Algebraic Specifications. ALP (1988)
Michael Löwe, Rudolf Wilhelm
Risiken polizeilicher Datenverarbeitung. FIFF Jahrestagung (1987)
Paul Boehm, Hartmut Ehrig, Udo Hummert, Michael Löwe
Towards distributed graph grammars. Graph-Grammars and Their Application to Computer Science (1986)
Klaus-Peter Hasler, Hans-Jörg Kreowski, Michael Löwe, Michaela Reisin
Suggestions on the Interpretation of Algebraic Specifications. ADT (1983)
Klaus-Peter Hasler, Michael Löwe, Michaela Reisin
An Interpreter for Algebraic Specifications with User Controlled Termination. ADT (1982)

Michael Löwe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Löwe