The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paul Boehm: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Paul Boehm
    The ACT System - A Software Environment for ACT ONE Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  2. Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
    Algebraic Data Type and Process Specifications based on Projection Spaces. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:23-43 [Conf]
  3. 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]
  4. Dietmar Wolz, Paul Boehm
    Compilation of LOTOS Data Type Specifications. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:187-202 [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. Paul Boehm, Harald-Reto Fonio, Annegret Habel
    Amalgamation of Graph Transformations with Applications to Synchronization. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1985, pp:267-283 [Conf]
  7. Hartmut Ehrig, Annegret Habel, Udo Hummert, Paul Boehm
    Towards algebraic data types grammars: a junction between algebraic specification and graph grammars. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1986, v:29, n:, pp:22-26 [Journal]
  8. Paul Boehm, Harald-Reto Fonio, Annegret Habel
    Amalgamation of Graph Transformations: A Synchronization Mechanism. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:377-408 [Journal]
  9. Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
    Combining Data Type and Recursive Process Specifications Using Projection Algebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:71, n:3, pp:347-380 [Journal]

Search in 0.002secs, Finished in 0.003secs
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