|
Search the dblp DataBase
Giridhar Pemmasani:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
Online Justification for Tabled Logic Programs. [Citation Graph (0, 0)][DBLP] FLOPS, 2004, pp:24-38 [Conf]
- Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
Online Justification for Tabled Logic Programs. [Citation Graph (0, 0)][DBLP] ICLP, 2003, pp:500-501 [Conf]
- Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan
Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints. [Citation Graph (0, 0)][DBLP] ICLP, 2002, pp:100-114 [Conf]
- Michael A. Bender, Giridhar Pemmasani, Steven Skiena, Pavel Sumazin
Finding least common ancestors in directed acyclic graphs. [Citation Graph (0, 0)][DBLP] SODA, 2001, pp:845-854 [Conf]
- Michael A. Bender, Martin Farach-Colton, Giridhar Pemmasani, Steven Skiena, Pavel Sumazin
Lowest common ancestors in trees and directed acyclic graphs. [Citation Graph (0, 0)][DBLP] J. Algorithms, 2005, v:57, n:2, pp:75-94 [Journal]
Search in 0.002secs, Finished in 0.002secs
|