![]() | ![]() |
| 2008 | ||
|---|---|---|
| 4 | Yu-Tong He, Douglas G. Down: Limited choice and locality considerations for load balancing. Perform. Eval. 65(9): 670-687 (2008) | |
| 2007 | ||
| 3 | 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 | 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 | 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] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page