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]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page