Elise Cormie-Bowins

According to our database¹, Elise Cormie-Bowins authored at least 2 papers in 2012.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2012

A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, 2012

Measuring Progress of Probabilistic LTL Model Checking

[BibT_eX]

[DOI]

Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012