E
Edd Turner
Researcher at European Bioinformatics Institute
Publications - 8
Citations - 2040
Edd Turner is an academic researcher from European Bioinformatics Institute. The author has contributed to research in topics: Model checking & State space. The author has an hindex of 7, co-authored 8 publications receiving 1971 citations. Previous affiliations of Edd Turner include University of Southampton & University of Surrey.
Papers
More filters
Journal ArticleDOI
Activities at the Universal Protein Resource (UniProt)
Rolf Apweiler,Alex Bateman,Maria Jesus Martin,Claire O'Donovan,Michele Magrane,Yasmin Alam-Faruque,Emanuele Alpi,Ricardo Antunes,J Arganiska,EB Casanova,Benoit Bely,M Bingley,Carlos Bonilla,Ramona Britto,Borisas Bursteinas,WM Chan,Gayatri Chavali,Elena Cibrian-Uhalte,A Da Silva,M De Giorgi,Tunca Doğan,F. Fazzini,Paul Gane,Leyla Jael Garcia Castro,Penelope Garmiri,Emma Hatton-Ellis,Reija Hieta,Rachael P. Huntley,Duncan Legge,W Liu,Jie Luo,Alistair MacDougall,Prudence Mutowo,Andrew Nightingale,Sandra Orchard,Klemens Pichler,Diego Poggioli,Sangya Pundir,L Pureza,Guoying Qi,S. Rosanoff,Rabie Saidi,Tony Sawford,Aleksandra Shypitsyna,Edd Turner,Volynkin,Tony Wardell,Xavier Watkins,Hermann Zellner,Matthew Corbett,M Donnelly,P van Rensburg,Mickael Goujon,Hamish McWilliam,Rodrigo Lopez,Ioannis Xenarios,Lydie Bougueleret,Alan Bridge,Sylvain Poux,Nicole Redaschi,Lucila Aimo,Andrea H. Auchincloss,Kristian B. Axelsen,Parit Bansal,Delphine Baratin,P-A Binz,M. C. Blatter,Brigitte Boeckmann,Jerven Bolleman,Emmanuel Boutet,Lionel Breuza,C Casal-Casas,E de Castro,Lorenzo Cerutti,Elisabeth Coudert,Béatrice A. Cuche,M Doche,Dolnide Dornevil,Séverine Duvaud,Anne Estreicher,L Famiglietti,M Feuermann,Elisabeth Gasteiger,Sebastien Gehant,Gerritsen,Arnaud Gos,Nadine Gruaz-Gumowski,Ursula Hinz,Chantal Hulo,J. James,Florence Jungo,Guillaume Keller,Lara,P Lemercier,J Lew,Damien Lieberherr,Thierry Lombardot,Xavier D. Martin,Patrick Masson,Anne Morgat,Teresa Batista Neto,Salvo Paesano,Ivo Pedruzzi,Sandrine Pilbout,Monica Pozzato,Manuela Pruess,Catherine Rivoire,Bernd Roechert,Maria Victoria Schneider,Christian J. A. Sigrist,K Sonesson,S Staehli,Andre Stutz,Shyamala Sundaram,Michael Tognolli,Laure Verbregue,A-L Veuthey,Cathy H. Wu,Cecilia N. Arighi,Leslie Arminski,Chuming Chen,Yongxing Chen,John S. Garavelli,Hongzhan Huang,Kati Laiho,Peter B. McGarvey,Darren A. Natale,Baris E. Suzek,C. R. Vinayaka,Qinghua Wang,Yuqi Wang,L-S Yeh,Yerramalla,Jie Zhang +133 more
TL;DR: The mission of the Universal Protein Resource (UniProt) is to provide the scientific community with a comprehensive, high-quality and freely accessible resource of protein sequences and functional annotation.
Journal ArticleDOI
The Proteins API: accessing key integrated protein and genome information.
Andrew Nightingale,Ricardo Antunes,Emanuele Alpi,Borisas Bursteinas,Leonardo Gonzales,W Liu,Jie Luo,Guoying Qi,Edd Turner,Maria Jesus Martin +9 more
TL;DR: The Proteins API provides searching and programmatic access to protein and associated genomics data such as curated protein sequence positional annotations from UniProtKB, as well as mapped variation and proteomics data from large scale data sources (LSS).
Book ChapterDOI
Visualising larger state spaces in ProB
Michael Leuschel,Edd Turner +1 more
TL;DR: Two relatively simple algorithms are presented to often considerably reduce the complexity of the graphs, while still keeping relevant information and this makes it possible to visualise much larger state spaces and gives the user immediate feedback about the overall behaviour of a machine.
Book ChapterDOI
Symmetry reduction for b by permutation flooding
TL;DR: Permutation flooding works by computing permutations of newly encountered states, and adding them to the state space, and it turns out to be relatively unproblematic for B's data structures and the algorithm is implemented inside the ProB model checker.
Proceedings ArticleDOI
Symmetry Reduced Model Checking for B
TL;DR: A framework for symmetry reduced model checking of B machines, which verifies a unique representative from each orbit of symmetries, is presented, and experimental results illustrate the effectiveness of the method.