Image and video descriptors Advanced Topics in Computer Vision Spring 2010 Weizmann Institute of Science Oded Shahar and Gil Levi.
CAV‘ 2002 conference, and “Formal Methods in System Design” 2005 journal