Tim J. Hoar

According to our database, Tim J. Hoar authored at least 3 papers between 1995 and 1998.

Collaborative distances:

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

1998

Automated Software Synthesis: An Application in Mechanical CAD.

Sanjay Bhansali, Tim J. Hoar

IEEE Trans. Software Eng., 1998

1996

A Principled Approach Towards Symbolic Geometric Constraint Satisfaction.

Sanjay Bhansali, Glenn A. Kramer, Tim J. Hoar

J. Artif. Intell. Res., 1996

1995

Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System.

Sanjay Bhansali, Tim J. Hoar

Proceedings of the Proceedings KBSE'95, 1995