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