The SCEAS System
Navigation Menu

Search the dblp DataBase


David Cooper: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yonghuai Liu, Marcos A. Rodrigues, David Cooper
    Using Geometric Properties of Correspondence Vectors for the Registration of Free-Form Shapes. [Citation Graph (0, 0)][DBLP]
    ICPR, 2000, pp:5011-5014 [Conf]
  2. Randi J. Rost, Jim Bushnell, David Cooper, Jerry Schneble, Lynn Thorsen-Jensen
    Reading the fine print: what benchmarks don't tell you. [Citation Graph (0, 0)][DBLP]
    SIGGRAPH, 1994, pp:497-498 [Conf]
  3. David Cooper, Susan Stepney
    Segregation with Communication. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:451-470 [Conf]
  4. Rosalind Barden, Susan Stepney, David Cooper
    The Use of Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:99-124 [Conf]
  5. Susan Stepney, David Cooper
    Formal Methods for Industrial Products. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:374-393 [Conf]
  6. Susan Stepney, David Cooper, Jim Woodcock
    More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:284-307 [Conf]
  7. Susan Stepney, Dave Whitely, David Cooper, Colin Grant
    A Demonstrably Correct Compiler. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1991, v:3, n:1, pp:58-101 [Journal]
  8. David Cooper, Mary E. Dicker, Michael F. Lynch
    Sorting of textual data bases: A variety generation approach to distribution sorting. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Manage., 1980, v:16, n:1, pp:49-56 [Journal]
  9. David Cooper, Michael F. Lynch
    The use of binary search trees in external distribution sorting. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Manage., 1984, v:20, n:4, pp:547-557 [Journal]
  10. David Cooper, Michael F. Lynch
    Compression of Wiswesser Line Notations Using Variety Generation. [Citation Graph (0, 0)][DBLP]
    Journal of Chemical Information and Computer Sciences, 1979, v:19, n:3, pp:165-169 [Journal]

  11. President's information technology advisory committee (PITAC): subcommittee on transforming the government. [Citation Graph (, )][DBLP]

  12. E-Publishing Portal: A New Approach to Faculty Outreach. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002