Categorical semantics of the call-by-value lambda-calculus. - Alberto Pravato; Simona Ronchi Della Rocca; Luca Roversi (TLCA, 1995)

Structures for lazy semantics. - Olivier Bastonero; Alberto Pravato; Simona Ronchi Della Rocca (PROCOMET, 1998)

Structured Operational Semantics of a Fragment of the Language Scheme. - Furio Honsell; Alberto Pravato; Simona Ronchi Della Rocca (J. Funct. Program., 1998)

The call-by-value [lambda]-calculus: a semantic investigation. - Alberto Pravato; Simona Ronchi Della Rocca; Luca Roversi (Math. Struct. Comput. Sci., 1999)

A Computer Vision System for the Automatic Inventory of a Cooler. - Marco Fiorucci; Marco Fratton; Tinsae G. Dulecha; Marcello Pelillo; Alberto Pravato; Alessandro Roncato (ICIAP (1), 2017)

A Computer Vision System for Monitoring Ice-Cream Freezers. - Alessandro Torcinovich; Marco Fratton; Marcello Pelillo; Alberto Pravato; Alessandro Roncato (ICIAP (2), 2017)