Paul Boehm

11 papers Misc 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2016 — conf
Role Negotiation in a Haptic Shared Control Framework.
AutomotiveUI (adjunct)
Amir H. Ghasemi, Mishel Johns, Benjamin Garber, Paul Boehm, Paramsothy Jayakumar, Wendy Ju, R. Brent Gillespie
1990 J jnl
Combining Data Type and Recursive Process Specifications Using Projection Algebras.
Theor. Comput. Sci.
Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
1989 — conf
Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag).
Software-Entwicklung
Hartmut Ehrig, Ingo Claßen, Paul Boehm, Werner Fey, Martin Korff, Michael Löwe
1989 — conf
Compilation of LOTOS Data Type Specifications.
PSTV
Dietmar Wolz, Paul Boehm
1987 — conf
Algebraic Data Type and Process Specifications based on Projection Spaces.
ADT
Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
1987 J jnl
Amalgamation of Graph Transformations: A Synchronization Mechanism.
J. Comput. Syst. Sci.
Paul Boehm, Harald-Reto Fonio, Annegret Habel
1986 — conf
The ACT System - A Software Environment for ACT ONE Specifications.
ADT
Paul Boehm
1986 J jnl
Towards algebraic data types grammars: a junction between algebraic specification and graph grammars.
Bull. EATCS
Hartmut Ehrig, Annegret Habel, Udo Hummert, Paul Boehm
1986 — conf
Towards distributed graph grammars.
Graph-Grammars and Their Application to Computer Science
Paul Boehm, Hartmut Ehrig, Udo Hummert, Michael Löwe
1985 — conf
Amalgamation of Graph Transformations with Applications to Synchronization.
TAPSOFT, Vol.1
Paul Boehm, Harald-Reto Fonio, Annegret Habel
1976 Misc conf
A communications system simulation for a network displaying circuit-switching, message-switching, and packet service.
WSC
Paul Boehm, Jeffery J. Guzy, Richard K. Paetzold