Adrian E. Seigler
List of publications from the DBLP Bibliography Server - FAQ
| 2007 | ||
|---|---|---|
| 5 | Adrian E. Seigler, Gary A. Van Huben, Hari Mony: Formal Verification of Partial Good Self-Test Fencing Structures. FMCAD 2007: 188-191 | |
| 2006 | ||
| 4 | Tilman Glökler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler: Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. FMCAD 2006: 3-10 | |
| 2004 | ||
| 3 | Pak-kin Mak, Gary E. Strait, Michael A. Blake, Kevin W. Kark, Vesselina K. Papazova, A. E. (Rick) Seigler, Gary A. Van Huben, Liyong Wang, George C. Wellwood: Processor subsystem interconnect architecture for a large symmetric multiprocessing system. IBM Journal of Research and Development 48(3-4): 323-338 (2004) | |
| 1999 | ||
| 2 | Paul R. Turgeon, Pak-kin Mak, Michael A. Blake, Michael F. Fee, Carl B. Ford III, Patrick J. Meaney, A. E. (Rick) Seigler, William Wu Shen: The S/390 G5/G6 binodal cache. IBM Journal of Research and Development 43(5): 661-670 (1999) | |
| 1997 | ||
| 1 | Kenneth L. Shepard, Sean M. Carey, Ee Kin Cho, Brian W. Curran, Robert F. Hatch, Dale E. Hoffman, Scott A. McCabe, Gregory A. Northrop, A. E. (Rick) Seigler: Design methodology for the S/390 Parallel Enterprise Server G4 microprocessors. IBM Journal of Research and Development 41(4&5): 515-548 (1997) | |
| 1 | Jason Baumgartner | [4] |
| 2 | Michael A. Blake | [2] [3] |
| 3 | Sean M. Carey | [1] |
| 4 | Ee Kin Cho | [1] |
| 5 | Brian W. Curran | [1] |
| 6 | Michael F. Fee | [2] |
| 7 | Carl B. Ford III | [2] |
| 8 | Tilman Glökler | [4] |
| 9 | Robert F. Hatch | [1] |
| 10 | Dale E. Hoffman | [1] |
| 11 | Gary A. Van Huben | [3] [4] [5] |
| 12 | Kevin W. Kark | [3] |
| 13 | Pak-kin Mak | [2] [3] |
| 14 | Scott A. McCabe | [1] |
| 15 | Patrick J. Meaney | [2] |
| 16 | Hari Mony | [4] [5] |
| 17 | Gregory A. Northrop | [1] |
| 18 | Vesselina K. Papazova | [3] |
| 19 | Barinjato Ramanandray | [4] |
| 20 | Paul Roessler | [4] |
| 21 | Devi Shanmugam | [4] |
| 22 | William Wu Shen | [2] |
| 23 | Kenneth L. Shepard | [1] |
| 24 | Gary E. Strait | [3] |
| 25 | Paul R. Turgeon | [2] |
| 26 | Liyong Wang | [3] |
| 27 | George C. Wellwood | [3] |