Edd Turner

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Eleven quick tips to build a usable REST API for life sciences.

Aleksandra Tarkowska, Denise Carvalho-Silva, Charles E. Cook, Edd Turner, Robert D. Finn, Andrew D. Yates

PLoS Comput. Biol., 2018

2017

The Proteins API: accessing key integrated protein and genome information.

Andrew Nightingale, Ricardo Antunes, Emanuele Alpi, Borisas Bursteinas, Leonardo Gonzales, Wudong Liu, Jie Luo, Guoying Qi, Edd Turner, Maria Jesus Martin

Nucleic Acids Res., 2017

2010

A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking.

Edd Turner, Michael J. Butler, Michael Leuschel

Proceedings of the Abstract State Machines, 2010

2007

Symmetry Reduced Model Checking for B.

Edd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Symmetry Reduction for B by Permutation Flooding.

Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2005

Visualising Larger State Spaces in Pro B.

Michael Leuschel, Edd Turner

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005