Giridhar Pemmasani

Efficient verification of concurrent systems with timed components

Giridhar Pemmasani, C. R. Ramakrishnan, 2005 .

Lowest common ancestors in trees and directed acyclic graphs

Steven Skiena, Giridhar Pemmasani, Michael A. Bender, 2005, J. Algorithms.

Finding least common ancestors in directed acyclic graphs

Steven Skiena, Giridhar Pemmasani, Michael A. Bender, 2001, SODA '01.

Online Justification for Tabled Logic Programs

Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan, 2004, FLOPS.

Online Justification for Tabled Logic Programs

Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan, 2003, FLOPS.