The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Löwe: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe
    Algebraic Theory of Modular Specification Development. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  2. Klaus-Peter Hasler, Hans-Jörg Kreowski, Michael Löwe, Michaela Reisin
    Suggestions on the Interpretation of Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1983, pp:- [Conf]
  3. Klaus-Peter Hasler, Michael Löwe, Michaela Reisin
    An Interpreter for Algebraic Specifications with User Controlled Termination. [Citation Graph (0, 0)][DBLP]
    ADT, 1982, pp:- [Conf]
  4. Horst Hansen, Michael Löwe
    Modular Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    ALP, 1988, pp:168-179 [Conf]
  5. Hartmut Ehrig, Michael Löwe
    From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach. [Citation Graph (0, 0)][DBLP]
    Informatik zwischen Wissenschaft und Gesellschaft, 1992, pp:47-65 [Conf]
  6. Michael Löwe, Harald König, Christoph Schulz
    Algebraic Properties of Interfaces. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:190-203 [Conf]
  7. Uwe Wolter, Michael Löwe
    Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    CAAP, 1992, pp:342-361 [Conf]
  8. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce
    Categories for the Development of Algebraic Module Specifications. [Citation Graph (0, 0)][DBLP]
    Categorial Methods in Computer Science, 1988, pp:157-184 [Conf]
  9. Hartmut Ehrig, Michael Löwe, Fernando Orejas
    Dynamic Abstract Data Types Based on Algebraic Graph Transformations. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:236-254 [Conf]
  10. Michael Löwe
    Formal Methods. [Citation Graph (0, 0)][DBLP]
    CSMR, 1997, pp:43- [Conf]
  11. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
    Abstract Graph Derivations in the Double Pushout Approach. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:86-103 [Conf]
  12. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
    Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:119-137 [Conf]
  13. Michael Löwe, Rudolf Wilhelm
    Risiken polizeilicher Datenverarbeitung. [Citation Graph (0, 0)][DBLP]
    FIFF Jahrestagung, 1987, pp:216-252 [Conf]
  14. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs
    Algebraic Software Development Concepts for Module and Configuration Families. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1989, pp:181-192 [Conf]
  15. 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. [Citation Graph (0, 0)][DBLP]
    Handbook of Graph Grammars, 1997, pp:247-312 [Conf]
  16. Hartmut Ehrig, Martin Korff, Michael Löwe
    Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1990, pp:24-37 [Conf]
  17. Hartmut Ehrig, Michael Löwe
    Computing by Graph Transformation: Overall Aims and New Results. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1990, pp:688-703 [Conf]
  18. Paul Boehm, Hartmut Ehrig, Udo Hummert, Michael Löwe
    Towards distributed graph grammars. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1986, pp:86-98 [Conf]
  19. 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. [Citation Graph (0, 0)][DBLP]
    Handbook of Graph Grammars, 1997, pp:163-246 [Conf]
  20. Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Michael Löwe
    Graph Grammars and Logic Programming. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1990, pp:221-237 [Conf]
  21. Ingo Claßen, Michael Löwe, Susanne Waßerroth, Jan Wortmann
    Static and Dynamic Semantics of Entity-Relationship Models Based on Algebraic Methods. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1994, pp:2-9 [Conf]
  22. Felix Cornelius, Heinrich Hußmann, Michael Löwe
    The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:417-432 [Conf]
  23. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
    An Event Structure Semantics for Safe Graph Grammars. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:423-444 [Conf]
  24. Michael Löwe, Martin Beyer
    AGG - An Implementation of Algebraic Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    RTA, 1993, pp:451-456 [Conf]
  25. 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). [Citation Graph (0, 0)][DBLP]
    Software-Entwicklung, 1989, pp:201-224 [Conf]
  26. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg
    The Category of Typed Graph Grammars and its Adjunctions with Categories. [Citation Graph (0, 0)][DBLP]
    TAGT, 1994, pp:56-74 [Conf]
  27. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
    An Event Structure Semantics for Graph Grammars with Parallel Productions. [Citation Graph (0, 0)][DBLP]
    TAGT, 1994, pp:240-256 [Conf]
  28. Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs
    On the Relationship Between Algebraic Module Specifications and Program Modules. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:83-98 [Conf]
  29. Michael Löwe, Hartmut Ehrig
    Algebraic Approach to Graph Transformation Based on Single Pushout Derivations. [Citation Graph (0, 0)][DBLP]
    WG, 1990, pp:338-353 [Conf]
  30. Hartmut Ehrig, Michael Löwe
    Categorical principles, techniques and results for high-level-replacement systems in computer science. [Citation Graph (0, 0)][DBLP]
    Applied Categorical Structures, 1993, v:1, n:1, pp:21-50 [Journal]
  31. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce
    Algebraic Specification of Modules and Configuration Families. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1989, v:25, n:5/6, pp:205-232 [Journal]
  32. Michael Löwe
    Implementing Algebraic Specifications by Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1990, v:26, n:11/12, pp:615-641 [Journal]
  33. Michael Löwe, Uwe Wolter
    Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1995, v:5, n:1, pp:69-111 [Journal]
  34. Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe
    Horizontal and Vertical Structuring of Typed Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1996, v:6, n:6, pp:613-648 [Journal]
  35. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce
    Compatibility Problems in the Development of Algebraic Module Specifications. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:77, n:1&2, pp:27-71 [Journal]
  36. Hartmut Ehrig, Michael Löwe
    The ESPRIT Basic Research Working Group COMPUGRAPH "Computing by Graph Transformation": A Survey. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:109, n:1&2, pp:3-6 [Journal]
  37. Hartmut Ehrig, Michael Löwe
    Parallel and Distributed Derivations in the Single-Pushout Approach. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:109, n:1&2, pp:123-143 [Journal]
  38. Michael Löwe
    Algebraic Approach to Single-Pushout Graph Transformation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:109, n:1&2, pp:181-224 [Journal]

  39. Graph Rewriting in Span-Categories. [Citation Graph (, )][DBLP]


Search in 0.009secs, Finished in 0.285secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002