Dennis de Champeaux

Publication Activity (10 Years)

Years Active: 1975-2022
Publications (10 Years): 1

Top Topics

Selection Algorithm

Top Venues

J. Autom. Reason.

Publications

Dennis de Champeaux
Faster Linear Unification Algorithm. J. Autom. Reason. 66 (4) (2022)
Dennis de Champeaux
Software engineering considered harmful. Commun. ACM 45 (11) (2002)
Arthur Allen, Dennis de Champeaux
Extending the Statechart Formalism: Event Scheduling & Disposition. OOPSLA (1995)
Dennis de Champeaux, Simon Horner, Granville Miller
OO process and metrics for effort estimation. OOPS Messenger 6 (4) (1995)
Dennis de Champeaux, Hermann Kaindl, Joachim H. Laubsch, Albert Schappert
Artificial intelligence for object-oriented software engineering. OOPS Messenger 5 (4) (1994)
Steven Craig Bilow, Doug Lea, Karl Freburger, Dennis de Champeaux
Processes and metrics for object-oriented software development. OOPS Messenger 5 (2) (1994)
Dennis de Champeaux
The OOA process. OOPS Messenger 4 (2) (1993)
Dennis de Champeaux, Andrew J. Baer, Brian Bernsen, Alan R. Korncoff, Timothy D. Korson, Daniel S. Tkach
Strategies for Object-Oriented Technology Transfer (Panel). OOPSLA (1993)
Dennis de Champeaux
The OO software development process (abstract). OOPS Messenger 4 (2) (1993)
Dennis de Champeaux, Robert Balzer, Dave Bulman, Kathleen Culver-Lozo, Ivar Jacobson, Stephen J. Mellor
The OO Software Development Process (Panel). OOPSLA (1992)
John Burnham, Dennis de Champeaux
Object oriented (domain) analysis. OOPS Messenger 3 (4) (1992)
Dennis de Champeaux, Doug Lea, Penelope Faure
The Process of Object-Oriented Design. OOPSLA (1992)
Dennis de Champeaux
Formal techniques for object oriented software development. OOPS Messenger 3 (4) (1992)
Dennis de Champeaux, Al Anderson, Ed Feldhousen
Case Study of Object-Oriented Software Development. OOPSLA (1992)
John Hogg, Doug Lea, Alan Cameron Wills, Dennis de Champeaux, Richard C. Holt
The Geneva convention on the treatment of object aliasing. OOPS Messenger 3 (2) (1992)
Richard C. Holt, Dennis de Champeaux
A framework for using formal methods in object-oriented software development. OOPS Messenger 3 (2) (1992)
Mohamed Fayad, Dennis de Champeaux
Object-Oriented Experiences. TRI-Ada Tutorials (1) (1992)
Dennis de Champeaux, Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary T. Leavens, Fiona Hayes
Formal Techniques for OO Software Development (Panel). OOPSLA (1991)
Dennis de Champeaux
Object-Oriented Analysis and Top-Down Software Development. ECOOP (1991)
Dennis de Champeaux, Larry L. Constantine, Ivar Jacobson, Stephen J. Mellor, Paul Ward, Edward Yourdon
Structured analysis and object oriented analysis (panel session). OOPSLA/ECOOP Addendum (1990)
Dennis de Champeaux, Larry L. Constantine, Ivar Jacobson, Stephen J. Mellor, Paul Ward, Edward Yourdon
Structured Analysis and Object Oriented Analysis (Panel). OOPSLA/ECOOP (1990)
Dennis de Champeaux
About the Paterson-Wegman Linear Unification Algorithm. J. Comput. Syst. Sci. 32 (1) (1986)
Dennis de Champeaux
Subproblem finder and instance checker, two cooperating modules for theorem provers. J. ACM 33 (4) (1986)
Dennis de Champeaux
Bidirectional Heuristic Search Again J. ACM 30 (1) (1983)
Dennis de Champeaux, E. van Dijk
Heuristic Search with Partial Node Expansion and Bi-Directional Search in Product Space. ECAI (1982)
Dennis de Champeaux
A note on resolution, connection graphs, and subsumption. SIGART Newsl. 81 (1982)
Dennis de Champeaux, Jos de Bruin
Symbolic Evaluation of LISP Functions with Side Effects for Verification. IJCAI (1981)
Dennis de Champeaux
Challenge problem 1 without search. SIGART Newsl. 76 (1981)
Dennis de Champeaux
Sub-problem Finder and Instance Checker: Two Cooperating Preprocessors for Theorem Provers. IJCAI (1979)
Dennis de Champeaux
A Theorem Prover Dating a Semantic Network. AISB/GI (ECAI) (1978)
Dennis de Champeaux
Substad: For Fast Substitution in LISP, with an Application on Unification. Inf. Process. Lett. 7 (1) (1978)
Dennis de Champeaux, Lenie Sint
An Optimality Theorem for a Bi-Directional Heuristic Search Algorithm. Comput. J. 20 (2) (1977)
Dennis de Champeaux, Lenie Sint
An Improved Bidirectional Heuristic Search Algorithm. J. ACM 24 (2) (1977)
Dennis de Champeaux
Solutions and Their Problems. International Computing Symposium (1977)
Dennis de Champeaux, Lenie Sint
An Improved Di-Directional Heuristic Search Algorithm. IJCAI (1975)