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-09-12]

THREE QUBIT ENTANGLEMENT IN GRAPHICAL Z/X−CALCULUS

Bob Coecke and Bill Edwards

No. RR−09−12. OUCL. 2009.

[RR-09-17]

Assume−Guarantee Verification for Probabilistic Systems

Marta Kwiatkowska‚ Gethin Norman‚ David Parker and Hongyang Qu

No. RR−09−17. OUCL. December, 2009.

[RR-09-18]

Nominal Game Semantics

Nikos Tzevelekos

No. RR−09−18. OUCL. December, 2009.

[RR-09-09]

Quantifying pervasive authentication: the case of the Hancke−Kuhn protocol

Dusko Pavlovic and Catherine Meadows

No. RR−09−09. OUCL. October, 2009.

[RR-09-11]

Coalgebras‚ Chu Spaces‚ and Representations of Physical Systems

Samson Abramsky

No. RR−09−11. OUCL. October, 2009.

[RR-09-08]

Big Toy Models: Representing Physical Systems As Chu Spaces

Samson Abramsky

No. RR−09−08. OUCL. September, 2009.

[RR-09-07]

Tractable Benchmarks For Constraint Programming

Justyna Petke and Peter Jeavons

No. RR−09−07. OUCL. 2009.

[RR-09-06]

CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA

Marcin Jurdzinski‚ Marta Z. Kwiatkowska‚ Gethin Norman and Ashutosh Trivedi

No. RR−09−06. OUCL. 2009.

[RR-09-10]

A Functional Implementation of the Formal Template Language

Nicolas Wu

No. RR−09−10. OUCL. October, 2009.

[RR-09-05]

STOCHASTIC GAMES FOR VERIFICATION OF PROBABILISTIC TIMED AUTOMATA

Marta Kwiatkowska‚ Gethin Norman and David Parker

No. RR−09−05. OUCL. 2009.

[RR-09-15]

On the modelling and analysis of Amazon Web Services access policies

David Power‚ Mark Slaymaker and Andrew Simpson

No. RR−09−15. Oxford University Computing Laboratory. November, 2009.

[RR-09-04]

The Group Theoretic Origin of Non−Locality For Qubits

Bob Coecke‚ Bill Edwards and Rob Spekkens

No. RR−09−04. OUCL. 2009.

[RR-09-01]

Abstraction Framework for Markov Decision Processes and PCTL via Games

Mark Kattenbelt and Michael Huth

No. RR−09−01. Oxford University Computing Laboratory. 2009.

[RR-09-14]

Proceedings of the Oxford University Computing Laboratory Student Conference 2009

Programme Co−Chairs: Lu Feng‚ John Lyle and Nicolas Wu

No. RR−09−14. OUCL. November, 2009.

[RR-09-02]

Practical Issues in Deploying Mobile Agents to Explore a Sensor−Instrumented Environment

Ettore Ferranti and Niki Trigoni

No. RR−09−02. OUCL. 2009.

[RR-09-16]

Robust Localization in Cluttered Environments with NLOS Propagation

Sarfraz Nawaz and Niki Trigoni

No. RR−09−16. OUCL. December, 2009.

[RR-09-13]

Geometry of abstraction in quantum computation

Dusko Pavlovic

No. RR−09−13. OUCL. October, 2009.