STeP: The Stanford Temporal Prover. - Zohar Manna; Nikolaj S. 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 (TAPSOFT, 1995)

Probabilistic Analysis for Combinatorial Functions of Moving Points. - Li Zhang 001; Harish Devarajan; Julien Basch; Piotr Indyk (SCG, 1997)

Full Completeness of the Multiplicative Linear Logic of Chu Spaces. - Harish Devarajan; Dominic J. D. Hughes; Gordon D. Plotkin; Vaughan R. Pratt (LICS, 1999)

Probabilistic Analysis for Discrete Attributes of Moving Points. - Julien Basch; Harish Devarajan; Piotr Indyk; Li Zhang 001 (Int. J. Comput. Geom. Appl., 2003)