David Cooper

2008
16	EE	Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob: The certification of the Mondex electronic purse to ITSEC Level E6. Formal Asp. Comput. 20(1): 5-19 (2008)
2006
15	EE	David Cooper, Mun Wai Chan, Gautam Mehra, Peter Woodward, Brian R. von Konsky, Michael C. Robey, Michael Harding: Using Dependence Graphs to Assist Manual and Automated Object Oriented Software Inspections. ASWEC 2006: 262-269
14	EE	Nedelina Tchangalova, David Cooper: E-Publishing Portal: A New Approach to Faculty Outreach. ELPUB 2006: 393-394
2004
13	EE	David Cooper, Benjamin Khoo, Brian R. von Konsky, Mike Robey: Java Implementation Verification Using Reverse Engineering. ACSC 2004: 203-211
2000
12	EE	David Cooper, Bo Ewald: President's information technology advisory committee (PITAC): subcommittee on transforming the government. DG.O 2000
11	EE	Yonghuai Liu, Marcos A. Rodrigues, David Cooper: Using Geometric Properties of Correspondence Vectors for the Registration of Free-Form Shapes. ICPR 2000: 5011-5014
10	EE	Susan Stepney, David Cooper: Formal Methods for Industrial Products. ZB 2000: 374-393
9	EE	David Cooper, Susan Stepney: Segregation with Communication. ZB 2000: 451-470
1998
8		Susan Stepney, David Cooper, Jim Woodcock: More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. ZUM 1998: 284-307
1994
7	EE	Randi J. Rost, Jim Bushnell, David Cooper, Jerry Schneble, Lynn Thorsen-Jensen: Reading the fine print: what benchmarks don't tell you. SIGGRAPH 1994: 497-498
1992
6		Susan Stepney, Rosalind Barden, David Cooper: Object Orientation in Z Springer 1992
1991
5		Rosalind Barden, Susan Stepney, David Cooper: The Use of Z. Z User Workshop 1991: 99-124
4		Susan Stepney, Dave Whitely, David Cooper, Colin Grant: A Demonstrably Correct Compiler. Formal Asp. Comput. 3(1): 58-101 (1991)
1984
3	EE	David Cooper, Michael F. Lynch: The use of binary search trees in external distribution sorting. Inf. Process. Manage. 20(4): 547-557 (1984)
1980
2	EE	David Cooper, Mary E. Dicker, Michael F. Lynch: Sorting of textual data bases: A variety generation approach to distribution sorting. Inf. Process. Manage. 16(1): 49-56 (1980)
1979
1	EE	David Cooper, Michael F. Lynch: Compression of Wiswesser Line Notations Using Variety Generation. Journal of Chemical Information and Computer Sciences 19(3): 165-169 (1979)

Coauthor Index

1	Rosalind Barden	[5] [6]
2	Jim Bushnell	[7]
3	Mun Wai Chan	[15]
4	John A. Clark (John Andrew Clark)	[16]
5	Mary E. Dicker	[2]
6	Bo Ewald	[12]
7	Colin Grant	[4]
8	Michael Harding	[15]
9	Jeremy L. Jacob (Jeremy Jacob)	[16]
10	Benjamin Khoo	[13]
11	Brian R. von Konsky	[13] [15]
12	Yonghuai Liu	[11]
13	Michael F. Lynch	[1] [2] [3]
14	Gautam Mehra	[15]
15	Mike Robey (Michael C. Robey)	[13] [15]
16	Marcos A. Rodrigues	[11]
17	Randi J. Rost	[7]
18	Jerry Schneble	[7]
19	Susan Stepney	[4] [5] [6] [8] [9] [10] [16]
20	Nedelina Tchangalova	[14]
21	Lynn Thorsen-Jensen	[7]
22	Dave Whitely	[4]
23	Jim Woodcock (J. C. P. Woodcock)	[8] [16]
24	Peter Woodward	[15]

Colors in the list of coauthors