An Application of Defeasible Logic Programming for Firewall Verification and Reconfiguration. - Pritom Rajkhowa; Shyamanta M. Hazarika; Guillermo Ricardo Simari (QSHINE, 2013)

VIAP - Automated System for Verifying Integer Assignment Programs with Loops. - Pritom Rajkhowa; Fangzhen Lin (SYNASC, 2017)

Extending VIAP to Handle Array Programs. - Pritom Rajkhowa; Fangzhen Lin (VSTTE, 2018)

VIAP 1.1 - (Competition Contribution). - Pritom Rajkhowa; Fangzhen Lin (TACAS (3), 2019)