|
Search the dblp DataBase
Paul Boehm:
[Publications]
[Author Rank by year]
[Co-authors]
[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 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]
- 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]
- Dietmar Wolz, Paul Boehm
Compilation of LOTOS Data Type Specifications. [Citation Graph (0, 0)][DBLP] PSTV, 1989, pp:187-202 [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] Software-Entwicklung, 1989, pp:201-224 [Conf]
- 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]
- 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]
- 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]
- 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
|