Logical Specification of Real-Time Granular Systems in an Object Oriented Language. - Emanuele Ciapessoni; Edoardo Corsetti; Manlio Migliorati; Elena Ratto (IJCAI, 1993)

Specifying industrial real-time systems in a logical framework. - Emanuele Ciapessoni; Edoardo Corsetti; Manlio Migliorati; Elena Ratto (ICLP Workshop: Applications of Logic Programming to Software Engineering, 1994)

Specifying Industrial Real-Time Systems with a Temporal Logic Framework. - Emanuele Ciapessoni; Edoardo Corsetti; Manlio Migliorati; Elena Ratto; Ernani Crivelli (Int. J. Softw. Eng. Knowl. Eng., 1996)

Features selection in NBA outcome prediction through Deep Learning. - Manlio Migliorati (CoRR, 2021)