Harish Devarajan

According to our database, Harish Devarajan authored at least 4 papers between 1995 and 2003.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2003

Probabilistic Analysis for Discrete Attributes of Moving Points.

Julien Basch, Harish Devarajan, Piotr Indyk, Li Zhang

Int. J. Comput. Geom. Appl., 2003

1999

Full Completeness of the Multiplicative Linear Logic of Chu Spaces.

Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

1997

Probabilistic Analysis for Combinatorial Functions of Moving Points.

Li Zhang, Harish Devarajan, Julien Basch, Piotr Indyk

Proceedings of the Thirteenth Annual Symposium on Computational Geometry, 1997

1995

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

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995