| |
| 2008 | ||
|---|---|---|
| 4 | EE | Yu-Tong He, Douglas G. Down: Limited choice and locality considerations for load balancing. Perform. Eval. 65(9): 670-687 (2008) |
| 2007 | ||
| 3 | EE | Yu-Tong He, Issam Al-Azzoni, Douglas G. Down: MARO - MinDrift affinity routing for resource management in heterogeneous computing systems. CASCON 2007: 71-85 |
| 2004 | ||
| 2 | EE | Yu-Tong He, Ryszard Janicki: Verifying protocols by model checking: a case study of the wireless application protocol and the model checker SPIN. CASCON 2004: 174-188 |
| 1 | EE | Yu-Tong He, Ryszard Janicki: Verification of the WAP Transaction Layer. SEFM 2004: 366-375 |
| 1 | Issam Al-Azzoni | [3] |
| 2 | Douglas G. Down | [3] [4] |
| 3 | Ryszard Janicki | [1] [2] |