| |
| 2003 | ||
|---|---|---|
| 2 | EE | Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park: Experience with Applying Formal Methods to Protocol Specification and System Architecture. Formal Methods in System Design 22(2): 109-116 (2003) |
| 2002 | ||
| 1 | EE | Mani Azimi, Faye A. Briggs, Michel Cekleov, Manoj Khare, Akhilesh Kumar, Lily Pao Looi: Scalability Port: A Coherent Interface for Shared Memory Multiprocessors. Hot Interconnects 2002: 65-70 |
| 1 | Faye A. Briggs | [1] |
| 2 | Michel Cekleov | [1] |
| 3 | Ching-Tsun Chou | [2] |
| 4 | Manoj Khare | [1] |
| 5 | Akhilesh Kumar | [1] [2] |
| 6 | Victor W. Lee | [2] |
| 7 | Lily Pao Looi | [1] |
| 8 | Phanindra K. Mannava | [2] |
| 9 | Seungjoon Park | [2] |