| 2003 |
|---|
| 4 | EE | Julien Basch,
Harish Devarajan,
Piotr Indyk,
Li Zhang:
Probabilistic Analysis for Discrete Attributes of Moving Points.
Int. J. Comput. Geometry Appl. 13(1): 5-22 (2003) |
| 1999 |
|---|
| 3 | EE | Harish Devarajan,
Dominic J. D. Hughes,
Gordon D. Plotkin,
Vaughan R. Pratt:
Full Completeness of the Multiplicative Linear Logic of Chu Spaces.
LICS 1999: 234-242 |
| 1997 |
|---|
| 2 | EE | Li Zhang,
Harish Devarajan,
Julien Basch,
Piotr Indyk:
Probabilistic Analysis for Combinatorial Functions of Moving Points.
Symposium on Computational Geometry 1997: 442-444 |
| 1995 |
|---|
| 1 | | Zohar Manna,
Nikolaj Bjørner,
Anca Browne,
Edward Y. Chang,
Michael Colón,
Luca de Alfaro,
Harish Devarajan,
Arjun Kapur,
Jaejin Lee,
Henny Sipma,
Tomás E. Uribe:
STeP: The Stanford Temporal Prover.
TAPSOFT 1995: 793-794 |
