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