Massimo Borelli

According to our database, Massimo Borelli authored at least 2 papers between 2000 and 2014.

Collaborative distances:

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

2014

Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients.

Sara Bufo, Ezio Bartocci, Guido Sanguinetti, Massimo Borelli, Umberto Lucangelo, Luca Bortolussi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2000

A Possibilistic Distance for Sequences of Equal and Unequal Length.

Massimo Borelli, Andrea Sgarro

Proceedings of the Finite Versus Infinite, 2000