Computer Science Technical Reports

GAME-BASED PROBABILISTIC PREDICATE ABSTRACTION IN PRISM

M. Kattenbelt et al.

No. RR-08-01, Technical Report, OUCL. February 2008.

Details | BibTeX | Download (pdf)

Classical and Quantum Structures

Bob Coecke, Eric O Paquette and Dusko Pavlovic

No. RR-08-02, Technical Report, OUCL. 2008.

Details | BibTeX | Download (pdf)

Scalar Inverses in Quantum Structuralism

Bob Coecke, Dusko Pavlovic

No. RR-08-03, Technical Report, OUCL. 2008.

Details | BibTeX | Download (pdf)

Machine Learning and Genetic Regulatory Networks: A Review and a Roadmap

Christopher Fogelberg, Vasile Palade

No. RR-08-04, Technical Report, Oxford University Computing Laboratory. 2008.

Details | BibTeX | Download (pdf)

Design and Verification of On-Chip Communication Protocols

Peter Böhm, Tom Melham

No. RR-08-05, Technical Report, OUCL. 2008.

Details | BibTeX | Download (pdf)

A Game-based Abstraction-Refinement Framework for Markov Decision Processes

M. Kattenbelt et al.

No. RR-08-06, Technical Report, Oxford University Computing Laboratory. February 2008.

Details | BibTeX | Download (pdf)

GREENSIM: A Genetic Regulatory Network Simulator

Christopher Fogelberg, Vasile Palade

No. RR-08-07, Technical Report, Oxford University Computing Laboratory. May 2008.

Details | BibTeX | Download (pdf)

Which submodular functions are expressible using binary submodular functions?

Stanislav Živný, Peter G. Jeavons

No. RR-08-08, Technical Report, OUCLOxford, UK. June 2008.

Details | BibTeX | Download (pdf)

Dominance: Consistently Comparing Computational Complexity

Ed Blakey

No. RR-08-09, Technical Report, OUCL. July 2008.

Details | BibTeX | Download (pdf)

PROCEEDINGS OF THE OXFORD UNIVERSITY COMPUTING LABORATORY STUDENT CONFERENCE 2008

Programme Co-Chairs: Shamal Faily, Standa Zivny Conference Co-Chairs: Christo Fogelberg, Andras Salamon, Max Schafer

No. RR-08-10, Technical Report, OUCL. October 2008.

Details | BibTeX | Download (pdf)