 | 2010 |
| 22 |  | Yosi Shibberu,
Mark Brandt,
David Cooper:
Intrinsic Contact Geometry of Protein Dynamics.
BIOCOMP 2010: 215-219 |
| 21 |  | David Cooper:
Multi-user diversity in a TDMA cellular system.
PIMRC 2010: 1413-1418 |
| 20 |  | David Cooper,
Damon Pollard,
Christopher Bolan:
Forensic Data Reocvery on the 8GB Fifth Generation iPod Nano.
Security and Management 2010: 624-626 |
| 19 |  | Francois Templier,
Julien Brochet,
Bernard Aventurier,
David Cooper,
Alexey Abramov,
Dmitri Daineka,
Pere Roca i Cabarrocas:
Polymorphous Silicon: A Promising Material for Thin-Film Transistors for Low-Cost and High-Performance Active-Matrix OLED Displays.
IEICE Transactions 93-C(10): 1490-1494 (2010) |
| 2008 |
| 18 |  | Ian Morrey,
Adrian Oram,
David Cooper,
Darren Rogers,
Paul Stephenson:
Grammatical Inference Techniques and Their Application in Ground Investigation.
Comp.-Aided Civil and Infrastruct. Engineering 23(1): 17-30 (2008) |
| 17 |  | 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 |
| 16 |  | Nedelina Tchangalova,
David Cooper:
E-Publishing Portal: A New Approach to Faculty Outreach.
ELPUB 2006: 393-394 |
| 2004 |
| 15 |  | Laolu Lijofi,
David Cooper,
Bahadir Canpolat:
A reduced complexity list single-wrong-turn (SWT) Viterbi decoding algorithm.
PIMRC 2004: 274-279 |
| 2000 |
| 14 |  | David Cooper,
Bo Ewald:
President's information technology advisory committee (PITAC): subcommittee on transforming the government.
DG.O 2000 |
| 13 |  | Yonghuai Liu,
Marcos A. Rodrigues,
David Cooper:
Using Geometric Properties of Correspondence Vectors for the Registration of Free-Form Shapes.
ICPR 2000: 5011-5014 |
| 12 |  | Susan Stepney,
David Cooper:
Formal Methods for Industrial Products.
ZB 2000: 374-393 |
| 11 |  | David Cooper,
Susan Stepney:
Segregation with Communication.
ZB 2000: 451-470 |
| 1998 |
| 10 |  | Susan Stepney,
David Cooper,
Jim Woodcock:
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement.
ZUM 1998: 284-307 |
| 1995 |
| 9 |  | Rosalind Barden,
Susan Stepney,
David Cooper:
Z in practice.
Prentice Hall 1995: I-XVIII, 1-407 |
| 1994 |
| 8 |  | 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 |
| 1993 |
| 7 |  | Brian Henderson-Sellers,
David Cooper:
Has classical music a fractal nature? - A reanalysis.
Computers and the Humanities 27(4): 277-284 (1993) |
| 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) |