 | 2012 |
| 6 |  | Stefan Koerner,
C. Werner,
Thomas Hess,
P. Schulz,
M. Strasser,
S. Wagner,
Harald Böhm,
Martin Troester,
Dirk Bolte,
Herwig Elfering,
T. Pohl,
Klaus Theurich,
W. H. Miller,
P. Szwed:
Firmware verification and simulation in IBM zEnterprise 196.
IBM Journal of Research and Development 56(1): 14 (2012) |
| 2003 |
| 5 |  | Harald Böhm,
Veit Senner:
Computer Simulation of Muscle Elastic Behaviour in Drop Jumping.
Int. J. Comp. Sci. Sport 2(1): (2003) |
| 2002 |
| 4 |  | Joachim von Buttlar,
Harald Böhm,
Reinhard Ernst,
Axel Horsch,
Andreas Kohler,
Herbert Schein,
Michael Stetter,
Klaus Theurich:
z/CECSIM: An efficient and comprehensive microcode simulator for the IBM eServer z900.
IBM Journal of Research and Development 46(4-5): 607-616 (2002) |
| 1983 |
| 3 |  | Siegfried M. Rump,
Harald Böhm:
Least significant bit evaluation of arithmetic expressions in single-precision.
Computing 30(3): 189-199 (1983) |
| 1982 |
| 2 |  | Harald Böhm:
Evaluation of Arithmetic Expressions with Maximum Accuracy.
IMACS World Congress 1982: 291-294 |
| 1 |  | Harald Böhm:
Auswertung arithmetischer Ausdrücke mit maximaler Genauigkeit.
Wissenschaftliches Rechnen und Programmiersprachen 1982: 175-183 |