An Improved Di-Directional Heuristic Search Algorithm. - Dennis de Champeaux; Lenie Sint (IJCAI, 1975)

Solutions and Their Problems. - Dennis de Champeaux (International Computing Symposium, 1977)

An Optimality Theorem for a Bi-Directional Heuristic Search Algorithm. - Dennis de Champeaux; Lenie Sint (Comput. J., 1977)

An Improved Bidirectional Heuristic Search Algorithm. - Dennis de Champeaux; Lenie Sint (J. ACM, 1977)

A Theorem Prover Dating a Semantic Network. - Dennis de Champeaux (AISB/GI (ECAI), 1978)

Substad: For Fast Substitution in LISP, with an Application on Unification. - Dennis de Champeaux (Inf. Process. Lett., 1978)

Sub-problem Finder and Instance Checker: Two Cooperating Preprocessors for Theorem Provers. - Dennis de Champeaux (IJCAI, 1979)

Symbolic Evaluation of LISP Functions with Side Effects for Verification. - Dennis de Champeaux; Jos de Bruin (IJCAI, 1981)

Challenge problem 1 without search. - Dennis de Champeaux (SIGART Newsl., 1981)

Heuristic Search with Partial Node Expansion and Bi-Directional Search in Product Space. - Dennis de Champeaux; E. van Dijk (ECAI, 1982)

A note on resolution, connection graphs, and subsumption. - Dennis de Champeaux (SIGART Newsl., 1982)

Bidirectional Heuristic Search Again - Dennis de Champeaux (J. ACM, 1983)

Subproblem finder and instance checker, two cooperating modules for theorem provers. - Dennis de Champeaux (J. ACM, 1986)

About the Paterson-Wegman Linear Unification Algorithm. - Dennis de Champeaux (J. Comput. Syst. Sci., 1986)

Structured analysis and object oriented analysis (panel session). - Dennis de Champeaux; Larry L. Constantine; Ivar Jacobson; Stephen J. Mellor; Paul Ward; Edward Yourdon (OOPSLA/ECOOP Addendum, 1990)

Structured Analysis and Object Oriented Analysis (Panel). - Dennis de Champeaux; Larry L. Constantine; Ivar Jacobson; Stephen J. Mellor; Paul Ward; Edward Yourdon (OOPSLA/ECOOP, 1990)

Object-Oriented Analysis and Top-Down Software Development. - Dennis de Champeaux (ECOOP, 1991)

Formal Techniques for OO Software Development (Panel). - Dennis de Champeaux; Pierre America; Derek Coleman; Roger Duke; Doug Lea; Gary T. Leavens; Fiona Hayes (OOPSLA, 1991)

Object oriented (domain) analysis. - John Burnham; Dennis de Champeaux (OOPSLA Addendum, 1991)

Formal techniques for object oriented software development. - Dennis de Champeaux (OOPSLA Addendum, 1991)

Case Study of Object-Oriented Software Development. - Dennis de Champeaux; Al Anderson; Ed Feldhousen (OOPSLA, 1992)

The OO Software Development Process (Panel). - Dennis de Champeaux; Robert Balzer; Dave Bulman; Kathleen Culver-Lozo; Ivar Jacobson; Stephen J. Mellor (OOPSLA, 1992)

The Process of Object-Oriented Design. - Dennis de Champeaux; Doug Lea; Penelope Faure (OOPSLA, 1992)

Object-Oriented Experiences. - Mohamed Fayad; Dennis de Champeaux (TRI-Ada Tutorials (1), 1992)

The OO software development process (abstract). - Dennis de Champeaux (OOPSLA Addendum, 1992)

The OOA process. - Dennis de Champeaux (OOPSLA Addendum, 1992)

The Geneva convention on the treatment of object aliasing. - John Hogg; Doug Lea; Alan Cameron Wills; Dennis de Champeaux; Richard C. Holt (OOPS Messenger, 1992)

A framework for using formal methods in object-oriented software development. - Richard C. Holt; Dennis de Champeaux (OOPS Messenger, 1992)

Object-oriented system development. - Dennis de Champeaux; Doug Lea; Penelope Faure (Addison-Wesley, 1993)

Strategies for Object-Oriented Technology Transfer (Panel). - Dennis de Champeaux; Andrew J. Baer; Brian Bernsen; Alan R. Korncoff; Timothy D. Korson; Daniel S. Tkach (OOPSLA, 1993)

Processes and metrics for object-oriented software development. - Steven Craig Bilow; Doug Lea; Karl Freburger; Dennis de Champeaux (OOPSLA Addendum, 1993)

Artificial intelligence for object-oriented software engineering. - Dennis de Champeaux; Hermann Kaindl; Joachim H. Laubsch; Albert Schappert (OOPSLA Addendum, 1994)

Extending the Statechart Formalism: Event Scheduling & Disposition. - Arthur Allen; Dennis de Champeaux (OOPSLA, 1995)

OO process and metrics for effort estimation. - Dennis de Champeaux; Simon Horner; Granville Miller (OOPSLA Addendum, 1995)

Software engineering considered harmful. - Dennis de Champeaux (Commun. ACM, 2002)

The Geneva Convention on the Treatment of Object Aliasing. - John Hogg; Doug Lea; Alan Cameron Wills; Dennis de Champeaux; Richard C. Holt (Aliasing in Object-Oriented Programming, 2013)

Faster Linear Unification Algorithm. - Dennis de Champeaux (J. Autom. Reason., 2022)