Computer Science Technical Reports
2018201720162015201420132012201120102009200820072006200520042003
1974
|
[RR-08-05] |
Design and Verification of On−Chip Communication Protocols Peter Böhm and Tom Melham No. RR−08−05. Oxford University Computing Laboratory. April, 2008. |
|
[RR-08-11] |
The Ten Page Introduction to Trusted Computing Andrew Martin No. RR−08−11. OUCL. December, 2008. |
|
[RR-08-12] |
The Use of Matrices in Obfuscation Stephen Drape and Irina Voiculescu No. RR−08−12. Oxford University Computing Laboratory. December, 2008. |
|
[RR-08-01] |
GAME−BASED PROBABILISTIC PREDICATE ABSTRACTION IN PRISM M. Kattenbelt‚ M. Kwiatkowska‚ G. Norman and D. Parker No. RR−08−01. OUCL. February, 2008. |
|
[RR-08-09] |
Dominance: Consistently Comparing Computational Complexity Ed Blakey No. RR−08−09. OUCL. July, 2008. |
|
[RR-08-04] |
Machine Learning and Genetic Regulatory Networks: A Review and a Roadmap Christopher Fogelberg and Vasile Palade No. RR−08−04. Oxford University Computing Laboratory. April, 2008. technical report‚ reduced version published in A. Abraham‚ A.E Hassanien‚ A. Vasilakos‚ W.Pedrycz‚ F. Herrera‚ P. Siarry‚ A. de Carvalho and A. P. Engelbrecht (Eds.)‚ Foundations of Computational Intelligence‚ vol.1‚ chapter 1‚ Springer−Verlag‚ 2009. |
|
[RR-08-07] |
GREENSIM: A Genetic Regulatory Network Simulator Christopher Fogelberg and Vasile Palade No. RR−08−07. Oxford University Computing Laboratory. May, 2008. |
|
[RR-08-02] |
Classical and Quantum Structures Bob Coecke‚ Eric O Paquette and Dusko Pavlovic No. RR−08−02. OUCL. 2008. |
|
[RR-08-03] |
Scalar Inverses in Quantum Structuralism Bob Coecke and Dusko Pavlovic No. RR−08−03. OUCL. 2008. |
|
[RR-08-08] |
Which submodular functions are expressible using binary submodular functions? Stanislav Živný and Peter G. Jeavons No. RR−08−08. OUCL. Oxford‚ UK. June, 2008. |
|
[RR-08-05] |
Design and Verification of On−Chip Communication Protocols Peter Böhm and Tom Melham No. RR−08−05. OUCL. April, 2008. Details | BibTeX | Download (pdf) | Link |
|
[RR-08-01] |
Game−Based Probabilistic Predicate Abstraction in PRISM M. Kattenbelt‚ M. Kwiatkowska‚ G. Norman and D. Parker No. RR−08−01. Oxford University Computing Laboratory. February, 2008. |
|
[RR-08-06] |
A Game−based Abstraction−Refinement Framework for Markov Decision Processes M. Kattenbelt‚ M. Kwiatkowska‚ G. Norman and D. Parker No. RR−08−06. Oxford University Computing Laboratory. February, 2008. |
|
[RR-08-10] |
PROCEEDINGS OF THE OXFORD UNIVERSITY COMPUTING LABORATORY STUDENT CONFERENCE 2008 Programme Co−Chairs: Shamal Faily‚ Stanislav Živný Conference Co−Chairs: Christo Fogelberg‚ Andras Salamon and Max Schafer No. RR−08−10. OUCL. October, 2008. |