Edd Turner

Publication Activity (10 Years)

Years Active: 2005-2018
Publications (10 Years): 2

Top Topics

Biomedical Data

Data Mining And Machine Learning

Top Venues

Nucleic Acids Res.

PLoS Comput. Biol.

Publications

Aleksandra Tarkowska, Denise Carvalho-Silva, Charles E. Cook, Edd Turner, Robert D. Finn, Andrew D. Yates
Eleven quick tips to build a usable REST API for life sciences. PLoS Comput. Biol. 14 (12) (2018)
Andrew Nightingale, Ricardo Antunes, Emanuele Alpi, Borisas Bursteinas, Leonardo Gonzales, Wudong Liu, Jie Luo, Guoying Qi, Edd Turner, Maria Jesus Martin
The Proteins API: accessing key integrated protein and genome information. Nucleic Acids Res. 45 (Webserver-Issue) (2017)
Edd Turner, Michael J. Butler, Michael Leuschel
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking. ASM (2010)
Edd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler
Symmetry Reduced Model Checking for B. TASE (2007)
Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner
Symmetry Reduction for B by Permutation Flooding. B (2007)
Michael Leuschel, Edd Turner
Visualising Larger State Spaces in Pro B. ZB (2005)