David Cooper

	2008
14		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
13		Nedelina Tchangalova, David Cooper: E-Publishing Portal: A New Approach to Faculty Outreach. ELPUB 2006: 393-394
	2000
12		David Cooper, Bo Ewald: President's information technology advisory committee (PITAC): subcommittee on transforming the government. DG.O 2000
11		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		Susan Stepney, David Cooper: Formal Methods for Industrial Products. ZB 2000: 374-393
9		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		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		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		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		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	John A. Clark (John Andrew Clark)	[14]
4	Mary E. Dicker	[2]
5	Bo Ewald	[12]
6	Colin Grant	[4]
7	Jeremy L. Jacob (Jeremy Jacob)	[14]
8	Yonghuai Liu	[11]
9	Michael F. Lynch	[1] [2] [3]
10	Marcos A. Rodrigues	[11]
11	Randi J. Rost	[7]
12	Jerry Schneble	[7]
13	Susan Stepney	[4] [5] [6] [8] [9] [10] [14]
14	Nedelina Tchangalova	[13]
15	Lynn Thorsen-Jensen	[7]
16	Dave Whitely	[4]
17	Jim Woodcock (J. C. P. Woodcock)	[8] [14]

Colors in the list of coauthors