Tim J. Hoar

	1998
4		Sanjay Bhansali, Tim J. Hoar: Automated Software Synthesis: An Application in Mechanical CAD. IEEE Trans. Software Eng. 24(10): 848-862 (1998)
	1996
3		Sanjay Bhansali, Glenn A. Kramer, Tim J. Hoar: A Principled Approach Towards Symbolic Geometric Constraint Satisfaction CoRR cs.AI/9606101: (1996)
2		Sanjay Bhansali, Glenn A. Kramer, Tim J. Hoar: A Principled Approach Towards Symbolic Geometric Constraint Satisfaction. J. Artif. Intell. Res. (JAIR) 4: 419-443 (1996)
	1995
1		Sanjay Bhansali, Tim J. Hoar: Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System. KBSE 1995: 11-18

Coauthor Index

1	Sanjay Bhansali	[1] [2] [3] [4]
2	Glenn A. Kramer	[2] [3]