Paul Boehm

According to our database, Paul Boehm authored at least 11 papers between 1976 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Role Negotiation in a Haptic Shared Control Framework.

Amir H. Ghasemi, Mishel Johns, Benjamin Garber, Paul Boehm, Paramsothy Jayakumar, Wendy Ju, R. Brent Gillespie

Proceedings of the Adjunct Proceedings of the 8th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2016

1990

Combining Data Type and Recursive Process Specifications Using Projection Algebras.

Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode

Theor. Comput. Sci., 1990

1989

Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag).

Hartmut Ehrig, Ingo Claßen, Paul Boehm, Werner Fey, Martin Korff, Michael Löwe

Proceedings of the Software-Entwicklung: Konzepte, 1989

Compilation of LOTOS Data Type Specifications.

Dietmar Wolz, Paul Boehm

Proceedings of the Protocol Specification, 1989

1987

Amalgamation of Graph Transformations: A Synchronization Mechanism.

Paul Boehm, Harald-Reto Fonio, Annegret Habel

J. Comput. Syst. Sci., 1987

Algebraic Data Type and Process Specifications based on Projection Spaces.

Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode

Proceedings of the Recent Trends in Data Type Specification, 1987

1986

Towards algebraic data types grammars: a junction between algebraic specification and graph grammars.

Hartmut Ehrig, Annegret Habel, Udo Hummert, Paul Boehm

Bull. EATCS, 1986

Towards distributed graph grammars.

Paul Boehm, Hartmut Ehrig, Udo Hummert, Michael Löwe

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986

The ACT System - A Software Environment for ACT ONE Specifications.

Paul Boehm

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1985

Amalgamation of Graph Transformations with Applications to Synchronization.

Paul Boehm, Harald-Reto Fonio, Annegret Habel

Proceedings of the Mathematical Foundations of Software Development, 1985

1976

A communications system simulation for a network displaying circuit-switching, message-switching, and packet service.

Paul Boehm, Jeffery J. Guzy, Richard K. Paetzold

Proceedings of the 76 Bicentennial conference on Winter simulation, 1976