Matt D. B. Halstead

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 1

Top Topics

Formal Verification

Evolutionary Algorithm

Top Venues

J. Integr. Bioinform.

Publications

Autumn A. Cuellar, Warren Hedley, Melanie Nelson, Catherine M. Lloyd, Matt D. B. Halstead, David P. Bullivant, David P. Nickerson, Peter J. Hunter, Poul M. F. Nielsen
The CellML 1.1 Specification. J. Integr. Bioinform. 12 (2) (2015)
Andrew K. Miller, Tommy Yu, Randall Britten, Mike T. Cooling, James R. Lawson, Dougal Cowan, Alan Garny, Matt D. B. Halstead, Peter J. Hunter, David P. Nickerson, Geoff Nunns, Sarala M. Wimalaratne, Poul M. F. Nielsen
Revision history aware repositories of computational models of biological systems. BMC Bioinform. 12 (2011)
Andrew K. Miller, Justin Marsh, Adam Reeve, Alan Garny, Randall Britten, Matt D. B. Halstead, Jonathan Cooper, David P. Nickerson, Poul M. F. Nielsen
An overview of the CellML API and its implementation. BMC Bioinform. 11 (2010)
Sarala M. Wimalaratne, Matt D. B. Halstead, Catherine M. Lloyd, Edmund J. Crampin, Poul M. F. Nielsen
Biophysical annotation and representation of CellML models. Bioinform. 25 (17) (2009)
Sarala M. Wimalaratne, Matt D. B. Halstead, Catherine M. Lloyd, Mike T. Cooling, Edmund J. Crampin, Poul M. F. Nielsen
A method for visualizing CellML models. Bioinform. 25 (22) (2009)
David P. Nickerson, Carey Stevens, Matt D. B. Halstead, Peter J. Hunter, Poul M. F. Nielsen
Toward a Curated CellML Model Repository. EMBC (2006)