Nicola Vitacolonna (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna: Games on Strings with a Limited Order Relation. LFCS 2009: 164-179

4 Angelo Montanari, Alberto Policriti, Nicola Vitacolonna: An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. LPAR 2005: 139-153

1 Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna: Decidability of Interval Temporal Logics over Split-Frames via Granularity. JELIA 2002: 259-270

Selection of 3 from 6 records - Nicola Vitacolonna has 7 coauthors

5		Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna: Games on Strings with a Limited Order Relation. LFCS 2009: 164-179
4		Angelo Montanari, Alberto Policriti, Nicola Vitacolonna: An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. LPAR 2005: 139-153
1		Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna: Decidability of Interval Temporal Logics over Split-Frames via Granularity. JELIA 2002: 259-270