| 1999 | ||
|---|---|---|
| 3 | EE | Nadeem Malik, Jason Baumgartner, S. Roberts, R. Dobson: A toolset for assisted formal verification. IPCCC 1999: 489-492 |
| 2 | EE | A. Pita, Nadeem Malik: Sectored renaming for superscalar microprocessors. IPCCC 1999: 59-64 |
| 1992 | ||
| 1 | EE | Nadeem Malik, Richard J. Eickemeyer, Stamatis Vassiliadis: Interlock collapsing ALU for increased instruction-level parallelism. MICRO 1992: 149-157 |
| 1 | Jason Baumgartner | [3] |
| 2 | R. Dobson | [3] |
| 3 | Richard J. Eickemeyer | [1] |
| 4 | A. Pita | [2] |
| 5 | S. Roberts | [3] |
| 6 | Stamatis Vassiliadis | [1] |