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