dblp.uni-trier.dewww.uni-trier.de

Michael Löwe Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
40EEMichael Löwe, Harald König, Michael Peters, Christoph Schulz: Refactoring Informations Systems. ECEASST 3: (2006)
2005
39EEMichael Löwe, Harald König, Christoph Schulz: Algebraic Properties of Interfaces. Formal Methods in Software and Systems Modeling 2005: 190-203
1997
38EEMichael Löwe: Formal Methods. CSMR 1997: 43
37 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
36 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
35 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
34 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
33 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)
1994
32 Hartmut Ehrig, Michael Löwe, Fernando Orejas: Dynamic Abstract Data Types Based on Algebraic Graph Transformations. COMPASS/ADT 1994: 236-254
31 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
30 Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi: An Event Structure Semantics for Safe Graph Grammars. PROCOMET 1994: 423-444
29 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
28 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
1993
27 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
26 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
25EEMichael Löwe, Martin Beyer: AGG - An Implementation of Algebraic Graph Rewriting. RTA 1993: 451-456
24EEHartmut 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)
23 Hartmut Ehrig, Michael Löwe: Parallel and Distributed Derivations in the Single-Pushout Approach. Theor. Comput. Sci. 109(1&2): 123-143 (1993)
22 Michael Löwe: Algebraic Approach to Single-Pushout Graph Transformation. Theor. Comput. Sci. 109(1&2): 181-224 (1993)
21 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)
1992
20EEUwe Wolter, Michael Löwe: Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications. CAAP 1992: 342-361
19 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
1991
18EEMichael 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
17 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
16 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
15 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
14EEMichael Löwe, Hartmut Ehrig: Algebraic Approach to Graph Transformation Based on Single Pushout Derivations. WG 1990: 338-353
13 Michael Löwe: Implementing Algebraic Specifications by Graph Transformation Systems. Elektronische Informationsverarbeitung und Kybernetik 26(11/12): 615-641 (1990)
12 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)
1989
11EEHartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs: Algebraic Software Development Concepts for Module and Configuration Families. FSTTCS 1989: 181-192
10 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
9 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)
1988
8 Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe: Algebraic Theory of Modular Specification Development. ADT 1988
7EEHorst Hansen, Michael Löwe: Modular Algebraic Specifications. ALP 1988: 168-179
6 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
5 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
4 Michael Löwe, Rudolf Wilhelm: Risiken polizeilicher Datenverarbeitung. FIFF Jahrestagung 1987: 216-252
1986
3 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
2 Klaus-Peter Hasler, Hans-Jörg Kreowski, Michael Löwe, Michaela Reisin: Suggestions on the Interpretation of Algebraic Specifications. ADT 1983
1982
1 Klaus-Peter Hasler, Michael Löwe, Michaela Reisin: An Interpreter for Algebraic Specifications with User Controlled Termination. ADT 1982

Coauthor Index

1Martin Beyer [25]
2Paul Boehm [3] [10]
3Ingo Claßen [10] [31]
4Felix Cornelius [34]
5Andrea Corradini [17] [26] [27] [28] [29] [30] [35] [36] [37]
6Hartmut Ehrig [3] [6] [8] [9] [10] [11] [12] [14] [15] [16] [17] [18] [19] [21] [23] [24] [26] [27] [28] [29] [30] [32] [35] [36] [37]
7Werner Fey [6] [8] [9] [10] [11] [12] [18]
8Horst Hansen [6] [7] [8] [9] [11] [12]
9Klaus-Peter Hasler [1] [2]
10Reiko Heckel [35] [36] [37]
11Udo Hummert [3]
12Heinrich Hußmann (Heinrich Hussmann) [34]
13Dean Jacobs [9] [11] [12] [18]
14Harald König [39] [40]
15Martin Korff [10] [16] [36]
16Hans-Jörg Kreowski [2]
17Anno Langen [9]
18Ugo Montanari [17] [26] [27] [28] [29] [30] [37]
19Fernando Orejas [32]
20Julia Padberg [28]
21Francesco Parisi-Presicce [6] [9] [12]
22Michael Peters [40]
23Michaela Reisin [1] [2]
24Leila Ribeiro (Leila Ribeiro Korff) [36]
25Francesca Rossi [17] [26] [27] [29] [30] [37]
26Gerhard Schmidt [5]
27Christoph Schulz [39] [40]
28Annika Wagner [36]
29Susanne Waßerroth [31]
30Rudolf Wilhelm [4] [5]
31Uwe Wolter [20] [33]
32Jan Wortmann [31]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)