| 2005 |
|---|
| 5 | EE | 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): 75-94 (2005) |
| 2004 |
|---|
| 4 | EE | Giridhar Pemmasani,
Hai-Feng Guo,
Yifei Dong,
C. R. Ramakrishnan,
I. V. Ramakrishnan:
Online Justification for Tabled Logic Programs.
FLOPS 2004: 24-38 |
| 2003 |
|---|
| 3 | EE | Giridhar Pemmasani,
Hai-Feng Guo,
Yifei Dong,
C. R. Ramakrishnan,
I. V. Ramakrishnan:
Online Justification for Tabled Logic Programs.
ICLP 2003: 500-501 |
| 2002 |
|---|
| 2 | EE | Giridhar Pemmasani,
C. R. Ramakrishnan,
I. V. Ramakrishnan:
Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints.
ICLP 2002: 100-114 |
| 2001 |
|---|
| 1 | EE | Michael A. Bender,
Giridhar Pemmasani,
Steven Skiena,
Pavel Sumazin:
Finding least common ancestors in directed acyclic graphs.
SODA 2001: 845-854 |
