Search

Results 1-10 of 137
Publication DateTitleAuthor(s)
31-Jul-2008Validation of Large Zoned RAID SystemsLebrecht, A; Dingle, N; Knottenbelt, W
6-Sep-2008Fast marker based c-arm pose estimationKainz, B; Grabner, M; RĂ¼ther, M
30-Nov-2005Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models.Donaldson, AF; Miller, A; Calder, M
30-Sep-2006Symmetry in temporal logic model checking.Miller, A; Donaldson, AF; Calder, M
31-Dec-2005Etch: An Enhanced Type Checking Tool for Promela.Donaldson, AF; Gay, SJ
31-Dec-2006Exact and Approximate Strategies for Symmetry Reduction in Model Checking.Donaldson, AF; Miller, A
31-Dec-2005Automatic Symmetry Detection for Model Checking Using Computational Group Theory.Donaldson, AF; Miller, A
31-Dec-2006Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives.Donaldson, AF; Miller, A
31-Dec-2006A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker.Donaldson, AF; Miller, A
1-Oct-2008Learning probabilistic logic models from probabilistic examplesChen, J; Muggleton, S; Santos, J