Harish Devarajan

	2003
4		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		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		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

Coauthor Index

1	Luca de Alfaro	[1]
2	Julien Basch	[2] [4]
3	Nikolaj Bjørner	[1]
4	Anca Browne (I. A. Draghicescu)	[1]
5	Edward Y. Chang	[1]
6	Michael Colón	[1]
7	Dominic J. D. Hughes	[3]
8	Piotr Indyk	[2] [4]
9	Arjun Kapur	[1]
10	Jaejin Lee	[1]
11	Zohar Manna	[1]
12	Gordon D. Plotkin	[3]
13	Vaughan R. Pratt	[3]
14	Henny B. Sipma (Henny Sipma)	[1]
15	Tomás E. Uribe	[1]
16	Li Zhang	[2] [4]

Colors in the list of coauthors