| |
| 2005 | ||
|---|---|---|
| 2 | EE | Sonja Glavaski, Antonis Papachristodoulou, Kartik Ariyur: Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates. HSCC 2005: 306-321 |
| 2004 | ||
| 1 | EE | Antonis Papachristodoulou, Lun Li, John C. Doyle: Methodological frameworks for large-scale network analysis and design. Computer Communication Review 34(3): 7-20 (2004) |
| 1 | Kartik Ariyur | [2] |
| 2 | John Doyle (John C. Doyle) | [1] |
| 3 | Sonja Glavaski | [2] |
| 4 | Lun Li | [1] |