SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Dennis de Champeaux: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

Dennis de Champeaux, Doug Lea, Penelope Faure
The Process of Object-Oriented Design. [Citation Graph (1, 0)][DBLP]
OOPSLA, 1992, pp:45-62 [Conf]
Dennis de Champeaux
Bidirectional Heuristic Search Again [Citation Graph (1, 0)][DBLP]
J. ACM, 1983, v:30, n:1, pp:22-32 [Journal]
Dennis de Champeaux
A Theorem Prover Dating a Semantic Network. [Citation Graph (0, 0)][DBLP]
AISB/GI (ECAI), 1978, pp:82-92 [Conf]
Dennis de Champeaux, E. van Dijk
Heuristic Search with Partial Node Expansion and Bi-Directional Search in Product Space. [Citation Graph (0, 0)][DBLP]
ECAI, 1982, pp:180-182 [Conf]
Dennis de Champeaux
Object-Oriented Analysis and Top-Down Software Development. [Citation Graph (0, 0)][DBLP]
ECOOP, 1991, pp:360-376 [Conf]
Dennis de Champeaux
Solutions and Their Problems. [Citation Graph (0, 0)][DBLP]
International Computing Symposium, 1977, pp:119-127 [Conf]
Dennis de Champeaux, Jos de Bruin
Symbolic Evaluation of LISP Functions with Side Effects for Verification. [Citation Graph (0, 0)][DBLP]
IJCAI, 1981, pp:519-524 [Conf]
Dennis de Champeaux, Lenie Sint
An Improved Di-Directional Heuristic Search Algorithm. [Citation Graph (0, 0)][DBLP]
IJCAI, 1975, pp:309-314 [Conf]
Arthur Allen, Dennis de Champeaux
Extending the Statechart Formalism: Event Scheduling & Disposition. [Citation Graph (0, 0)][DBLP]
OOPSLA, 1995, pp:1-16 [Conf]
Dennis de Champeaux, Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary T. Leavens, Fiona Hayes
Formal Techniques for OO Software Development (Panel). [Citation Graph (0, 0)][DBLP]
OOPSLA, 1991, pp:166-170 [Conf]
Dennis de Champeaux, Al Anderson, Ed Feldhousen
Case Study of Object-Oriented Software Development. [Citation Graph (0, 0)][DBLP]
OOPSLA, 1992, pp:377-391 [Conf]
Dennis de Champeaux, Robert Balzer, Dave Bulman, Kathleen Culver-Lozo, Ivar Jacobson, Stephen J. Mellor
The OO Software Development Process (Panel). [Citation Graph (0, 0)][DBLP]
OOPSLA, 1992, pp:484-489 [Conf]
Dennis de Champeaux, Andrew J. Baer, Brian Bernsen, Alan R. Korncoff, Timothy D. Korson, Daniel S. Tkach
Strategies for Object-Oriented Technology Transfer (Panel). [Citation Graph (0, 0)][DBLP]
OOPSLA, 1993, pp:437-447 [Conf]
Dennis de Champeaux, Larry L. Constantine, Ivar Jacobson, Stephen J. Mellor, Paul Ward, Edward Yourdon
Structured Analysis and Object Oriented Analysis (Panel). [Citation Graph (0, 0)][DBLP]
OOPSLA/ECOOP, 1990, pp:135-139 [Conf]
Mohamed Fayad, Dennis de Champeaux
Object-Oriented Experiences. [Citation Graph (0, 0)][DBLP]
TRI-Ada Tutorials (1), 1992, pp:380-496 [Conf]
Dennis de Champeaux
Software engineering considered harmful. [Citation Graph (0, 0)][DBLP]
Commun. ACM, 2002, v:45, n:11, pp:102-104 [Journal]
Dennis de Champeaux, Lenie Sint
An Optimality Theorem for a Bi-Directional Heuristic Search Algorithm. [Citation Graph (0, 0)][DBLP]
Comput. J., 1977, v:20, n:2, pp:148-150 [Journal]
Dennis de Champeaux
Substad: For Fast Substitution in LISP, with an Application on Unification. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1978, v:7, n:1, pp:58-62 [Journal]
Dennis de Champeaux
Subproblem finder and instance checker, two cooperating modules for theorem provers. [Citation Graph (0, 0)][DBLP]
J. ACM, 1986, v:33, n:4, pp:633-657 [Journal]
Dennis de Champeaux, Lenie Sint
An Improved Bidirectional Heuristic Search Algorithm. [Citation Graph (0, 0)][DBLP]
J. ACM, 1977, v:24, n:2, pp:177-191 [Journal]
Dennis de Champeaux
About the Paterson-Wegman Linear Unification Algorithm. [Citation Graph (0, 0)][DBLP]
J. Comput. Syst. Sci., 1986, v:32, n:1, pp:79-90 [Journal]
Steven Craig Bilow, Doug Lea, Karl Freburger, Dennis de Champeaux
Processes and metrics for object-oriented software development. [Citation Graph (0, 0)][DBLP]
OOPS Messenger, 1994, v:5, n:2, pp:95-98 [Journal]
John Burnham, Dennis de Champeaux
Object oriented (domain) analysis. [Citation Graph (0, 0)][DBLP]
OOPS Messenger, 1992, v:3, n:4, pp:83-90 [Journal]
Dennis de Champeaux
Formal techniques for object oriented software development. [Citation Graph (0, 0)][DBLP]
OOPS Messenger, 1992, v:3, n:4, pp:49-54 [Journal]
Dennis de Champeaux
The OO software development process (abstract). [Citation Graph (0, 0)][DBLP]
OOPS Messenger, 1993, v:4, n:2, pp:61-62 [Journal]
Dennis de Champeaux
The OOA process. [Citation Graph (0, 0)][DBLP]
OOPS Messenger, 1993, v:4, n:2, pp:71-74 [Journal]
Dennis de Champeaux, Simon Horner, Granville Miller
OO process and metrics for effort estimation. [Citation Graph (0, 0)][DBLP]
OOPS Messenger, 1995, v:6, n:4, pp:138-142 [Journal]
Dennis de Champeaux, Hermann Kaindl, Joachim Laubsch, Albert Schappert
Artificial intelligence for object-oriented software engineering. [Citation Graph (0, 0)][DBLP]
OOPS Messenger, 1994, v:5, n:4, pp:127-130 [Journal]
John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, Richard C. Holt
The Geneva convention on the treatment of object aliasing. [Citation Graph (0, 0)][DBLP]
OOPS Messenger, 1992, v:3, n:2, pp:11-16 [Journal]
Richard C. Holt, Dennis de Champeaux
A framework for using formal methods in object-oriented software development. [Citation Graph (0, 0)][DBLP]
OOPS Messenger, 1992, v:3, n:2, pp:9-10 [Journal]

Search in 0.003secs, Finished in 0.005secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP