Decidable and undecidable fragments of Halpern and Shoham’s interval temporal logic: towards a complete classification D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco International Conference on Logic for Programming Artificial Intelligence …, 2008 | 70 | 2008 |

Interval temporal logics: a journey D Della Monica, V Goranko, A Montanari, G Sciavicco Bulletin of the EATCS, 73-99, 2011 | 62 | 2011 |

A foundation for runtime monitoring A Francalanza, L Aceto, A Achilleos, DP Attard, I Cassar, D Della Monica, ... International Conference on Runtime Verification, 8-29, 2017 | 60 | 2017 |

A Foundation for Runtime Monitoring DP Attard, I Cassar, D Della Monica, A Ingólfsdóttir Runtime Verification: 17th International Conference, RV 2017, Seattle, WA …, 2017 | 60* | 2017 |

Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco Theoretical Computer Science 560, 269-291, 2014 | 41 | 2014 |

The dark side of interval temporal logic: marking the undecidability border D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco Annals of Mathematics and Artificial Intelligence 71 (1-3), 41-83, 2014 | 39 | 2014 |

On a Logic for Coalitional Games with Priced-Resource Agents D Della Monica, M Napoli, M Parente Electronic Notes in Theoretical Computer Science 278, 215-228, 2011 | 37 | 2011 |

Metric propositional neighborhood logics on natural numbers D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco Software & Systems Modeling 12 (2), 245-264, 2013 | 35 | 2013 |

Metric propositional neighborhood logics on natural numbers D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco Software & Systems Modeling 12 (2), 245-264, 2013 | 35 | 2013 |

Metric propositional neighborhood logics on natural numbers D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco Software & Systems Modeling 12 (2), 245-264, 2013 | 35 | 2013 |

The Light Side of Interval Temporal Logic: the Bernays-Schönfinkel fragment of CDT GS D. Bresolin, D. Della Monica, A. Montanari Annals of Mathematics and Artificial Intelligence (AMAI) 71 (1-3), 11-39, 2014 | 31* | 2014 |

The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT D Bresolin, DD Monica, A Montanari, G Sciavicco Temporal Representation and Reasoning (TIME), 2011 Eighteenth International …, 2011 | 31 | 2011 |

Expressiveness of the interval logics of Allen's relations on the class of all linear orders: complete classification D Della Monica, V Goranko, A Montanari, G Sciavicco IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011 | 30 | 2011 |

Metric propositional neighborhood logics: Expressiveness, decidability, and undecidability D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco Proc. of the 19th European Conference on Artificial Intelligence (ECAI), 695-700, 2010 | 30 | 2010 |

Interval temporal logics over finite linear orders: the complete picture D Bresolin, DD Monica, A Montanari, P Sala, G Sciavicco Proceedings of the 20th European Conference on Artificial Intelligence, 199-204, 2012 | 28 | 2012 |

The dark side of interval temporal logic: Sharpening the undecidability border D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco 2011 Eighteenth International Symposium on Temporal Representation and …, 2011 | 28 | 2011 |

Interval temporal logics over strongly discrete linear orders: the complete picture D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco arXiv preprint arXiv:1210.2479, 2012 | 17 | 2012 |

A decidable spatial generalization of Metric Interval Temporal Logic D Bresolin, P Sala, D Della Monica, A Montanari, G Sciavicco Temporal Representation and Reasoning (TIME), 2010 17th International …, 2010 | 16 | 2010 |

A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases L Aceto, D Della Monica, V Goranko, A Ingólfsdóttir, A Montanari, ... Acta Informatica 53 (3), 207-246, 2016 | 15 | 2016 |

A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases L Aceto, D Della Monica, V Goranko, A Ingólfsdóttir, A Montanari, ... Acta Informatica 53 (3), 207-246, 2016 | 15 | 2016 |