Daniel Wright

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 8

Top Topics

Dependency Graphs

Functional Genomics

Top Venues

Formal Aspects Comput.

SIGGRAPH Courses

Publications

Daniel Wright, Sadegh Dalvandi, Mark Batty, Brijesh Dongol
Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies. Formal Aspects Comput. 35 (2) (2023)
Natalya Tatarchuk, Jonathan Dupuy, Thomas Deliot, Daniel Wright, Krzysztof Narkowicz, Patrick Kelly, Aleksander Netzel, Tiago Costa
Advances in real-time rendering in games: part I. SIGGRAPH Courses (2022)
Daniel Wright, Mark Batty, Brijesh Dongol
Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version). CoRR (2021)
Maya Ghoussaini, Edward Mountjoy, Miguel Carmona, Gareth Peat, Ellen M. Schmidt, Andrew Hercules, Luca Fumis, Alfredo Miranda, Denise Carvalho-Silva, Annalisa Buniello, Tony Burdett, James D. Hayhurst, Jarrod Baker, Javier Ferrer, Asier Gonzalez-Uriarte, Simon Jupp, Mohd anisul Karim, Gautier Koscielny, Sandra Machlitt-Northen, Cinzia Malangone, Zoë May Pendlington, Paola Roncaglia, Daniel Suveges, Daniel Wright, Olga Vrousgou, Eliseo Papa, Helen E. Parkinson, Jacqueline A. L. MacArthur, John A. Todd, Jeffrey C. Barrett, Jeremy Schwartzentruber, David G. Hulcoop, David Ochoa, Ellen M. McDonagh, Ian Dunham
Open Targets Genetics: systematic identification of trait-associated genes using large-scale genetics and functional genomics. Nucleic Acids Res. 49 (Database-Issue) (2021)
Daniel Wright, Mark Batty, Brijesh Dongol
Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies. FM (2021)
Russell Skaggs-Schellenberg, Nan Wang, Daniel Wright
Performance Evaluation and Analysis of Proactive and Reactive MANET Protocols at Varied Speeds. CCWC (2020)
Russell Skaggs-Schellenberg, Daniel Wright, Nan Wang
Development and Implementation of S-MAC based RPL Protocol to Increase Energy Efficiency for the TelosB. UEMCON (2020)
Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty
Modular Relaxed Dependencies in Weak Memory Concurrency. ESOP (2020)
Krishna Sapkota, William Byrne, Pathmeswaran Raju, Craig Chapman, Lynsey Melville, Daniel Wright, James Scott
Ontology-Based Pathways Generation for Biomass to Bioenergy Conversion. ICEBE (2014)
Yijun Xiao, Abdul R. Farooq, Melvyn L. Smith, Daniel Wright, Glynn Wright
Robust Left Object Detection and Verification in Video Surveillance. MVA (2013)