University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

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.

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