dblp.uni-trier.dewww.uni-trier.de

Tim J. Hoar

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998
4EESanjay Bhansali, Tim J. Hoar: Automated Software Synthesis: An Application in Mechanical CAD. IEEE Trans. Software Eng. 24(10): 848-862 (1998)
1996
3EESanjay 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)