Dennis de Champeaux

2002
30	EE	Dennis de Champeaux: Software engineering considered harmful. Commun. ACM 45(11): 102-104 (2002)
1995
29		Arthur Allen, Dennis de Champeaux: Extending the Statechart Formalism: Event Scheduling & Disposition. OOPSLA 1995: 1-16
28		Dennis de Champeaux, Simon Horner, Granville Miller: OO process and metrics for effort estimation. OOPS Messenger 6(4): 138-142 (1995)
1994
27		Steven Craig Bilow, Doug Lea, Karl Freburger, Dennis de Champeaux: Processes and metrics for object-oriented software development. OOPS Messenger 5(2): 95-98 (1994)
26		Dennis de Champeaux, Hermann Kaindl, Joachim Laubsch, Albert Schappert: Artificial intelligence for object-oriented software engineering. OOPS Messenger 5(4): 127-130 (1994)
1993
25		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
24		Dennis de Champeaux: The OO software development process (abstract). OOPS Messenger 4(2): 61-62 (1993)
23		Dennis de Champeaux: The OOA process. OOPS Messenger 4(2): 71-74 (1993)
1992
22		Dennis de Champeaux, Al Anderson, Ed Feldhousen: Case Study of Object-Oriented Software Development. OOPSLA 1992: 377-391
21		Dennis de Champeaux, Doug Lea, Penelope Faure: The Process of Object-Oriented Design. OOPSLA 1992: 45-62
20		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
19	EE	Mohamed Fayad, Dennis de Champeaux: Object-Oriented Experiences. TRI-Ada Tutorials (1) 1992: 380-496
18		John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, Richard C. Holt: The Geneva convention on the treatment of object aliasing. OOPS Messenger 3(2): 11-16 (1992)
17		Richard C. Holt, Dennis de Champeaux: A framework for using formal methods in object-oriented software development. OOPS Messenger 3(2): 9-10 (1992)
16		Dennis de Champeaux: Formal techniques for object oriented software development. OOPS Messenger 3(4): 49-54 (1992)
15		John Burnham, Dennis de Champeaux: Object oriented (domain) analysis. OOPS Messenger 3(4): 83-90 (1992)
1991
14	EE	Dennis de Champeaux: Object-Oriented Analysis and Top-Down Software Development. ECOOP 1991: 360-376
13		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
1990
12		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
1986
11	EE	Dennis de Champeaux: Subproblem finder and instance checker, two cooperating modules for theorem provers. J. ACM 33(4): 633-657 (1986)
10		Dennis de Champeaux: About the Paterson-Wegman Linear Unification Algorithm. J. Comput. Syst. Sci. 32(1): 79-90 (1986)
1983
9	EE	Dennis de Champeaux: Bidirectional Heuristic Search Again J. ACM 30(1): 22-32 (1983)
1982
8		Dennis de Champeaux, E. van Dijk: Heuristic Search with Partial Node Expansion and Bi-Directional Search in Product Space. ECAI 1982: 180-182
1981
7		Dennis de Champeaux, Jos de Bruin: Symbolic Evaluation of LISP Functions with Side Effects for Verification. IJCAI 1981: 519-524
1978
6		Dennis de Champeaux: A Theorem Prover Dating a Semantic Network. AISB/GI (ECAI) 1978: 82-92
5		Dennis de Champeaux: Substad: For Fast Substitution in LISP, with an Application on Unification. Inf. Process. Lett. 7(1): 58-62 (1978)
1977
4		Dennis de Champeaux: Solutions and Their Problems. International Computing Symposium 1977: 119-127
3		Dennis de Champeaux, Lenie Sint: An Optimality Theorem for a Bi-Directional Heuristic Search Algorithm. Comput. J. 20(2): 148-150 (1977)
2	EE	Dennis de Champeaux, Lenie Sint: An Improved Bidirectional Heuristic Search Algorithm. J. ACM 24(2): 177-191 (1977)
1975
1		Dennis de Champeaux, Lenie Sint: An Improved Di-Directional Heuristic Search Algorithm. IJCAI 1975: 309-314

Coauthor Index

1	Arthur Allen	[29]
2	Pierre America	[13]
3	Al Anderson	[22]
4	Andrew J. Baer	[25]
5	Robert Balzer	[20]
6	Brian Bernsen	[25]
7	Steven Craig Bilow	[27]
8	Jos de Bruin	[7]
9	Dave Bulman	[20]
10	John Burnham	[15]
11	Derek Coleman	[13]
12	Larry L. Constantine	[12]
13	Kathleen Culver-Lozo	[20]
14	E. van Dijk	[8]
15	Roger Duke	[13]
16	Penelope Faure	[21]
17	Mohamed Fayad (Mohamed E. Fayad, M. E. Fayad)	[19]
18	Ed Feldhousen	[22]
19	Karl Freburger	[27]
20	Fiona Hayes	[13]
21	John Hogg	[18]
22	Richard C. Holt	[17] [18]
23	Simon Horner	[28]
24	Ivar Jacobson	[12] [20]
25	Hermann Kaindl	[26]
26	Alan R. Korncoff	[25]
27	Timothy D. Korson	[25]
28	Joachim Laubsch	[26]
29	Doug Lea	[13] [18] [21] [27]
30	Gary T. Leavens	[13]
31	Stephen J. Mellor	[12] [20]
32	Granville Miller	[28]
33	Albert Schappert	[26]
34	Lenie Sint	[1] [2] [3]
35	Daniel S. Tkach	[25]
36	Paul Ward	[12]
37	Alan Wills	[18]
38	Edward Yourdon	[12]

Colors in the list of coauthors