# Site hits since Oct. 19, 1995.
Towards A Constraint Satisfaction Framework for Evaluating Program-Understanding Algorithms. To appear in the Journal of Automated Software Engineering, Kluwer Publishing, 1996. With Alex Quilici.
On the Implementation and Evaluation of AbTweak. Computational Intelligence Journal, Volume 12, 1996. With Qiang Yang and Josh Tenenberg.
Approaching the Program Understanding Problem: Analysis and a Heuristic Solution Proceedings of the 18th International Conference on Software Engineering (ICSE-96), Technical University of Berlin, Berlin, Germany. To appear, March 25-30, 1996. With Qiang Yang.
A constraint-satisfaction framework for evaluating program understanding algorithms Proceedings of the 4th IEEE Workshop on Program Comprehension (WPC-96), Technical University of Berlin, Berlin, Germany. To appear, March 29-31, 1996. With Alex Quilici.
Program understanding as constraint satisfaction, Proceedings of the IEEE Seventh International Workshop on Computer-Aided Software Engineering (CASE-95), IEEE Computer Society Press, July 1995. With Qiang Yang. Also appears appears in the Proceedings of the 2nd Working Conference on Reverse Engineering (WCRE-95), July 1995.
Constraint-based Program Plan Recognition in Legacy Code, Proceedings of the 1995 IJCAI Workshop on AI and Software Engineering (AISE-95) , Montreal, August 1995. With Qiang Yang.
Interactive recognition of spatially defined model deployment templates using abstraction, Proceedings of the 1993 DND Workshop of Knowledge Based Systems and Robotics (KBSR-93), Ottawa, Canada, Government of Canada, November 1993.
Representing expectations in spatial information systems: a case study, Proceedings of the 3rd International Conference on Large Spatial Databases (ICLSD-93), Singapore, Lecture Notes in Computer Science vol. 692, pp. 465-476, Springer-Verlag, June 1993. With Graham Williams, (CSIRO, Australia).
A constraint-satisfaction framework for evaluating program-understanding algorithms. Advance version of conference paper, 1995. With Alex Quilici. Appears in Technical Report CS 95-52. An abstract is also available.
Program Understanding and Plan Recognition : A Comparative Study. Advance version of conference paper, 1995. With Qiang Yang and Alex Quilici. Appears in Technical Report CS 95-52. An abstract is also available.
Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques. Advance copy of journal paper, 1995. With Qiang Yang. Appears in Technical Report CS 95-51. An abstract is also available.
An implementation and evaluation of a hierarchical non-linear planner. Masters Thesis, University of Waterloo, available as Technical Report CS-91-17, Department of Computer Science, May 1991.
Abstraction in nonlinear planning (version 2). Original was Technical Report CS-91-65, University of Waterloo, Department of Computer Science, June 1994.
Abstraction in nonlinear planning. Technical Report CS-91-65, University of Waterloo, Department of Computer Science, May 1992.
Learning refinements to spatial template models based on false-positive and false-negative examples. Research report "Spatial Template Recognition: Learning, Complexity and Implementation", Section 1, pp. 3-26., University of Waterloo, Department of Computer Science, August 1994.
On the applicability of extended Logic Programming for representation and solution of Constraint Satisfaction Problems. Research report "Spatial Template Recognition: Learning, Complexity and Implementation", Section 2, pp. 27-43., University of Waterloo, Department of Computer Science, August 1994.
On the complexity of graph isomorphism: relationship to the spatial template recognition problem. Research report "Spatial Template Recognition: Learning, Complexity and Implementation", Section 3, pp. 44-60., University of Waterloo, Department of Computer Science, August 1994.