Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Michael Löwe
2010 – today
- 2012
[c34]Michael Löwe: Refined Graph Rewriting in Span-Categories - A Framework for Algebraic Graph Transformation. ICGT 2012: 111-125- [c33]Christoph Schulz, Michael Löwe, Harald König: Composition of Model Transformations: A Categorical Framework. SBMF 2012: 163-178
- [c32]Harald König, Uwe Wolter, Michael Löwe: Characterizing Van Kampen Squares via Descent Data. ACCAT 2012: 61-81
- 2011
- [j14]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)
- [j13]Michael Löwe: Refactoring information systems: association folding and unfolding. ACM SIGSOFT Software Engineering Notes 36(4): 1-7 (2011)
- [c31]Harald König, Michael Löwe, Christoph Schulz: Model Transformation and Induced Instance Migration: A Universal Framework. SBMF 2011: 1-15
- 2010
- [j12]Christoph Schulz, Michael Löwe, Harald König: Categorical Framework for the Transformation of Object-Oriented Systems: Operations and Methods. ECEASST 26 (2010)
- [j11]
- [c30]
2000 – 2009
- 2006
- [j10]Michael Löwe, Harald König, Michael Peters, Christoph Schulz: Refactoring Informations Systems. ECEASST 3 (2006)
- 2005
- [c29]Michael Löwe, Harald König, Christoph Schulz: Algebraic Properties of Interfaces. Formal Methods in Software and Systems Modeling 2005: 190-203
1990 – 1999
- 1997
- [c28]
- [c27]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
- [c26]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. Mathematical Structures in Computer Science 6(6): 613-648 (1996)
- 1995
- [j8]Michael Löwe, Uwe Wolter: Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics. Mathematical Structures in Computer Science 5(1): 69-111 (1995)
- [c25]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. Applied Categorical Structures 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]
- 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
- [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. Elektronische Informationsverarbeitung und Kybernetik 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, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Michael Löwe: 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. Elektronische Informationsverarbeitung und Kybernetik 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]
- [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 (Eds.): 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:25 CET by the dblp team