Michael Löwe

According to our database, Michael Löwe authored at least 65 papers between 1982 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Double-Pushout Rewriting in Context - Rule Composition and Parallel Independence.

Michael Löwe

Proceedings of the Graph Transformation - 12th International Conference, 2019

2018

Double-Pushout Rewriting in Context.

Michael Löwe

Proceedings of the Software Technologies: Applications and Foundations, 2018

Characterisation of Parallel Independence in AGREE-Rewriting.

Michael Löwe

Proceedings of the Graph Transformation - 11th International Conference, 2018

Model Transformations as Free Constructions.

Michael Löwe

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches.

Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2016

SPO-Rewriting of Constrained Partial Algebras.

Michael Löwe

Proceedings of the Software Technologies: Applications and Foundations, 2016

Sesqui-Pushout Rewriting with Type Refinements.

Michael Löwe

Proceedings of the Graph Transformation - 9th International Conference, 2016

2015

Algebraic graph transformations with inheritance and abstraction.

Michael Löwe, Harald König, Christoph Schulz, Marius Schultchen

Sci. Comput. Program., 2015

On Single-Pushout Rewriting of Partial Algebras.

Michael Löwe, Marius Tempelmeier

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

Polymorphic Sesqui-Pushout Graph Rewriting.

Michael Löwe

Proceedings of the Graph Transformation - 8th International Conference, 2015

2014

Van Kampen Squares for Graph Transformation.

Harald König, Michael Löwe, Christoph Schulz, Uwe Wolter

Proceedings of the Graph Transformation - 7th International Conference, 2014

Polymorphic Single-Pushout Graph Transformation.

Michael Löwe, Harald König, Christoph Schulz

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Algebraic Graph Transformations with Inheritance.

Michael Löwe, Harald König, Christoph Schulz, Marius Schultchen

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

2012

Characterizing Van Kampen Squares via Descent Data

Harald König, Uwe Wolter, Michael Löwe

Proceedings of the Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, 2012

Composition of Model Transformations: A Categorical Framework.

Christoph Schulz, Michael Löwe, Harald König

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

Refined Graph Rewriting in Span-Categories - A Framework for Algebraic Graph Transformation.

Michael Löwe

Proceedings of the Graph Transformations - 6th International Conference, 2012

2011

Refactoring information systems: association folding and unfolding.

Michael Löwe

ACM SIGSOFT Softw. Eng. Notes, 2011

A categorical framework for the transformation of object-oriented systems: Models and data.

Christoph Schulz, Michael Löwe, Harald König

J. Symb. Comput., 2011

Model Transformation and Induced Instance Migration: A Universal Framework.

Harald König, Michael Löwe, Christoph Schulz

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

2010

Categorical Framework for the Transformation of Object-Oriented Systems: Operations and Methods.

Christoph Schulz, Michael Löwe, Harald König

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Position Paper: Formal Methods in Agile Development.

Michael Löwe

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Graph Rewriting in Span-Categories.

Michael Löwe

Proceedings of the Graph Transformations - 5th International Conference, 2010

2006

Refactoring Informations Systems.

Michael Löwe, Harald König, Michael Peters, Christoph Schulz

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

2005

Algebraic Properties of Interfaces.

Michael Löwe, Harald König, Christoph Schulz

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2002

The Component Dilemma: handicaps of Component Architectures in Commercial Information Systems.

Michael Löwe

Trans. SDPS, 2002

1997

Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach.

Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, Andrea Corradini

Proceedings of the Handbook of Graph Grammars and Computing by Graph Transformations, 1997

Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach.

Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, Michael Löwe

Proceedings of the Handbook of Graph Grammars and Computing by Graph Transformations, 1997

Formal Methods.

Michael Löwe

Proceedings of the 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 1997

1996

Horizontal and Vertical Structuring of Typed Graph Transformation Systems.

Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe

Math. Struct. Comput. Sci., 1996

Verstehen von Software: Leistungsanforderungen an CARE-Werkzeuge für ein praktikables (industrielles) Reengineering von Anwendungssystemen.

Reiner Witschurke, Michael Löwe

Proceedings of the Softwarewartung und Reengineering, 1996

Framework-orientiertes Reengineering: Ein strategisches Reengineering von Softwaresystemen und ihrer Entwicklungsprozesse.

