Paul Boehm

Amalgamation of graph transformations: A synchronization mechanism

Paul Boehm, Harald-Reto Fonio, Annegret Habel · Journal of Computer and System Sciences · 1987 · 90 citations

Directed Graph, Synchronization Mechanism, Network Science +8

Combining data type and recursive process specifications using projection algebras

Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm et al. · Theoretical Computer Science · 1990 · 27 citations

Formal Specification, Engineering, Formal Modeling +12

Architectures for Shared Control of Vehicle Steering**The authors wish to acknowledge the financial support of the Automotive Research Center (ARC) under Cooperative Agreement W56HZV-04-2-0001 with the U.S. Army Tank Automotive Research, Development and Engineering Center (TARDEC) Warren, MI. Disclaimer: Reference herein to any specific commercial company, product, process, or service by trade name, trademark, manufacturer, or otherwise, does not necessarily constitute or imply its endorsement, recommendation, or favoring by the United States Government or the Department of the Army (DoA). The opinions of the authors expressed herein do not necessarily state or reect those of the United States Government or the DoA, and shall not be used for advertising or product endorsement purposes. UNCLASSIFIED: Distribution Statement A. Approved for public release; distribution is unlimited. #27406.

Paul Boehm, Amir H. Ghasemi, Sile O’Modhrain et al. · IFAC-PapersOnLine · 2016 · 18 citations · Full text

Role Negotiation in a Haptic Shared Control Framework

Amir H. Ghasemi, Mishel Johns, Benjamin Garber et al. · 2016 · 10 citations

Haptic Feedback, Human-robot Collaborative Assembly, Engineering +16