Using Algebraic Specification in Floyd-Hoare Assertions. - Hantao Zhang 001; Angshuman Guha; Xin Hua (AMAST, 1991)

Similarity-based Text Recognition by Deeply Supervised Siamese Network. - Ehsan Hosseini-Asl; Angshuman Guha (CoRR, 2015)