Giridhar Pemmasani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2001–2004
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | FLOPS | Online Justification for Tabled Logic Programs. | Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2003 | ICLP | Online Justification for Tabled Logic Programs. | Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2002 | ICLP | Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints. | Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2001 | SODA | Finding least common ancestors in directed acyclic graphs. | Michael A. Bender, Giridhar Pemmasani, Steven Skiena, Pavel Sumazin |