Edd Turner

Orcid: 0000-0001-6905-7150

According to our database1, Edd Turner authored at least 6 papers between 2005 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Eleven quick tips to build a usable REST API for life sciences.
PLoS Comput. Biol., 2018

2017
The Proteins API: accessing key integrated protein and genome information.
Nucleic Acids Res., 2017

2010
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking.
Proceedings of the Abstract State Machines, 2010

2007
Symmetry Reduced Model Checking for B.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Symmetry Reduction for B by Permutation Flooding.
Proceedings of the B 2007: Formal Specification and Development in B, 2007

2005
Visualising Larger State Spaces in Pro B.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005


  Loading...