PUBLICATIONS of DENNIS de CHAMPEAUX
Books, sole author
Algorithms in Artificial Intelligence, dissertation 1981.
OO Development Process & Metrics, Prentice Hall, 1996.
Book, coauthored
OO Systems Development (with D. Lea, P. Faure), Addison-Wesley, 1993.
Articles in refereed journals
"Een Gedemocratiseerde Besluitvormingsmethode met een Komputer voor
Lokaliseringsproblemen in de Planologie", (with B. Erwich), Stedebouw
en Volkshuisvesting, 1973 December.
"An Improved Bi-directional Heuristic Search Algorithm", (with H.J.
Sint), JACM, vol 24, no 2, 1977 May, pp 177-191.
"An Optimality Theorem for a Bi-directional Heuristic Search
Algorithm", (with H.J. Sint), The Computer Journal, vol 20, no 2,
1977 May, pp 148-150.
SUBSTAD: For Fast Substitution in LISP, with an Application on
Unification, Information Processing Letters, vol 7 no 1, 1978 January,
pp 58-62.
"Bi-Directional Heuristic Search Again", JACM, vol 30, no 1, 1983
January, pp 22-32.
"About the Paterson-Wegman Linear Unification Algorithm", Journal of
Computer and System Sciences, vol 32, no 1, pp 79-90, 1986 February.
"Subproblem Finder and Instance Checker, Two Cooperating Modules for
Theorem Provers", JACM, vol 33, no 4, pp 633-657, 1986 October.
"Medical Databases" (with J. Davidson & R. Roberts), Methods and
Information in Medicine, vol 26, pp 69-77, 1987.
"A Comparative Study of Object-Oriented Analysis Methods" (with
Penelope Faure), JOOP, vol 5 no 1, pp 21-33, 1992 March/April.
Articles in refereed proceedings and invited papers
"An Improved Bi-directional Heuristic Search Algorithm", (with H.J.
Sint), Advance Papers of the Fourth International Joint Conference on
Artificial Intelligence, MIT, 1975 September.
"Solutions and their Problems", ICS77/ACM, Morlet & Ribbens (ED), pp
119-128, 1977, North-Holland.
"A Theorem Prover Dating a Semantic Network", AISB/GI '78 Summer Con-
ference, Hamburg, 1978, pp 82-92.
"Other Directions for Automatic Theorem Proving", Colloquia Mathematica
Societatis Janos Bolyai 26, Mathematical Logic in Computer Science,
Salgotarjan (Hungary), 1978, pp 259-273.
"Kunstmatige Intelligentie en de Geheimzinnige Ips", MAB, vol 53, no 2,
1979 February, pp 59-66.
"Sub-problem Finder and Instance Checker, Two Cooperating Preprocessors
for Theorem Provers", Proceedings of the Sixth International Joint
Conference on Artificial Intelligence, Tokyo, 1979 August, pp
191-196.
"Symbolic Evaluation of LISP Functions with Side Effects for
Verification" (with J. de Bruin), Advance Papers of the Seventh
International Joint Conference on Artificial Intelligence, Vancouver,
1981 August, pp 519-527.
"Symbolic Evaluation of LISP Functions with Side Effects for
Verification" (with J. de Bruin), in Algorithmic Languages, Ed. de
Bakker & van Vliet, North-Holland, 1982, pp 271-291.
"Heuristic Search with Partial Node Expansion and Bi-Directional Search
in Product Space", (with E. van Dijk), ECAI-82, 1982 July, pp
180-182.
"In het Diepe", TTT , vol 3, no 1, 1983 March, pp 70-83.
"Unframing the Frame Problem", Proceedings of the 1987 Workshop on the
Frame Problem, Ed F.M. Brown, 1987 April, pp 311-318.
"Verification of Some Parallel Algorithms", Seventh Annual Pacific
Northwest Software Quality Conference, Portland OR, 1989 September, pp
149-169.
"Towards an Object-Oriented Analysis Technique" (with Walter Olthoff)
Seventh Annual Pacific Northwest Software Quality Conference, Portland
OR, 1989 September, pp 323-338.
"Object-Oriented Analysis and Top-down Software Development", ECOOP91,
in P. America (ed) European Conference of OO Programming, Lecture Notes
in Computer Science 512, Springer-Verlag, pp 360-376, 1991 July.
"Case Study of Object-Oriented Software Development" (with Alan
Anderson et al), presented at AIAA Aerospace & Aeronautics Conference,
1992 January, Reno.
"Object-Oriented Design by Transformations" (with Doug Lea, Penelope
Faure), Proceedings of the IEEE/ AIAA 11th Digital Avionics Systems
Conference, Seattle Washington, pp 358-379, 1992 October 5-8.
"The Process of OO Design" (with Doug Lea, Penelope Faure), Proceedings
of Oopsla92, Vancouver, BC, Canada, pp 45-62, 1992 October.
"Case Study of Object-Oriented Software Development" (with Alan
Anderson et al), Proceedings of Oopsla92, Vancouver, BC, Canada, pp
377-391, 1992 October.
"Extending the Statechart Formalism: Event Scheduling & Disposition"
(with Arthur Allen), Proceedings of Oopsla95, Austin, TX, pp 1-16,
1995 October.
Articles in non-refereed journals, proceedings, etc.
"Kunstmatige Intelligentie", Intermediair, 1974 June.
"Machinaal Begrijpen", Intermediair, 1975 August.
"Machine Understanding", Cirpho, Montreal, 1976, pp 11-31.
"Automatic Recovery of DB's After a Crash", Proceedings INGRES User
Association Meeting, 1985 October.
"Towards an OO SW Development Process", HP-Labs Tech Report HPL-92-149,
1992 November.
"Software Engineering Considered Harmful", CACM, vol 45,
no 11, pp 102-4, 2002 November.
Articles in bulletins, newsletters, etc.
"Challenge Problem #1 Without Search", Sigart Newsletter, #76, 1981,
pp 12-13.
"A Note on Resolution, Connection Graphs, and Subsumption", Sigart
Newsletter, #81, 1982, pp 15-17.
"Semantics of Pointer Manipulation, Asynchronous Communication and
Object Management", contribution to workshop on Formal Techniques at
ECOOP, 1991 July.
White papers
Self Diagnosis Tool
Towards a PDA Actor/Agent Architecture
Towards Representing Medical Knowledge
Reviews
Several reviews in Computing Reviews.
Return to resume of Dennis de Champeaux