University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

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.

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

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