A communications system simulation for a network displaying circuit-switching, message-switching, and packet service. - Paul Boehm; Jeffery J. Guzy; Richard K. Paetzold (WSC, 1976)

Amalgamation of Graph Transformations with Applications to Synchronization. - Paul Boehm; Harald-Reto Fonio; Annegret Habel (TAPSOFT, Vol.1, 1985)

The ACT System - A Software Environment for ACT ONE Specifications. - Paul Boehm (ADT, 1986)

Towards distributed graph grammars. - Paul Boehm; Hartmut Ehrig; Udo Hummert; Michael Löwe (Graph-Grammars and Their Application to Computer Science, 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)

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 (ADT, 1987)

Amalgamation of Graph Transformations: A Synchronization Mechanism. - Paul Boehm; Harald-Reto Fonio; Annegret Habel (J. Comput. Syst. Sci., 1987)

Compilation of LOTOS Data Type Specifications. - Dietmar Wolz; Paul Boehm (PSTV, 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 (Software-Entwicklung, 1989)

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)

Role Negotiation in a Haptic Shared Control Framework. - Amir H. Ghasemi; Mishel Johns; Benjamin Garber; Paul Boehm; Paramsothy Jayakumar; Wendy Ju; R. Brent Gillespie (AutomotiveUI (adjunct), 2016)