| 2006 | VLDB | XCheck: A Platform for Benchmarking XQuery Engines. | Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Enrico Zimuel |
| 2005 | CSL | On the Complexity of Hybrid Logics with Binders. | Balder ten Cate, Massimo Franceschet |
| 2004 | TIME | CTL Model Checking for Processing Simple XPath Queries. | Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke |
| 2003 | TIME | Definability and decidability of binary predicates for time granularity. | Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco |
| 2003 | TIME | Hybrid Logics on Linear Structures: Expressivity and Complexity. | Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff |
| 2002 | TIME | A Logical Approach to Represent and Reason about Calendars. | Carlo Combi, Massimo Franceschet, Adriano Peron |
| 1999 | TIME | A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus. | Massimo Franceschet, Angelo Montanari |
| 1998 | KR | The Complexity of Model Checking in Modal Event Calculi with Quantifiers. | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
| 1998 | TIME | Event Calculus with Explicit Quantifiers. | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
| 1997 | ICLP | The Complexity of Model Checking in Modal Event Calculi. | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
| 1997 | TIME | Modal Event Calculi with Preconditions. | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |