Effective completeness theorems for modal logic. - Suman Ganguli; Anil Nerode (Ann. Pure Appl. Log., 2004)

Understanding the Immune Response in Tuberculosis Using Different Mathematical Models and Biological Scales. - David Gammack; Suman Ganguli; Simeone Marino; Jose L. Segovia-Juarez; Denise E. Kirschner (Multiscale Model. Simul., 2005)