| 2009 | ||
|---|---|---|
| 2 | Alessandro Bianco, Fabio Mogavero, Aniello Murano: Graded Computation Tree Logic. LICS 2009: 342-351 | |
| 1 | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Balanced Paths in Colored Graphs. MFCS 2009: 149-161 | |
| 1 | Marco Faella | [1] |
| 2 | Fabio Mogavero | [1] [2] |
| 3 | Aniello Murano | [1] [2] |