Login / Signup
Elise Cormie-Bowins
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Graphics Processors
Linear Temporal Logic
Tomographic Image Reconstruction
Fan Beam
Top Venues
QAPL
GRAPHITE
</>
Publications
</>
Elise Cormie-Bowins
A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities
GRAPHITE
(2012)
Elise Cormie-Bowins
,
Franck van Breugel
Measuring Progress of Probabilistic LTL Model Checking
QAPL
(2012)