Computer Science Technical Reports
2018201720162015201420132012201120102009200820072006200520042003
1974
|
[RR-10-26] |
QUANTITATIVE MULTI−OBJECTIVE VERIFICATION FOR PROBABILISTIC SYSTEMS Vojtˇech Forejt‚ Marta Kwiatkowska‚ Gethin Norman‚ David Parker and Hongyang Qu No. RR−10−26. OUCL. 2010. |
|
[RR-10-25] |
On Software Verification for Sensor Nodes Doina Bucur and Marta Kwiatkowska No. RR−10−25. OUCL. December, 2010. |
|
[RR-10-24] |
A new bound for t−wise almost universal hash functions L.H. Nguyen and A.W. Roscoe No. RR−10−24. OUCL. November, 2010. |
|
[RR-10-22] |
PROCEEDINGS OF THE OXFORD UNIVERSITY COMPUTING LABORATORY STUDENT CONFERENCE 2010 Programme Committee: Sara−Jane Dunn‚ Joe Loughry‚ Ivan Lubenko (chair) and Huy Vu No. RR−10−22. OUCL. November, 2010. |
|
[RR-10-16] |
An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection David A. Cohen‚ Paidi Creed‚ Peter G. Jeavons and Stanislav Zivny No. RR−10−16. OUCL. November, 2010. |
|
[RR-10-20] |
STABILITY OF THE MAHALANOBIS DISTANCE:A TECHNICAL NOTE Andrew D. Ker No. RR−10−20. OUCL. October, 2010. |
|
[RR-10-14] |
Categorical Tensor Network States Stephen R.Clark Jacob D. Biamonte and Dieter Jaksch No. RR−10−14. OUCL. September, 2010. Details | BibTeX | Download (pdf) | Link |
|
[RR-10-13] |
Ground State Spin Calculus Jacob D Biamonte No. RR−10−13. OUCL. September, 2010. |
|
[RR-10-07] |
Expected Reachability−Time Games Vojtech Forejt‚ Marta Kwiatkowska‚ Gethin Norman and Ashutosh Trivedi No. RR−10−07. OUCL. June, 2010. |
|
[RR-10-11] |
A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic Roy Dyckhoff and Mehrnoosh Sadrzadeh No. RR−10−11. OUCL. June, 2010. |
|
[RR-10-06] |
THE UNIFORM PRIOR AND ZERO INFORMATION: A TECHNICAL NOTE Andrew D. Ker No. RR−10−06. June, 2010. |
|
[RR-10-05] |
Categorical Models of Quantum Circuits Jacob D Biamonte No. RR−10−05. OUCL. May, 2010. Details | BibTeX | Download (pdf) | Link |
|
[RR-10-02] |
Intellectual Property Protection using Obfuscation Stephen Drape No. RR−10−02. March, 2010. |
|
[RR-10-04] |
Conceptual Knowledge Acquisition Using Automatically Generated Large−Scale Semantic Networks (This is not the final version) Pia−Ramona Wojtinnek‚ Brian Harrington‚ Sebastian Rudolph and Stephen Pulman No. RR−10−04. April, 2010. |
|
[RR-10-03] |
A Multiple Comparative Study of Test−With Development Product Changes and their Effects on Team Speed and Product Quality Steve Bannerman and Andrew Martin No. RR−10−03. April, 2010. |
|
[RR-10-01] |
On the Security of Internet Banking in South Korea Hyoungshick Kim‚ Jun Ho Huh and Ross Anderson No. RR−10−01. March, 2010. |
|
[RR-10-15] |
PHASE GROUPS AND LOCAL HIDDEN VARIABLES Bill Edwards No. RR−10−15. September, 2010. |