| |
| 2005 | ||
|---|---|---|
| 3 | EE | Brian Kahne, Aseem Gupta, Peter Wilson, Nikil D. Dutt: An Introduction to the Plasma Language. MTV 2005: 12-22 |
| 2 | EE | Brian Kahne, Magdy S. Abadir: Retiming Verification Using Sequential Equivalence Checking. MTV 2005: 138-142 |
| 1997 | ||
| 1 | Brian Kahne, Peter M. Athanas: Stream synthesis for a wormhole run-time reconfigurable platform. FPL 1997: 101-110 | |
| 1 | Magdy S. Abadir | [2] |
| 2 | Peter M. Athanas (Peter Athanas) | [1] |
| 3 | Nikil D. Dutt (Nikil Dutt) | [3] |
| 4 | Aseem Gupta | [3] |
| 5 | Peter Wilson | [3] |