The SCEAS System
Navigation Menu

Search the dblp DataBase


Martin Korff: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Martin Korff
    Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:234-264 [Conf]
  2. 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]
  3. 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]
  4. Martin Korff
    Application of Graph Grammars to Rule-Based Systems. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1990, pp:505-519 [Conf]
  5. 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]
  6. Martin Korff, Leila Ribeiro
    Formal Relationship between Graph Grammars and Petri Nets. [Citation Graph (0, 0)][DBLP]
    TAGT, 1994, pp:288-303 [Conf]
  7. Leila Ribeiro Korff, Martin Korff
    True Concurrency = Interleaving Concurrency + Weak Conflict. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:14, n:, pp:- [Journal]
  8. Martin Korff, Leila Ribeiro
    Concurrent derivations as single pushout graph grammar processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002