| |
| 2008 | ||
|---|---|---|
| 2 | EE | Marina Gelastou, Chryssis Georgiou, Anna Philippou: On the Application of Formal Methods for Specifying and Verifying Distributed Protocols. NCA 2008: 195-204 |
| 2006 | ||
| 1 | EE | Marina Gelastou, Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis: The Power of the Defender. ICDCS Workshops 2006: 37 |
| 1 | Chryssis Georgiou | [2] |
| 2 | Marios Mavronicolas | [1] |
| 3 | Vicky G. Papadopoulou (Vicky Papadopoulou) | [1] |
| 4 | Anna Philippou | [1] [2] |
| 5 | Paul G. Spirakis | [1] |