Temporalized logics and automata for time granularityFRANCESCHET, MASSIMO; MONTANARI, ANGELO · Theory and Practice of Logic Programming · 2004

Definability and decidability of binary predicates for time granularityMassimo Franceschet; Angelo Montanari; Adriano Peron; Guido Sciavicco · 2006

A Guided Tour through some Extensions of the Event CalculusIliano Cervesato; Massimo Franceschet; Angelo Montanari · 2000

Model Checking for Combined Logics with an Application to Mobile SystemsMassimo Franceschet; Angelo Montanari; Maarten de Rijke · 2004

A graph-theoretic approach to map conceptual designs to XML schemasFranceschet, Massimo; Gubiani, Donatella; Montanari, Angelo; Piazza, Carla · ACM Transactions on Database Systems · 2013

[IEEE 18th International Conference on Database and Expert Systems Applications (DEXA 2007) - Regensburg, Germany (2007.09.3-2007.09.7)] 18th International Conference on Database and Expert Systems Applications (DEXA 2007) - Modeling and Validating Spatio-Temporal Conceptual Schemas in XML SchemaFranceschet, Massimo; Montanari, Angelo; Gubiani, Donatella · 2007

[IEEE 18th International Conference on Database and Expert Systems Applications (DEXA 2007) - Regensburg, Germany (2007.09.3-2007.09.7)] 18th International Conference on Database and Expert Systems Applications (DEXA 2007) - Modeling and Validating Spatio-Temporal Conceptual Schemas in XML SchemaFranceschet, Massimo; Montanari, Angelo; Gubiani, Donatella · 2007