Gianluca Amato, profile picture

Gianluca Amato

4 Slideshow
Sort by
Dal percettrone ad AlphaGo (e SAI)
byGianluca Amato
 
NFM 2015 - Sum of abstract domains
byGianluca Amato
 
FM 2015 - Narrowing operators on template abstract domains
byGianluca Amato
 
ICTCS 2015 - Exploiting linearity in sharing analysis of object-oriented programs
byGianluca Amato