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-11-11]

Automatic Verification of Competitive Stochastic Systems

Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker and Aistis Simaitis

No. RR−11−11. DCS. 2011.

[RR-11-10]

Stream Differential Equations: concrete formats for coinductive definitions

Clemens Kupke‚ Milad Niqui and Jan Rutten

No. RR−11−10. 2011.

[RR-11-08]

Semantic Web Search Based on Ontological Conjunctive Queries

Bettina Fazzinga‚ Giorgio Gianforme‚ Georg Gottlob and Thomas Lukasiewicz

No. RR−11−08. DCS. October, 2011.

[RR-11-07]

A New Perspective in Pervasive Advertising

Lorenzo Carrara and Giorgio Orsi

No. RR−11−07. DCS. 2011.

[RR-11-04]

The order encoding: from tractable CSP to tractable SAT

Justyna Petke and Peter Jeavons

No. RR−11−04. DCS‚ University of Oxford. 2011.

[RR-10-17]

Categorical Quantum Circuits

Ville Bergholm and Jacob Biamonte

No. RR−10−17. OUCL. September, 2011.