An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra. - Maria Luisa Guerriero; John K. Heath; Corrado Priami (CMSB, 2007)

Modelling Intracellular Fate of FGF Receptors With BioAmbients. - Steffen van Bakel; Ikra Khan; Maria Grazia Vigliotti; John K. Heath (QAPL, 2008)

The Equivalence between Biology and Computation. - John K. Heath (CMSB, 2009)

Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA. - Federica Ciocchetta; Andrea Degasperi; John K. Heath; Jane Hillston (Formal Methods in Molecular Biology, 2009)

Narrative-based computational modelling of the Gp130/JAK/STAT signalling pathway. - Maria Luisa Guerriero; Anna Dudka; Nicholas Underhill-Day; John K. Heath; Corrado Priami (BMC Syst. Biol., 2009)

Modelling and Analysis of the NF-kappaB Pathway in Bio-PEPA. - Federica Ciocchetta; Andrea Degasperi; John K. Heath; Jane Hillston (Trans. Comp. Sys. Biology, 2010)

Community Detection in Social and Biological Networks Using Differential Evolution. - Guanbo Jia; Zixing Cai; Mirco Musolesi; Yong Wang 002; Dan A. Tennant; Ralf J. M. Weber; John K. Heath; Shan He 001 (LION, 2012)

Community Detection Using Cooperative Co-evolutionary Differential Evolution. - Qiang Huang; Thomas White; Guanbo Jia; Mirco Musolesi; Nil Turan; Ke Tang 001; Shan He 001; John K. Heath; Xin Yao 001 (PPSN (2), 2012)

Robust twin boosting for feature selection from high-dimensional omics data with label noise. - Shan He 001; Huanhuan Chen; Zexuan Zhu; Douglas G. Ward; Helen J. Cooper; Mark R. Viant; John K. Heath; Xin Yao 001 (Inf. Sci., 2015)

Cooperative Co-Evolutionary Module Identification With Application to Cancer Disease Module Discovery. - Shan He 001; Guanbo Jia; Zexuan Zhu; Dan A. Tennant; Qiang Huang; Ke Tang 001; Jing Liu 006; Mirco Musolesi; John K. Heath; Xin Yao 001 (IEEE Trans. Evol. Comput., 2016)