Jonathan Cooper: Publications

[1]	CellML and Associated Tools and Techniques Alan Garny et al. Phil Trans Roy Soc A, Vol. 366, No. 1878, pages 3017—3043. 2008. Details \| BibTeX \| DOI (10.1098/rsta.2008.0094)

[2]	A Game-based Abstraction-Refinement Framework for Markov Decision Processes M. Kattenbelt et al. No. RR-08-06, Technical Report, Oxford University Computing Laboratory. February 2008. Details \| BibTeX \| Download (pdf)

[3]

Chaste: using agile programming techniques to develop computational biology software

Joe Pitt-Francis, Miguel O. Bernabeu, Jonathan Cooper, Alan Garny, Lee Momtahan, James Osborne, Pras Pathmanathan, Blanca Rodriguez, Jonathan P. Whiteley, David J. Gavaghan

Phil Trans Roy Soc A, Vol. 366, No. 1878, pages 3111-3136. 2008.

Details | BibTeX | DOI (10.1098/rsta.2008.0096)

[4]	A model-driven approach to automatic conversion of physical units Jonathan Cooper, Steve McKeever Softw. Pract. Exper. Vol. 38, No. 4, pages 337-359. 2007. Details \| BibTeX \| DOI (10.1002/spe.828)

[5]	Experience Report: A Haskell interpreter for CellML Jonathan Cooper, Steve McKeever pages 247—250. New York, NY, USA. October 2007. ACM Press. Details \| BibTeX \| DOI (10.1145/1291151.1291190)

[6]

On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations

Jonathan Cooper, Steve McKeever and Alan Garny

In PEPM '06: Proceedings of the 2006 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation pages 12—20. New York, NY, USA. 2006. ACM Press.

Details | BibTeX | DOI (10.1145/1111542.1111546)