Giridhar Pemmasani

Publication Activity (10 Years)

Years Active: 2001-2005
Publications (10 Years): 0

Publications

Michael A. Bender, Martin Farach-Colton, Giridhar Pemmasani, Steven Skiena, Pavel Sumazin
Lowest common ancestors in trees and directed acyclic graphs. J. Algorithms 57 (2) (2005)
Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
Online Justification for Tabled Logic Programs. FLOPS (2004)
Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
Online Justification for Tabled Logic Programs. ICLP (2003)
Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan
Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints. ICLP (2002)
Michael A. Bender, Giridhar Pemmasani, Steven Skiena, Pavel Sumazin
Finding least common ancestors in directed acyclic graphs. SODA (2001)