University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Computer Science Technical Reports

2018201720162015201420132012201120102009200820072006200520042003

1974

[RR-05-02]

Theorem Proving in Higher Order Logics: Emerging Trends Proceedings

Joe Hurd‚ Edward Smith and Ashish Darbari

No. RR−05−02. Oxford University Computing Laboratory. July, 2005.

[RR-05-03]

Exact and Heuristic Approaches for Identifying Disease−Associated SNP Motifs

Gaofeng Huang‚ Peter Jeavons and Dominic Kwiatkowski

No. RR−05−03. Oxford University Computing Laboratory. July, 2005.

[RR-05-05]

A computational justification for guessing attack formalisms

Tom Newcomb and Gavin Lowe

No. RR−05−05. Oxford University Computing Laboratory. October, 2005.

[RR-05-07]

Scientific middleware for abstracted parallelisation

Daniel Goodman

No. RR−05−07. Oxford University Computing Laboratory. November, 2005.