|
|
Computer Science Technical Reports
2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003
|
[RR-09-01]
|
Abstraction Framework for Markov Decision Processes and PCTL via Games
Mark Kattenbelt, Michael Huth
No. RR-09-01, Technical Report, Oxford University Computing Laboratory. 2009.
Details
|
BibTeX
| Link (pdf) |
|
[RR-09-02]
|
Practical Issues in Deploying Mobile Agents to Explore a Sensor-Instrumented Environment
Ettore Ferranti, Niki Trigoni
No. RR-09-02, Technical Report, OUCL. 2009.
Details
|
BibTeX
| Download (pdf) |
|
[RR-09-04]
|
The Group Theoretic Origin of Non-Locality For Qubits
Bob Coecke, Bill Edwards and Rob Spekkens
No. RR-09-04, Technical Report, OUCL. 2009.
Details
|
BibTeX
| Download (pdf) |
|
[RR-09-05]
|
STOCHASTIC GAMES FOR VERIFICATION OF PROBABILISTIC TIMED AUTOMATA
Marta Kwiatkowska, Gethin Norman and David Parker
No. RR-09-05, Technical Report, OUCL. 2009.
Details
|
BibTeX
| Download (pdf) |
|
[RR-09-06]
|
CONCAVELY-PRICED PROBABILISTIC TIMED AUTOMATA
Marcin Jurdzinski et al.
No. RR-09-06, Technical Report, OUCL. 2009.
Details
|
BibTeX
| Download (pdf) |
|
[RR-09-07]
|
Tractable Benchmarks For Constraint Programming
Justyna Petke, Peter Jeavons
No. RR-09-07, Technical Report, OUCL. 2009.
Details
|
BibTeX
| Download (pdf) |
|
[RR-09-08]
|
Big Toy Models: Representing Physical Systems As Chu Spaces
Samson Abramsky
No. RR-09-08, Technical Report, OUCL. September 2009.
Details
|
BibTeX
| Download (pdf) |
|
[RR-09-09]
|
Quantifying pervasive authentication: the case of the Hancke-Kuhn protocol
Dusko Pavlovic, Catherine Meadows
No. RR-09-09, Technical Report, OUCL. October 2009.
Details
|
BibTeX
| Download (pdf) |
|
[RR-09-10]
|
A Functional Implementation of the Formal Template Language
Nicolas Wu
No. RR-09-10, Technical Report, OUCL. October 2009.
Details
|
BibTeX
| Download (pdf) |
|
[RR-09-11]
|
Coalgebras, Chu Spaces, and Representations of Physical Systems
Samson Abramsky
No. RR-09-11, Technical Report, OUCL. October 2009.
Details
|
BibTeX
| Download (pdf) |
|
[RR-09-13]
|
Geometry of abstraction in quantum computation
Dusko Pavlovic
No. RR-09-13, Technical Report, OUCL. October 2009.
Details
|
BibTeX
| Download (pdf) |
|
[RR-09-14]
|
PROCEEDINGS OF THE OXFORD UNIVERSITY COMPUTING LABORATORY STUDENT CONFERENCE 2009
Programme Co-Chairs: Lu Feng, John Lyle, Nicolas Wu
No. RR-09-14, Technical Report, OUCL. November 2009.
Details
|
BibTeX
| Download (pdf) |
|
[RR-09-15]
|
On the modelling and analysis of Amazon Web Services access policies
David Power, Mark Slaymaker, Andrew Simpson
No. RR-09-15, Technical Report, OUCL. November 2009.
Details
|
BibTeX
| Download (pdf) |
|
|
|
|
