default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDennis de Champeaux
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j12]Dennis de Champeaux:
Faster Linear Unification Algorithm. J. Autom. Reason. 66(4): 845-860 (2022)
2010 – 2019
- 2013
- [p1]John Hogg, Doug Lea, Alan Cameron Wills, Dennis de Champeaux, Richard C. Holt:
The Geneva Convention on the Treatment of Object Aliasing. Aliasing in Object-Oriented Programming 2013: 7-14
2000 – 2009
- 2002
- [j11]Dennis de Champeaux:
Software engineering considered harmful. Commun. ACM 45(11): 102-104 (2002)
1990 – 1999
- 1995
- [c23]Arthur Allen, Dennis de Champeaux:
Extending the Statechart Formalism: Event Scheduling & Disposition. OOPSLA 1995: 1-16 - [c22]Dennis de Champeaux, Simon Horner, Granville Miller:
OO process and metrics for effort estimation. OOPSLA Addendum 1995: 138-142 - 1994
- [c21]Dennis de Champeaux, Hermann Kaindl
, Joachim H. Laubsch, Albert Schappert:
Artificial intelligence for object-oriented software engineering. OOPSLA Addendum 1994: 127-130 - 1993
- [b1]Dennis de Champeaux, Doug Lea, Penelope Faure:
Object-oriented system development. Addison-Wesley 1993, ISBN 978-0-201-56355-9, pp. I-XVIII, 1-532 - [c20]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: 437-447 - [c19]Steven Craig Bilow, Doug Lea, Karl Freburger, Dennis de Champeaux:
Processes and metrics for object-oriented software development. OOPSLA Addendum 1993: 95-98 - 1992
- [j10]Richard C. Holt, Dennis de Champeaux:
A framework for using formal methods in object-oriented software development. OOPS Messenger 3(2): 9-10 (1992) - [j9]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): 11-16 (1992) - [c18]Dennis de Champeaux, Doug Lea, Penelope Faure:
The Process of Object-Oriented Design. OOPSLA 1992: 45-62 - [c17]Dennis de Champeaux, Al Anderson, Ed Feldhousen:
Case Study of Object-Oriented Software Development. OOPSLA 1992: 377-391 - [c16]Dennis de Champeaux, Robert Balzer, Dave Bulman, Kathleen Culver-Lozo, Ivar Jacobson, Stephen J. Mellor:
The OO Software Development Process (Panel). OOPSLA 1992: 484-489 - [c15]Mohamed Fayad, Dennis de Champeaux:
Object-Oriented Experiences. TRI-Ada Tutorials (1) 1992: 380-496 - [c14]Dennis de Champeaux:
The OO software development process (abstract). OOPSLA Addendum 1992: 61-62 - [c13]Dennis de Champeaux:
The OOA process. OOPSLA Addendum 1992: 71-74 - 1991
- [c12]Dennis de Champeaux:
Object-Oriented Analysis and Top-Down Software Development. ECOOP 1991: 360-376 - [c11]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: 166-170 - [c10]Dennis de Champeaux:
Formal techniques for object oriented software development. OOPSLA Addendum 1991: 49-54 - [c9]John Burnham, Dennis de Champeaux:
Object oriented (domain) analysis. OOPSLA Addendum 1991: 83-90 - 1990
- [c8]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: 15-17 - [c7]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: 135-139
1980 – 1989
- 1986
- [j8]Dennis de Champeaux:
Subproblem finder and instance checker, two cooperating modules for theorem provers. J. ACM 33(4): 633-657 (1986) - [j7]Dennis de Champeaux:
About the Paterson-Wegman Linear Unification Algorithm. J. Comput. Syst. Sci. 32(1): 79-90 (1986) - 1983
- [j6]Dennis de Champeaux:
Bidirectional Heuristic Search Again. J. ACM 30(1): 22-32 (1983) - 1982
- [j5]Dennis de Champeaux:
A note on resolution, connection graphs, and subsumption. SIGART Newsl. 81: 15-17 (1982) - [c6]Dennis de Champeaux, E. van Dijk:
Heuristic Search with Partial Node Expansion and Bi-Directional Search in Product Space. ECAI 1982: 180-182 - 1981
- [j4]Dennis de Champeaux:
Challenge problem 1 without search. SIGART Newsl. 76: 12-13 (1981) - [c5]Dennis de Champeaux, Jos de Bruin:
Symbolic Evaluation of LISP Functions with Side Effects for Verification. IJCAI 1981: 519-524
1970 – 1979
- 1979
- [c4]Dennis de Champeaux:
Sub-problem Finder and Instance Checker: Two Cooperating Preprocessors for Theorem Provers. IJCAI 1979: 191-196 - 1978
- [j3]Dennis de Champeaux:
Substad: For Fast Substitution in LISP, with an Application on Unification. Inf. Process. Lett. 7(1): 58-62 (1978) - [c3]Dennis de Champeaux:
A Theorem Prover Dating a Semantic Network. AISB/GI (ECAI) 1978: 82-92 - 1977
- [j2]Dennis de Champeaux, Lenie Sint:
An Optimality Theorem for a Bi-Directional Heuristic Search Algorithm. Comput. J. 20(2): 148-150 (1977) - [j1]Dennis de Champeaux, Lenie Sint:
An Improved Bidirectional Heuristic Search Algorithm. J. ACM 24(2): 177-191 (1977) - [c2]Dennis de Champeaux:
Solutions and Their Problems. International Computing Symposium 1977: 119-127 - 1975
- [c1]Dennis de Champeaux, Lenie Sint:
An Improved Di-Directional Heuristic Search Algorithm. IJCAI 1975: 309-314
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
