2004 |
3 | EE | Edward W. Chencinski,
Michael J. Becht,
Tim E. Bubb,
Carolynn G. Burwick,
Juergen Haess,
Markus M. Helms,
Joseph M. Hoke,
Thomas Schlipf,
Jeffrey M. Turner,
Hartmut Ulland,
Manfred H. Walz,
Carl H. Whitehead,
Gerhard Zilles:
The structure of chips and links comprising the IBM eServer z990 I/O subsystem.
IBM Journal of Research and Development 48(3-4): 449-460 (2004) |
1999 |
2 | EE | Thomas Buechner,
Rolf Fritz,
Peter Guenther,
Markus M. Helms,
Kirk D. Lamb,
Manfred Loew,
Thomas Schlipf,
Manfred H. Walz:
Event monitoring in highly complex hardware systems.
IBM Journal of Research and Development 43(5): 889-898 (1999) |
1997 |
1 | EE | Thomas Schlipf,
Thomas Buechner,
Rolf Fritz,
Markus M. Helms,
Juergen Koehl:
Formal verification made easy.
IBM Journal of Research and Development 41(4&5): 567-576 (1997) |