Dennis de Champeaux
According to our database1,
Dennis de Champeaux
authored at least 37 papers
between 1975 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
2013
Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013
2002
1995
Proceedings of the Addendum to the Proceedings of the 10th Annual Conference on Object-Oriented Programming Systems, 1995
Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995
1994
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1994
1993
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1993
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
OOPS Messenger, 1992
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1992
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1992
Proceedings of the Tutorial Proceedings on TRI-Ada 1992, November 17-20, 1992, Orlando, Florida USA, 1992
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992
1991
Proceedings of the Addendum to the proceedings on Object-oriented programming Systems, 1991
Proceedings of the Addendum to the proceedings on Object-oriented programming Systems, 1991
Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, 1991
Proceedings of the ECOOP'91 European Conference on Object-Oriented Programming, 1991
1990
Proceedings of the Conference on Object-Oriented Programming Systems, 1990
Proceedings of the European Conference on Object-Oriented Programming Addendum: Systems, 1990
1986
J. ACM, 1986
1983
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
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
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
Comput. J., 1977
Solutions and Their Problems.
Proceedings of the International Computing Symposium 1977, 1977
1975
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975