The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Dennis de Champeaux, Doug Lea, Penelope Faure
    The Process of Object-Oriented Design. [Citation Graph (1, 0)][DBLP]
    OOPSLA, 1992, pp:45-62 [Conf]
  2. Dennis de Champeaux
    Bidirectional Heuristic Search Again [Citation Graph (1, 0)][DBLP]
    J. ACM, 1983, v:30, n:1, pp:22-32 [Journal]
  3. Dennis de Champeaux
    A Theorem Prover Dating a Semantic Network. [Citation Graph (0, 0)][DBLP]
    AISB/GI (ECAI), 1978, pp:82-92 [Conf]
  4. 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]
  5. Dennis de Champeaux
    Object-Oriented Analysis and Top-Down Software Development. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1991, pp:360-376 [Conf]
  6. Dennis de Champeaux
    Solutions and Their Problems. [Citation Graph (0, 0)][DBLP]
    International Computing Symposium, 1977, pp:119-127 [Conf]
  7. 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]
  8. Dennis de Champeaux, Lenie Sint
    An Improved Di-Directional Heuristic Search Algorithm. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1975, pp:309-314 [Conf]
  9. Arthur Allen, Dennis de Champeaux
    Extending the Statechart Formalism: Event Scheduling & Disposition. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1995, pp:1-16 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. Mohamed Fayad, Dennis de Champeaux
    Object-Oriented Experiences. [Citation Graph (0, 0)][DBLP]
    TRI-Ada Tutorials (1), 1992, pp:380-496 [Conf]
  16. Dennis de Champeaux
    Software engineering considered harmful. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2002, v:45, n:11, pp:102-104 [Journal]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. Dennis de Champeaux
    The OOA process. [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1993, v:4, n:2, pp:71-74 [Journal]
  27. 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]
  28. 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]
  29. 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]
  30. 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.021secs, Finished in 0.022secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002