Alberto Pravato

Publication Activity (10 Years)

Years Active: 1995-2017
Publications (10 Years): 2

Top Topics

Multi Objective Optimization

Top Venues

Publications

Alessandro Torcinovich, Marco Fratton, Marcello Pelillo, Alberto Pravato, Alessandro Roncato
A Computer Vision System for Monitoring Ice-Cream Freezers. ICIAP (2) (2017)
Marco Fiorucci, Marco Fratton, Tinsae G. Dulecha, Marcello Pelillo, Alberto Pravato, Alessandro Roncato
A Computer Vision System for the Automatic Inventory of a Cooler. ICIAP (1) (2017)
Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi
The call-by-value [lambda]-calculus: a semantic investigation. Math. Struct. Comput. Sci. 9 (5) (1999)
Furio Honsell, Alberto Pravato, Simona Ronchi Della Rocca
Structured Operational Semantics of a Fragment of the Language Scheme. J. Funct. Program. 8 (4) (1998)
O. Bastonero, Alberto Pravato, Simona Ronchi Della Rocca
Structures for lazy semantics. PROCOMET (1998)
Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi
Categorical semantics of the call-by-value lambda-calculus. TLCA (1995)