default search action
Michael Löwe
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
- [c43]Michael Löwe:
Double-Pushout Rewriting in Context - Rule Composition and Parallel Independence. ICGT 2019: 21-37 - 2018
- [c42]Andrea Corradini
, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi
On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. Graph Transformation, Specifications, and Nets 2018: 1-18 - [c41]Michael Löwe:
Model Transformations as Free Constructions. Graph Transformation, Specifications, and Nets 2018: 142-159 - [c40]Michael Löwe:
Characterisation of Parallel Independence in AGREE-Rewriting. ICGT 2018: 118-133 - [c39]Michael Löwe:
Double-Pushout Rewriting in Context. STAF Workshops 2018: 447-462 - 2016
- [c38]Michael Löwe:
Sesqui-Pushout Rewriting with Type Refinements. ICGT 2016: 21-36 - [c37]Michael Löwe:
SPO-Rewriting of Constrained Partial Algebras. STAF Workshops 2016: 129-144 - 2015
- [j17]Michael Löwe, Marius Tempelmeier:
On Single-Pushout Rewriting of Partial Algebras. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 73 (2015) - [j16]Michael Löwe, Harald König, Christoph Schulz, Marius Schultchen:
Algebraic graph transformations with inheritance and abstraction. Sci. Comput. Program. 107-108: 2-18 (2015) - [c36]Michael Löwe:
Polymorphic Sesqui-Pushout Graph Rewriting. ICGT 2015: 3-18 - [c35]Michael Löwe, Marius Tempelmeier:
Single-Pushout Rewriting of Partial Algebras. GCM@ICGT 2015: 82-96 - 2014
- [c34]Michael Löwe, Harald König, Christoph Schulz:
Polymorphic Single-Pushout Graph Transformation. FASE 2014: 355-369 - [c33]Harald König, Michael Löwe, Christoph Schulz, Uwe Wolter:
Van Kampen Squares for Graph Transformation. ICGT 2014: 222-236 - 2013
- [c32]Michael Löwe, Harald König, Christoph Schulz, Marius Schultchen:
Algebraic Graph Transformations with Inheritance. SBMF 2013: 211-226 - 2012
- [c31]Michael Löwe:
Refined Graph Rewriting in Span-Categories - A Framework for Algebraic Graph Transformation. ICGT 2012: 111-125 - [c30]Christoph Schulz, Michael Löwe, Harald König:
Composition of Model Transformations: A Categorical Framework. SBMF 2012: 163-178 - [c29]Harald König, Uwe Wolter, Michael Löwe:
Characterizing Van Kampen Squares via Descent Data. ACCAT 2012: 61-81 - 2011
- [j15]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): 316-337 (2011) - [j14]Michael Löwe:
Refactoring information systems: association folding and unfolding. ACM SIGSOFT Softw. Eng. Notes 36(4): 1-7 (2011) - [c28]Harald König, Michael Löwe, Christoph Schulz:
Model Transformation and Induced Instance Migration: A Universal Framework. SBMF 2011: 1-15 - 2010
- [j13]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) - [j12]Michael Löwe:
Position Paper: Formal Methods in Agile Development. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [c27]Michael Löwe:
Graph Rewriting in Span-Categories. ICGT 2010: 218-233
2000 – 2009
- 2006
- [j11]Michael Löwe, Harald König, Michael Peters, Christoph Schulz:
Refactoring Informations Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 3 (2006) - 2005
- [c26]Michael Löwe, Harald König, Christoph Schulz:
Algebraic Properties of Interfaces. Formal Methods in Software and Systems Modeling 2005: 190-203 - 2002
- [j10]Michael Löwe:
The Component Dilemma: handicaps of Component Architectures in Commercial Information Systems. Trans. SDPS 6(4): 121-138 (2002)
1990 – 1999
- 1997
- [c25]Michael Löwe:
Formal Methods. CSMR 1997: 43 - [p5]Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, Michael Löwe:
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach. Handbook of Graph Grammars 1997: 163-246 - [p4]Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, Andrea Corradini:
Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. Handbook of Graph Grammars 1997: 247-312 - 1996
- [j9]Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe:
Horizontal and Vertical Structuring of Typed Graph Transformation Systems. Math. Struct. Comput. Sci. 6(6): 613-648 (1996) - [p3]Reiner Witschurke, Michael Löwe:
Verstehen von Software: Leistungsanforderungen an CARE-Werkzeuge für ein praktikables (industrielles) Reengineering von Anwendungssystemen. Softwarewartung und Reengineering 1996: 191-204 - [p2]Rainer Gastner, Michael Löwe:
Framework-orientiertes Reengineering: Ein strategisches Reengineering von Softwaresystemen und ihrer Entwicklungsprozesse. Softwarewartung und Reengineering 1996: 309-325 - 1995
- [j8]Michael Löwe, Uwe Wolter:
Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics. Math. Struct. Comput. Sci. 5(1): 69-111 (1995) - [p1]Felix Cornelius, Heinrich Hußmann, Michael Löwe:
The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System. KORSO Book 1995: 417-432 - 1994
- [c24]Hartmut Ehrig, Michael Löwe, Fernando Orejas:
Dynamic Abstract Data Types Based on Algebraic Graph Transformations. COMPASS/ADT 1994: 236-254 - [c23]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: 2-9 - [c22]Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi:
An Event Structure Semantics for Safe Graph Grammars. PROCOMET 1994: 423-444 - [c21]Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg:
The Category of Typed Graph Grammars and its Adjunctions with Categories. TAGT 1994: 56-74 - [c20]Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi:
An Event Structure Semantics for Graph Grammars with Parallel Productions. TAGT 1994: 240-256 - 1993
- [j7]Hartmut Ehrig, Michael Löwe:
Categorical principles, techniques and results for high-level-replacement systems in computer science. Appl. Categorical Struct. 1(1): 21-50 (1993) - [j6]Hartmut Ehrig, Michael Löwe:
The ESPRIT Basic Research Working Group COMPUGRAPH "Computing by Graph Transformation": A Survey. Theor. Comput. Sci. 109(1&2): 3-6 (1993) - [j5]Hartmut Ehrig, Michael Löwe:
Parallel and Distributed Derivations in the Single-Pushout Approach. Theor. Comput. Sci. 109(1&2): 123-143 (1993) - [j4]Michael Löwe:
Algebraic Approach to Single-Pushout Graph Transformation. Theor. Comput. Sci. 109(1&2): 181-224 (1993) - [c19]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: 86-103 - [c18]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: 119-137 - [c17]Michael Löwe, Martin Beyer:
AGG - An Implementation of Algebraic Graph Rewriting. RTA 1993: 451-456 - 1992
- [c16]Hartmut Ehrig, Michael Löwe:
From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach. Informatik zwischen Wissenschaft und Gesellschaft 1992: 47-65 - [c15]Uwe Wolter, Michael Löwe:
Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications. CAAP 1992: 342-361 - 1991
- [b1]Michael Löwe:
Extended algebraic graph transformation. Technical University of Berlin, Germany, 1991, pp. 1-180 - [c14]Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs:
On the Relationship Between Algebraic Module Specifications and Program Modules. TAPSOFT, Vol.2 1991: 83-98 - 1990
- [j3]Michael Löwe:
Implementing Algebraic Specifications by Graph Transformation Systems. J. Inf. Process. Cybern. 26(11/12): 615-641 (1990) - [j2]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): 27-71 (1990) - [c13]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: 24-37 - [c12]Andrea Corradini
Graph Grammars and Logic Programming. Graph-Grammars and Their Application to Computer Science 1990: 221-237 - [c11]Hartmut Ehrig, Michael Löwe:
Computing by Graph Transformation: Overall Aims and New Results. Graph-Grammars and Their Application to Computer Science 1990: 688-703 - [c10]Michael Löwe, Hartmut Ehrig:
Algebraic Approach to Graph Transformation Based on Single Pushout Derivations. WG 1990: 338-353
1980 – 1989
- 1989
- [j1]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): 205-232 (1989) - [c9]Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs:
Algebraic Software Development Concepts for Module and Configuration Families. FSTTCS 1989: 181-192 - [c8]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: 201-224 - 1988
- [c7]Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe:
Algebraic Theory of Modular Specification Development. ADT 1988 - [c6]Horst Hansen, Michael Löwe:
Modular Algebraic Specifications. ALP 1988: 168-179 - [c5]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: 157-184 - 1987
- [c4]Michael Löwe, Rudolf Wilhelm:
Risiken polizeilicher Datenverarbeitung. FIFF Jahrestagung 1987: 216-252 - [e1]Michael Löwe, Gerhard Schmidt, Rudolf Wilhelm:
Umdenken in der Informatik [2. Jahrestagung des Forums Informatiker für Frieden und gesellschaftliche Verantwortung e.V., Oktober 1986, Berlin]. Verlag für Ausbildung und Studium, VAS in der Elefanten Press 1987, ISBN 3-88290-032-6 [contents] - 1986
- [c3]Paul Boehm, Hartmut Ehrig, Udo Hummert, Michael Löwe:
Towards distributed graph grammars. Graph-Grammars and Their Application to Computer Science 1986: 86-98 - 1983
- [c2]Klaus-Peter Hasler, Hans-Jörg Kreowski, Michael Löwe, Michaela Reisin:
Suggestions on the Interpretation of Algebraic Specifications. ADT 1983 - 1982
- [c1]Klaus-Peter Hasler, Michael Löwe, Michaela Reisin:
An Interpreter for Algebraic Specifications with User Controlled Termination. ADT 1982
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-25 05:51 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: