Type inference and strong static type checking for Promela by Donaldson, A, Gay, S

Strengthening Induction−Based Race Checking with Lightweight Static Analysis by Donaldson, A, Haller, L, Kroening, D

Counterexample-guided abstraction refinement for symmetric concurrent programs by Donaldson, A, Kaiser, A, Kroening, D

Automatic analysis of scratch-pad memory code for heterogeneous multicore processors by Donaldson, A, Kroening, D, Ruemmer, P

Automatic analysis of DMA races using model checking and k-induction by Donaldson, A, Kroening, D, Rümmer, P

Automatic analysis of DMA races using model checking and k-induction. by Donaldson, A, Kroening, D, Rümmer, P

Making Software Verification Tools Really Work by Alglave, J, Donaldson, A, Kroening, D, Tautschnig, M

Software Verification Using k−Induction by Donaldson, A, Haller, L, Kroening, D, Ruemmer, P

Software verification using k-induction by Donaldson, A, Haller, L, Kroening, D, Rummer, P

Rif1 acts through Protein Phosphatase 1 but independent of replication timing to suppress telomere extension in budding yeast by Kedziora, S, Gali, V, Wilson, R, Clark, K, Nieduszynski, C, Hiraga, S, Donaldson, A

Hb S-β-thalassemia: molecular, hematological and clinical comparisons. by Serjeant, G, Serjeant, B, Fraser, R, Hambleton, I, Higgs, D, Kulozik, A, Donaldson, A

Effect of nonmeat, high-protein supplementation on quality of life and clinical outcomes in older residents of care homes: a systematic review and meta-analysis by Donaldson, A, Smith, T, Alder, S, Johnstone, A, De Roos, B, Aucott, L, Gordon, A, Myint, P

GPU Concurrency: Weak Behaviours and Programming Assumptions by Alglave, J, Batty, M, Donaldson, A, Gopalakrishnan, G, Ketema, J, Poetzl, D, Sorensen, T, Wickerson, J

Germline de novo mutations in families with Mendelian cancer syndromes caused by defects in DNA repair by Sherwood, K, Ward, JC, Soriano, I, Martin, L, Campbell, A, Rahbari, R, Kafetzopoulos, I, Sproul, D, Green, A, Sampson, JR, Donaldson, A, Ong, K, Heinimann, K, Nielsen, M, Thomas, H, Latchford, A, Palles, C, Tomlinson, I

Molecular classification and genetic pathways in hyperplastic polyposis syndrome. by Carvajal-Carmona, L, Howarth, K, Lockett, M, Polanco-Echeverry, G, Volikos, E, Gorman, M, Barclay, E, Martin, L, Jones, A, Saunders, B, Guenther, T, Donaldson, A, Paterson, J, Frayling, I, Novelli, MR, Phillips, R, Thomas, H, Silver, A, Atkin, W, Tomlinson, I

Gene-gene interactions in breast cancer susceptibility by Turnbull, C, Seal, S, Renwick, A, Warren-perry, M, Hughes, D, Elliott, A, Pernet, D, Peock, S, Adlard, J, Barwell, J, Berg, J, Brady, A, Brewer, C, Brice, G, Chapman, C, Cook, J, Davidson, R, Donaldson, A, Douglas, F, Greenhalgh, L, Henderson, A, Izatt, L, Kumar, A, Lalloo, F, Miedzybrodzka, Z

Gene-gene interactions in breast cancer susceptibility. by Turnbull, C, Seal, S, Renwick, A, Warren-Perry, M, Hughes, D, Elliott, A, Pernet, D, Peock, S, Adlard, J, Barwell, J, Berg, J, Brady, A, Brewer, C, Brice, G, Chapman, C, Cook, J, Davidson, R, Donaldson, A, Douglas, F, Greenhalgh, L, Henderson, A, Izatt, L, Kumar, A, Lalloo, F, Miedzybrodzka, Z

Further observations on LKB1/STK11 status and cancer risk in Peutz-Jeghers syndrome. by Lim, W, Hearle, N, Shah, B, Murday, V, Hodgson, S, Lucassen, A, Eccles, D, Talbot, I, Neale, K, Lim, A, O'Donohue, J, Donaldson, A, Macdonald, R, Young, I, Robinson, M, Lee, P, Stoodley, B, Tomlinson, I, Alderson, D, Holbrook, A, Vyas, S, Swarbrick, E, Lewis, A, Phillips, R, Houlston, R

Targeted prostate cancer screening in men with mutations in BRCA1 and BRCA2 detects aggressive prostate cancer: preliminary analysis of the results of the IMPACT study. by Mitra, A, Bancroft, E, Barbachano, Y, Page, E, Foster, C, Jameson, C, Mitchell, G, Lindeman, G, Stapleton, A, Suthers, G, Evans, D, Cruger, D, Blanco, I, Mercer, C, Kirk, J, Maehle, L, Hodgson, S, Walker, L, Izatt, L, Douglas, F, Tucker, K, Dorkins, H, Clowes, V, Male, A, Donaldson, A

The rs10993994 risk allele for prostate cancer results in clinically relevant changes in microseminoprotein-beta expression in tissue and urine by Whitaker, H, Kote-Jarai, Z, Ross-Adams, H, Warren, A, Burge, J, George, A, Bancroft, E, Jhavar, S, Leongamornlert, D, Tymrakiewicz, M, Saunders, E, Page, E, Mitra, A, Mitchell, G, Lindeman, G, Evans, D, Blanco, I, Mercer, C, Rubinstein, W, Clowes, V, Douglas, F, Hodgson, S, Walker, L, Donaldson, A, Izatt, L, Dorkins, H, Male, A, Tucker, K, Stapleton, A, Lam, J, Kirk, J, Lilja, H, Easton, D, Cooper, C, Eeles, R, Neal, D