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

[CS-RR-12-01]

A Compositional Specification Theory for Component Behaviours

Taolue Chen‚ Chris Chilton‚ Bengt Jonsson and Marta Kwiatkowska

No. CS−RR−12−01. DCS. 2012.

[RR-12-06]

Draft Proceedings of the 24th Symposium on Implementation and Application of Functional Languages (IFL 2012)

Ralf Hinze (editor)

No. RR−12−06. DCS. 2012.

[RR-12-05]

INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS

Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker‚ Hongyang Qu and Mateusz Ujma

No. RR−12−05. DCS. 2012.

[CS-RR-12-04]

Revisiting Timed Specification Theories: A Linear−Time Perspective

Chris Chilton‚ Marta Kwiatkowska and Xu Wang

No. CS−RR−12−04. DCS. 2012.

[RR-12-03]

PLAYING STOCHASTIC GAMES PRECISELY

Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ Aistis Simaitis‚ Ashutosh Trivedi and Michael Ummels

No. RR−12−03. 2012.

[RR-10-21]

A General Datalog−Based Framework for Tractable Query Answering over Ontologies

Andrea Calì‚ Georg Gottlob and Thomas Lukasiewicz

No. RR−10−21. OUCL. March, 2012.