Michael Löwe

2006
40	EE	Michael Löwe, Harald König, Michael Peters, Christoph Schulz: Refactoring Informations Systems. ECEASST 3: (2006)
2005
39	EE	Michael Löwe, Harald König, Christoph Schulz: Algebraic Properties of Interfaces. Formal Methods in Software and Systems Modeling 2005: 190-203
1997
38	EE	Michael 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
25		Michael Löwe, Martin Beyer: AGG - An Implementation of Algebraic Graph Rewriting. RTA 1993: 451-456
24	EE	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)
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
20		Uwe 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
18		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
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
14		Michael 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
11		Hartmut 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
7		Horst 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

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

Colors in the list of coauthors