Dennis de Champeaux

According to our database1, Dennis de Champeaux authored at least 37 papers between 1975 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Faster Linear Unification Algorithm.
J. Autom. Reason., 2022

2013
The Geneva Convention on the Treatment of Object Aliasing.
Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

2002
Software engineering considered harmful.
Commun. ACM, 2002

1995
OO process and metrics for effort estimation.
Proceedings of the Addendum to the Proceedings of the 10th Annual Conference on Object-Oriented Programming Systems, 1995

Extending the Statechart Formalism: Event Scheduling & Disposition.
Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

1994
Artificial intelligence for object-oriented software engineering.
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1994

1993
Processes and metrics for object-oriented software development.
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1993

Strategies for Object-Oriented Technology Transfer (Panel).
Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, 1993

Object-oriented system development.
Addison-Wesley, ISBN: 978-0-201-56355-9, 1993

1992
A framework for using formal methods in object-oriented software development.
OOPS Messenger, 1992

The Geneva convention on the treatment of object aliasing.
OOPS Messenger, 1992

The OOA process.
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1992

The OO software development process (abstract).
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1992

Object-Oriented Experiences.
Proceedings of the Tutorial Proceedings on TRI-Ada 1992, November 17-20, 1992, Orlando, Florida USA, 1992

The Process of Object-Oriented Design.
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

The OO Software Development Process (Panel).
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

Case Study of Object-Oriented Software Development.
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

1991
Formal techniques for object oriented software development.
Proceedings of the Addendum to the proceedings on Object-oriented programming Systems, 1991

Object oriented (domain) analysis.
Proceedings of the Addendum to the proceedings on Object-oriented programming Systems, 1991

Formal Techniques for OO Software Development (Panel).
Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, 1991

Object-Oriented Analysis and Top-Down Software Development.
Proceedings of the ECOOP'91 European Conference on Object-Oriented Programming, 1991

1990
Structured Analysis and Object Oriented Analysis (Panel).
Proceedings of the Conference on Object-Oriented Programming Systems, 1990

Structured analysis and object oriented analysis (panel session).
Proceedings of the European Conference on Object-Oriented Programming Addendum: Systems, 1990

1986
About the Paterson-Wegman Linear Unification Algorithm.
J. Comput. Syst. Sci., 1986

Subproblem finder and instance checker, two cooperating modules for theorem provers.
J. ACM, 1986

1983
Bidirectional Heuristic Search Again
J. ACM, January, 1983

1982
A note on resolution, connection graphs, and subsumption.
SIGART Newsl., 1982

Heuristic Search with Partial Node Expansion and Bi-Directional Search in Product Space.
Proceedings of the 5th European Conference on Artificial Intelligence, 1982

1981
Challenge problem 1 without search.
SIGART Newsl., 1981

Symbolic Evaluation of LISP Functions with Side Effects for Verification.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1979
Sub-problem Finder and Instance Checker: Two Cooperating Preprocessors for Theorem Provers.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1978
Substad: For Fast Substitution in LISP, with an Application on Unification.
Inf. Process. Lett., 1978

A Theorem Prover Dating a Semantic Network.
Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

1977
An Improved Bidirectional Heuristic Search Algorithm.
J. ACM, 1977

An Optimality Theorem for a Bi-Directional Heuristic Search Algorithm.
Comput. J., 1977

Solutions and Their Problems.
Proceedings of the International Computing Symposium 1977, 1977

1975
An Improved Di-Directional Heuristic Search Algorithm.
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975


  Loading...