Paul Boehm

Publication Activity (10 Years)

Years Active: 1976-2016
Publications (10 Years): 1

Top Topics

Theoretical Framework

Main Contribution

Top Venues

AutomotiveUI (adjunct)

Publications

Amir H. Ghasemi, Mishel Johns, Benjamin Garber, Paul Boehm, Paramsothy Jayakumar, Wendy Ju, R. Brent Gillespie
Role Negotiation in a Haptic Shared Control Framework. AutomotiveUI (adjunct) (2016)
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. Theor. Comput. Sci. 71 (3) (1990)
Dietmar Wolz, Paul Boehm
Compilation of LOTOS Data Type Specifications. PSTV (1989)
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). Software-Entwicklung (1989)
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. ADT (1987)
Paul Boehm, Harald-Reto Fonio, Annegret Habel
Amalgamation of Graph Transformations: A Synchronization Mechanism. J. Comput. Syst. Sci. 34 (2/3) (1987)
Hartmut Ehrig, Annegret Habel, Udo Hummert, Paul Boehm
Towards algebraic data types grammars: a junction between algebraic specification and graph grammars. Bull. EATCS 29 (1986)
Paul Boehm
The ACT System - A Software Environment for ACT ONE Specifications. ADT (1986)
Paul Boehm, Hartmut Ehrig, Udo Hummert, Michael Löwe
Towards distributed graph grammars. Graph-Grammars and Their Application to Computer Science (1986)
Paul Boehm, Harald-Reto Fonio, Annegret Habel
Amalgamation of Graph Transformations with Applications to Synchronization. TAPSOFT, Vol.1 (1985)
Paul Boehm, Jeffery J. Guzy, Richard K. Paetzold
A communications system simulation for a network displaying circuit-switching, message-switching, and packet service. WSC (1976)