| 2009 | ||
|---|---|---|
| 4 | Fabio Mogavero, Aniello Murano: Branching-Time Temporal Logics with Minimal Model Quantifiers. Developments in Language Theory 2009: 396-409 | |
| 3 | Alessandro Bianco, Fabio Mogavero, Aniello Murano: Graded Computation Tree Logic. LICS 2009: 342-351 | |
| 2 | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Balanced Paths in Colored Graphs. MFCS 2009: 149-161 | |
| 2008 | ||
| 1 | Piero A. Bonatti, Fabio Mogavero: Comparing Rule-Based Policies. POLICY 2008: 11-18 | |
| 1 | Alessandro Bianco | [2] [3] |
| 2 | Piero A. Bonatti | [1] |
| 3 | Marco Faella | [2] |
| 4 | Aniello Murano | [2] [3] [4] |