| 2018 | KR | Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2017 | ICALP | Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2017 | SEFM | An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2016 | CADE | Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2016 | KR | Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. | Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2015 | CSL | A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. | Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2015 | TIME | Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. | Alberto Molinari, Angelo Montanari, Adriano Peron |