Harish Devarajan

Publication Activity (10 Years)

Years Active: 1995-2003
Publications (10 Years): 0

Publications

Julien Basch, Harish Devarajan, Piotr Indyk, Li Zhang
Probabilistic Analysis for Discrete Attributes of Moving Points. Int. J. Comput. Geom. Appl. 13 (1) (2003)
Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt
Full Completeness of the Multiplicative Linear Logic of Chu Spaces. LICS (1999)
Li Zhang, Harish Devarajan, Julien Basch, Piotr Indyk
Probabilistic Analysis for Combinatorial Functions of Moving Points. SCG (1997)
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)