Constraint-based Design Recovery for Software Reengineering: Theory and Experiments, Kluwer Academic Publishing, December, 1997, ISBN 0-7923-8067-3. Volume 3 of The Kluwer International Series in Software Engineering. Book abstract and chapter summaries available online. With Alex Quilici and Qiang Yang. Order the book from Springer, or from online book-seller AMAZON.COM if you prefer.
Program Plan Recognition For Year 2000 Tools. To appear in the Science of Computer Programming Journal, 1998. With Alex Quilici and Arie van Deursen.
New Experiments With A Constraint-Based Approach To Program Plan Matching. To appear in the Science of Computer Programming Journal, 1998. With Alex Quilici and Yongjun Zhang.
Applying plan recognition algorithms to program understanding. To appear in Journal of Automated Software Engineering, Kluwer Publishing, 1998. With Alex Quilici and Qiang Yang.
Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques. Journal of Automated Software Engineering, 5(2), Kluwer Publishing, 1998. With Qiang Yang.
Towards A Constraint Satisfaction Framework for Evaluating Program-Understanding Algorithms. Journal of Automated Software Engineering, 4(3), Kluwer Publishing, 1997. With Alex Quilici.
On the Implementation and Evaluation of AbTweak. Computational Intelligence Journal, Volume 12, 1996. With Qiang Yang and Josh Tenenberg.
Exploiting Domain-Specific Knowledge To Refine Simulation Specifications. Proceedings of the 12th (1997) IEEE International Conference on Automated Software Engineering (ASE'97). (formerly KBSE). November, 1997.
Program Plan Recognition For Year 2000 Tools. Proceedings of the Fourth Working Conference on Reverse Engineering (WCRE-97). To appear October, 1997. With Alex Quilici and Arie van Deursen.
New Experiments With A Constraint-Based Approach To Program Plan Matching. Proceedings of the Fourth Working Conference on Reverse Engineering (WCRE-97). To appear October, 1997. With Alex Quilici and Yongjun Zhang.
Some Experiments in the Scalability of Program Understanding Algorithms Proceedings of the Third Working Conference on Reverse Engineering (WCRE-96), Monterey, CA. November, 1996. With Alex Quilici. WCRE Outstanding Contribution Award.
Applying Plan Recognition Algorithms to Program Understanding Proceedings of the Eleventh Knowledge-Based Software Engineering Conference (KBSE-96), Syracuse, NY. September, 1996. With Alex Quilici and Qiang Yang. Top 5 paper selection.
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. 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. Committee highly recommended.
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).
Applying Plan Recognition Algorithms to Program Understanding. With Qiang Yang and Alex Quilici. Journal article in review, 1997.
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.