Edit distance modulo bisimulation: a quantitative measure to study evolution of user models. - Himanshu Zade; Santosh Arvind Adimoolam; Sai Gollapudi; Anind K. Dey; Venkatesh Choppella (CHI, 2014)

Parametrization of completeness in symbolic abstraction of bounded input linear systems. - Santosh Arvind Adimoolam (MED, 2014)

A Calculus of Complex Zonotopes for Invariance and Stability Verification of Hybrid Systems. (Un calcul des zonotopes complexes pour l'invariance et la vérification de la stabilité des systèmes hybrides). - Santosh Arvind Adimoolam (2018)