Auswertung arithmetischer Ausdrücke mit maximaler Genauigkeit. - Harald Böhm (Wissenschaftliches Rechnen und Programmiersprachen, 1982)

Evaluation of Arithmetic Expressions with Maximum Accuracy. - Harald Böhm (IMACS World Congress, 1982)

Least significant bit evaluation of arithmetic expressions in single-precision. - Siegfried M. Rump; Harald Böhm (Computing, 1983)

z/CECSIM: An efficient and comprehensive microcode simulator for the IBM eServer z900. - Joachim von Buttlar; Harald Böhm; Reinhard Ernst; Axel Horsch; Andreas Kohler; Herbert Schein; Michael Stetter; Klaus Theurich (IBM J. Res. Dev., 2002)

Computer Simulation of Muscle Elastic Behaviour in Drop Jumping. - Harald Böhm; Veit Senner (Int. J. Comput. Sci. Sport, 2003)

Optimization of Human Motion Exemplified with Handbiking by Means of Motion Analysis and Musculoskeletal Models. - Harald Böhm; Christian Krämer (Human Motion, 2006)

Predictors of metabolic energy expenditure from body acceleration and mechanical energies in new generation active computer games. - Harald Böhm; Matthias Hartmann; Birgit Böhm (Computer Science in Sport - Mission and Methods, 2008)

Firmware verification and simulation in IBM zEnterprise 196. - Stefan Koerner; Constantin Werner; Thomas Hess; Philip Schulz; Markus Strasser; Sven Wagner; Harald Böhm; Martin Troester; Dirk Bolte; Herwig Elfering; Thomas Pohl; Klaus Theurich; et al. (IBM J. Res. Dev., 2012)

IBM z13 firmware innovations for simultaneous multithreading and I/O virtualization. - Christine Axnix; Gerd Bayer; Harald Böhm; Joachim von Buttlar; Mark S. Farrell; Lisa Cranton Heller; Jeffrey P. Kubala; Seth E. Lederer; Raymond Mansell; Angel Nuñez Mencias; Stefan Usenbinz (IBM J. Res. Dev., 2015)

TinyBFT: Byzantine Fault-Tolerant Replication for Highly Resource-Constrained Embedded Systems. - Harald Böhm; Tobias Distler; Peter Wägemann (RTAS, 2024)