Enrico Cominato

According to our database, Enrico Cominato authored at least 2 papers between 2017 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Extracting Interval Temporal Logic Rules: A First Approach.

Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muñoz-Velasco, Guido Sciavicco

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

2017

A Model Checker for Interval Temporal Logic over Finite Structures.

Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco

Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017