Rainer Gastner, Michael Löwe

Proceedings of the Softwarewartung und Reengineering, 1996

1995

Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics.

Michael Löwe, Uwe Wolter

Math. Struct. Comput. Sci., 1995

The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System.

Felix Cornelius, Heinrich Hußmann, Michael Löwe

Proceedings of the KORSO, 1995

1994

An Event Structure Semantics for Graph Grammars with Parallel Productions.

Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi

Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

The Category of Typed Graph Grammars and its Adjunctions with Categories.

Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg

Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

An Event Structure Semantics for Safe Graph Grammars.

Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi

Proceedings of the Programming Concepts, 1994

Static and Dynamic Semantics of Entity-Relationship Models Based on Algebraic Methods.

Ingo Claßen, Michael Löwe, Susanne Waßerroth, Jan Wortmann

Proceedings of the Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung für die Informatik, 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August, 1994

Dynamic Abstract Data Types Based on Algebraic Graph Transformations.

Hartmut Ehrig, Michael Löwe, Fernando Orejas

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

Algebraic Approach to Single-Pushout Graph Transformation.

Michael Löwe

Theor. Comput. Sci., 1993

Parallel and Distributed Derivations in the Single-Pushout Approach.

Hartmut Ehrig, Michael Löwe

Theor. Comput. Sci., 1993

The ESPRIT Basic Research Working Group COMPUGRAPH "Computing by Graph Transformation": A Survey.

Hartmut Ehrig, Michael Löwe

Theor. Comput. Sci., 1993

Categorical principles, techniques and results for high-level-replacement systems in computer science.

Hartmut Ehrig, Michael Löwe

Appl. Categorical Struct., 1993

AGG - An Implementation of Algebraic Graph Rewriting.

Michael Löwe, Martin Beyer

Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine.

Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

Abstract Graph Derivations in the Double Pushout Approach.

Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1992

Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications.

Uwe Wolter, Michael Löwe

Proceedings of the CAAP '92, 1992

From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach.

Hartmut Ehrig, Michael Löwe

Proceedings of the Informatik zwischen Wissenschaft und Gesellschaft, 1992

1991

Extended algebraic graph transformation.

Michael Löwe

PhD thesis, 1991

On the Relationship Between Algebraic Module Specifications and Program Modules.

Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

1990

Compatibility Problems in the Development of Algebraic Module Specifications.

Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce

Theor. Comput. Sci., 1990

Implementing Algebraic Specifications by Graph Transformation Systems.

Michael Löwe

J. Inf. Process. Cybern., 1990

Algebraic Approach to Graph Transformation Based on Single Pushout Derivations.

Michael Löwe, Hartmut Ehrig

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1990

Computing by Graph Transformation: Overall Aims and New Results.

Hartmut Ehrig, Michael Löwe

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts.

Hartmut Ehrig, Martin Korff, Michael Löwe

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

Graph Grammars and Logic Programming.

Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Michael Löwe

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

1989

Algebraic Specification of Modules and Configuration Families.

Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce

J. Inf. Process. Cybern., 1989

Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag).

Hartmut Ehrig, Ingo Claßen, Paul Boehm, Werner Fey, Martin Korff, Michael Löwe

Proceedings of the Software-Entwicklung: Konzepte, 1989

Algebraic Software Development Concepts for Module and Configuration Families.

Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989

1988

Categories for the Development of Algebraic Module Specifications.

Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Modular Algebraic Specifications.

Horst Hansen, Michael Löwe

Proceedings of the Algebraic and Logic Programming, 1988

Algebraic Theory of Modular Specification Development.

Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

Risiken polizeilicher Datenverarbeitung.

Michael Löwe, Rudolf Wilhelm

Proceedings of the Schöbe Neue Computerwelt, 1987

1986

Towards distributed graph grammars.

Paul Boehm, Hartmut Ehrig, Udo Hummert, Michael Löwe

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986

1983

Suggestions on the Interpretation of Algebraic Specifications.

Klaus-Peter Hasler, Hans-Jörg Kreowski, Michael Löwe, Michaela Reisin

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982

An Interpreter for Algebraic Specifications with User Controlled Termination.

Klaus-Peter Hasler, Michael Löwe, Michaela Reisin

Proceedings of the Proceedings 1st Workshop on Abstract Data Type, 1982