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. |