
Search the dblp DataBase
Paul Boehm:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Paul Boehm
The ACT System  A Software Environment for ACT ONE Specifications. [Citation Graph (0, 0)][DBLP] ADT, 1986, pp: [Conf]
 Hartmut Ehrig, Francesco ParisiPresicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin GroßeRhode
Algebraic Data Type and Process Specifications based on Projection Spaces. [Citation Graph (0, 0)][DBLP] ADT, 1987, pp:2343 [Conf]
 Paul Boehm, Hartmut Ehrig, Udo Hummert, Michael Löwe
Towards distributed graph grammars. [Citation Graph (0, 0)][DBLP] GraphGrammars and Their Application to Computer Science, 1986, pp:8698 [Conf]
 Dietmar Wolz, Paul Boehm
Compilation of LOTOS Data Type Specifications. [Citation Graph (0, 0)][DBLP] PSTV, 1989, pp:187202 [Conf]
 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] SoftwareEntwicklung, 1989, pp:201224 [Conf]
 Paul Boehm, HaraldReto Fonio, Annegret Habel
Amalgamation of Graph Transformations with Applications to Synchronization. [Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.1, 1985, pp:267283 [Conf]
 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:2226 [Journal]
 Paul Boehm, HaraldReto 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:377408 [Journal]
 Hartmut Ehrig, Francesco ParisiPresicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin GroßeRhode
Combining Data Type and Recursive Process Specifications Using Projection Algebras. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1990, v:71, n:3, pp:347380 [Journal]
Search in 0.002secs, Finished in 0.003secs
