Tim J. Hoar

Publication Activity (10 Years)

Years Active: 1995-1998
Publications (10 Years): 0

Publications

Sanjay Bhansali, Tim J. Hoar
Automated Software Synthesis: An Application in Mechanical CAD. IEEE Trans. Software Eng. 24 (10) (1998)
Sanjay Bhansali, Glenn A. Kramer, Tim J. Hoar
A Principled Approach Towards Symbolic Geometric Constraint Satisfaction CoRR (1996)
Sanjay Bhansali, Glenn A. Kramer, Tim J. Hoar
A Principled Approach Towards Symbolic Geometric Constraint Satisfaction. J. Artif. Intell. Res. 4 (1996)
Sanjay Bhansali, Tim J. Hoar
Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System. KBSE (1995)