dblp.uni-trier.dewww.uni-trier.de

Markus M. Helms

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
3EEEdward 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
2EEThomas 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
1EEThomas 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)

Coauthor Index

1Michael J. Becht [3]
2Tim E. Bubb [3]
3Thomas Buechner [1] [2]
4Carolynn G. Burwick [3]
5Edward W. Chencinski [3]
6Rolf Fritz [1] [2]
7Peter Guenther [2]
8Juergen Haess [3]
9Joseph M. Hoke [3]
10Juergen Koehl [1]
11Kirk D. Lamb [2]
12Manfred Loew [2]
13Thomas Schlipf [1] [2] [3]
14Jeffrey M. Turner [3]
15Hartmut Ulland [3]
16Manfred H. Walz [2] [3]
17Carl H. Whitehead [3]
18Gerhard Zilles [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)