| |
| 2005 | ||
|---|---|---|
| 3 | EE | Angelo Montanari, Alberto Policriti, Nicola Vitacolonna: An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. LPAR 2005: 139-153 |
| 2004 | ||
| 2 | EE | Alberto Policriti, Nicola Vitacolonna, Michele Morgante, Andrea Zuccolo: Structured motifs search. RECOMB 2004: 133-139 |
| 2002 | ||
| 1 | EE | Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna: Decidability of Interval Temporal Logics over Split-Frames via Granularity. JELIA 2002: 259-270 |
| 1 | Angelo Montanari | [1] [3] |
| 2 | Michele Morgante | [2] |
| 3 | Alberto Policriti | [2] [3] |
| 4 | Guido Sciavicco | [1] |
| 5 | Andrea Zuccolo | [2] |