| |
| 2005 | ||
|---|---|---|
| 5 | EE | Bob Bentley: Validating a Modern Microprocessor. CAV 2005: 2-4 |
| 2004 | ||
| 4 | EE | Francine Bacchini, Robert F. Damiano, Bob Bentley, Kurt Baty, Kevin Normoyle, Makoto Ishii, Einat Yogev: Verification: what works and what doesn't. DAC 2004: 274 |
| 2003 | ||
| 3 | EE | Bob Bentley, Luigi Ciminiera, André Csillaghy, Isabelle Scholl: Management of Metadata for the Virtual Solar Observatory - Experiences from EGSO. MMGPS 2003 |
| 2001 | ||
| 2 | EE | Bob Bentley: Validating the Intel Pentium 4 Microprocessor. DAC 2001: 244-248 |
| 1 | EE | Bob Bentley: alidating the Intel® Pentium® 4 Microprocessor. DSN 2001: 493-500 |
| 1 | Francine Bacchini | [4] |
| 2 | Kurt Baty | [4] |
| 3 | Luigi Ciminiera | [3] |
| 4 | André Csillaghy | [3] |
| 5 | Robert F. Damiano | [4] |
| 6 | Makoto Ishii | [4] |
| 7 | Kevin Normoyle | [4] |
| 8 | Isabelle Scholl | [3] |
| 9 | Einat Yogev | [4] |