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

Jonathan R. Jackson Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert H. Bell Jr., Matyas Sustik, David W. Cummings, Jonathan R. Jackson: Automatic performance model synthesis from hardware verification models. ICPE 2011: 463-468
2002
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn M. Ludden, Wolfgang Roesner, Gerry M. Heiling, John R. Reysa, Jonathan R. Jackson, Bing-Lun Chu, Michael L. Behm, Jason Baumgartner, Richard D. Peterson, Jamee Abdulhafiz, William E. Bucy, John H. Klaus, Danny J. Klema, Tien N. Le, F. Danette Lewis, Philip E. Milling, Lawrence A. McConville, Bradley S. Nelson, Viresh Paruthi, Travis W. Pouarz, Audre D. Romonosky, Jeff Stuecheli, Kent D. Thompson, Dave W. Victor, Bruce Wile: Functional verification of the POWER4 microprocessor and POWER4 multiprocessor system. IBM Journal of Research and Development 46(1): 53-76 (2002)

Coauthor Index

1Jamee Abdulhafiz [1]
2Jason Baumgartner [1]
3Michael L. Behm [1]
4Robert H. Bell Jr. [2]
5William E. Bucy [1]
6Bing-Lun Chu [1]
7David W. Cummings [2]
8Gerry M. Heiling [1]
9John H. Klaus [1]
10Danny J. Klema [1]
11Tien N. Le [1]
12F. Danette Lewis [1]
13John M. Ludden [1]
14Lawrence A. McConville [1]
15Philip E. Milling [1]
16Bradley S. Nelson [1]
17Viresh Paruthi [1]
18Richard D. Peterson [1]
19Travis W. Pouarz [1]
20John R. Reysa [1]
21Wolfgang Roesner [1]
22Audre D. Romonosky [1]
23Jeffrey Stuecheli (Jeff Stuecheli) [1]
24Matyas Sustik [2]
25Kent D. Thompson [1]
26Dave W. Victor [1]
27Bruce Wile [1]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page