| 2002 |
|---|
| 9 | | John N. Hooker,
G. Rago,
V. Chandru,
A. Shrivastava:
Partial Instantiation Methods for Inference in First-Order Logic.
J. Autom. Reasoning 28(5): 371-396 (2002) |
| 2000 |
|---|
| 8 | EE | V. Chandru,
N. Mahesh,
M. Manivannan,
Swami Manohar:
Volume Sculpting and Keyframe Animation System.
CA 2000: 134-139 |
| 7 | EE | B. Arun,
V. Chandru,
A. D. Ganguly,
Swami Manohar:
Molecular Dynamics Visualization with XML and VRML.
Computer Graphics International 2000: 335-342 |
| 1997 |
|---|
| 6 | EE | Joy Bhadury,
V. Chandru,
A. Maheshwari,
Ramaswamy Chandrasekaran:
Art Gallery Problems for Convex Nested Polygons.
INFORMS Journal on Computing 9(1): 100-110 (1997) |
| 1992 |
|---|
| 5 | | V. Chandru,
John N. Hooker:
Detecting Embedded Horn Structure in Propositional Logic.
Inf. Process. Lett. 42(2): 109-111 (1992) |
| 1991 |
|---|
| 4 | | V. Chandru,
R. Venkataraman:
Circular Hulls and Orbiforms of Simple Polygons.
SODA 1991: 433-440 |
| 3 | EE | V. Chandru,
John N. Hooker:
Extended Horn Sets In Propositional Logic.
J. ACM 38(1): 205-221 (1991) |
| 1990 |
|---|
| 2 | | V. Vinay,
V. Chandru:
The Expressibility of Nondeterministic Auxiliary Stack Automata and its Relation to Treesize Bounded Alternating Auxiliary Pushdown Automata.
FSTTCS 1990: 104-114 |
| 1 | | V. Chandru,
Collette R. Coullard,
Peter L. Hammer,
M. Montanuz,
X. Sun:
On Renamable Horn and Generalized Horn Functions.
Ann. Math. Artif. Intell. 1: (1990) |
