Mechanising the Alphabetised Relational Calculus. - Gift Nuka; Jim Woodcock 001 (WMF, 2003)

Mechanising a Unifying Theory. - Gift Nuka; Jim Woodcock 001 (UTP, 2006)

Mechanising the unifying theories of programming. - Gift Shaba Panson Nuka (2008)

InterProScan 5: genome-scale protein function classification. - Philip Jones; David Binns; Hsin-Yu Chang; Matthew Fraser; Weizhong Li 001; Craig McAnulla; Hamish McWilliam; John Maslen; Alex L. Mitchell; Gift Nuka; Sebastien Pesseat; Antony F. Quinn; et al. (Bioinform., 2014)

EBI metagenomics - a new resource for the analysis and archiving of metagenomic data. - Sarah Hunter; Matthew Corbett; Hubert Denise; Matthew Fraser; Alejandra N. González-Beltrán; Christopher I. Hunter; Philip Jones; Rasko Leinonen; Craig McAnulla; Eamonn Maguire; John Maslen; Alex L. Mitchell; et al. (Nucleic Acids Res., 2014)

The InterPro protein families database: the classification resource after 15 years. - Alex L. Mitchell; Hsin-Yu Chang; Louise C. Daugherty; Matthew Fraser; Sarah Hunter; Rodrigo Lopez; Craig McAnulla; Conor McMenamin; Gift Nuka; Sebastien Pesseat; Amaia Sangrador-Vegas; Maxim Scheremetjew; et al. (Nucleic Acids Res., 2015)

InterPro in 2017 - beyond protein family and domain annotations. - Robert D. Finn; Teresa K. Attwood; Patricia C. Babbitt; Alex Bateman; Peer Bork; Alan J. Bridge; Hsin-Yu Chang; Zsuzsanna Dosztányi; Sara El-Gebali; Matthew Fraser; Julian Gough; David Haft; et al. (Nucleic Acids Res., 2017)

InterPro in 2019: improving coverage, classification and access to protein sequence annotations. - Alex L. Mitchell; Teresa K. Attwood; Patricia C. Babbitt; Matthias Blum; Peer Bork; Alan J. Bridge; Shoshana D. Brown; Hsin-Yu Chang; Sara El-Gebali; Matthew Fraser; Julian Gough; David Haft; et al. (Nucleic Acids Res., 2019)

The InterPro protein families and domains database: 20 years on. - Matthias Blum; Hsin-Yu Chang; Sara Chuguransky; Tiago Grego; Swaathi Kandasamy; Alex L. Mitchell; Gift Nuka; Typhaine Paysan-Lafosse; Matloob Qureshi; Shriya Raj; Lorna J. Richardson; Gustavo A. Salazar; et al. (Nucleic Acids Res., 2021)