Andrew Simpson: Publications

[1]	Accessing and aggregating legacy data sources for healthcare research, delivery and training M. A. Slaymaker et al. In Proceedings of SAC 2008 2008. Details \| BibTeX

[2]	The development, testing, and deployment of a web services infrastructure for distributed healthcare delivery, research, and training A. C. Simpson et al. In Managing Web Services Quality: Measuring Outcomes and Effectiveness 2008. Details \| BibTeX

[3]	On the development of secure service-oriented architectures to support medical research A. C. Simpson et al. International Journal of Healthcare Information Systems and Informatics, Vol. 2, No. 2, pages 75—89. 2007. Details \| BibTeX

[4]	On formalising and normalising role-based access control systems D. J. Power, M. A. Slaymaker and A. C. Simpson Accepted for publication in The Computer Journal, 2007. Details \| BibTeX

[5]	Exploitation of switched lightpaths for e-health: constraints and challenges L. Momtahan, A. C. Simpson In Lighting the blue touchpaper for UK e-Science: closing conference of ESLEA project Proceedings of Science, 2007. Details \| BibTeX

[6]	Switched lightpaths for e-health applications: issues and challenges L. Momtahan, S. Lloyd and A. C. Simpson In Proceedings of CBMS 2007 IEEE CS press, 2007. Details \| BibTeX

[7]	Developing collaborative technology for neuro-science S. Lloyd et al. In Proceedings of CollaborateCom 2007 2007. Details \| BibTeX

[8]	Integrative Biology: the challenges of developing a collaborative research environment for heart and cancer modelling S. Lloyd et al. Future Generation Computer Systems, Vol. 23, No. 3, pages 457—465. March 2007. Details \| BibTeX

[9]	Practical Experiences of Testing Web Services G. Kouadri Mostefaoui, A. C. Simpson In Proceedings of the Fifth International Workshop on SOA and Web Services Best Practices 2007. Details \| BibTeX

[10]	Towards the interoperability of workflow definition languages S. Induruwa-Fernando, D. A. Creager and A. C. Simpson In Proceedings of WfPM 2007 2007. Details \| BibTeX

[11]	Empirical analysis and optimization of an NP-hard problem using CSP and FDR D. Creager, A. C. Simpson In Proceedings of SBMF 2007 2007. Details \| BibTeX

[12]	Designing for e-health: recurring scenarios in developing grid-based medical imaging systems J. Ure et al. Studies in Health Technology and Informatics, Vol. 120, pages 336—347. 2006. Details \| BibTeX

[13]	A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care M. A. Slaymaker et al. In Proceedings of the IEEE Symposium on Computer Based Medical Systems IEEE Computer Society Press, 2006. Details \| BibTeX

[14]	On tracker attacks in health grids A. C. Simpson, D. J. Power and M. A. Slaymaker In Proceedings of the Annual ACM Symposium on Applied Computing (SAC '06) ACM Press, 2006. Details \| BibTeX

[15]	Logic, damned logic, and statistics A. C. Simpson In Proceedings of Teaching Formal Methods 2006 2006. Details \| BibTeX

[16]	Securing web services for deployment in health grids D. J. Power et al. Future Generation Computer Systems, Vol. 22, No. 5, pages 547—570. 2006. Details \| BibTeX

[17]

Multimodal imaging techniques for the extraction of detailed geometrical and physiological information for use in multi-scale models of colorectal cancer and treatment of individual patients

J. Pitt-Francis et al.

Accepted for publication in Computational & Mathematical Methods in Medicine, 2006.

Details | BibTeX

[18]	Switched lightpaths for e-health applications: a feasibility study L. Momtahan, A. C. Simpson In Proceedings of the IEEE Symposium on Computer Based Medical Systems IEEE Computer Society Press, 2006. Details \| BibTeX

[19]	The utilisation of clinical data in research health grids: eDiaMoND as a case study S. Lloyd, A. C. Simpson In Proceedings of HealthCare 2006 2006. Details \| BibTeX

[20]	Delegation in a distributed healthcare context: a survey of current approaches M. Katzarova, A. C. Simpson In Proceedings of the 9th Information Security Conference 2006 Springer-Verlag Lecture Notes in Computer Science, 2006. Details \| BibTeX

[21]	Collaboration and trust in healthcare innovation: the eDiaMoND case study M. Jirotka et al. Computer Supported Cooperative Work, Vol. 14, pages 369—398. 2006. Details \| BibTeX

[22]	The challenges of developing a collaborative data and compute grid for Neurosciences J. Geddes et al. In Proceedings of the IEEE Symposium on Computer Based Medical Systems IEEE Computer Society Press, 2006. Details \| BibTeX

[23]	Using CSP to model the synchronization process of variable length codes A. C. M. Fong, A. C. Simpson IEEE Proc. Communications, Vol. 153, No. 2, pages 195—200. 2006. Details \| BibTeX

[24]	A fully generic, graph-based approach to data transformation discovery D. Creager, A. C. Simpson In Proceedings of GMC (Graph Computation Models) 2006 2006. Details \| BibTeX

[25]	Towards a fully generic theory of data D. Creager, A. C. Simpson In Proceedings of ICFEM 2006 pages 304—323. Springer-Verlag Lecture Notes in Computer Science, volume 4260, 2006. Details \| BibTeX

[26]	Security Aspects of Grid-enabled Digital Mammography M. A. Slaymaker et al. Methods of Information in Medicine, Vol. 44, No. 2, pages 207—210. 2005. Details \| BibTeX

[27]	Towards fine-grained access control in health grids A. C. Simpson et al. In Proceedings of the Ottawa Workshop on New Challenges in Access Control 2005. Details \| BibTeX

[28]	GIMI: Generic Infrastructure for Medical Informatics A. C. Simpson et al. In Proceedings of the 18th IEEE Symposium on Computer-Based Medical Systems pages 564—566. 2005. Details \| BibTeX

[29]	On deducibility and anonymisation in medical databases D. J. Power, M. A. Slaymaker and A. C. Simpson In Jonker, W., Petkovic, M., editors, Proceedings of Secure Data Management 2005 pages 170—184. Springer-Verlag Lecture Notes in Computer Science, volume 3674, 2005. Details \| BibTeX

[30]	A secure wrapper for OGSA-DAI D. J. Power et al. In Proceedings of the European Grid Conference, 2005 pages 485—494. Springer-Verlag Lecture Notes in Computer Science, volume 3470, 2005. Details \| BibTeX

[31]	On XACML, role-based access control, and health grids D. J. Power et al. In Proceedings of the 2005 UK e-Science All Hands Meeting 2005. Details \| BibTeX

[32]	Protecting Sensitive Patient Data via Query Modification D. J. Power et al. In Proceedings of the 20th ACM Symposium on Applied Computing pages 224-230. March 2005. Details \| BibTeX

[33]	Towards secure Grid-enabled healthcare D. J. Power et al. Software: Practice and Experience, Vol. 35, No. 9, pages 857—871. 2005. Details \| BibTeX

[34]	Exploitation of switched lightpaths for e-health L. Momtahan, A. C. Simpson In Proceedings of the 2005 UK e-Science All Hands Meeting 2005. Details \| BibTeX

[35]	The Integrative Biology Infrastructure D. Mac Randal et al. In Proceedings of the 2005 UK e-Science All Hands Meeting 2005. Details \| BibTeX

[36]	Integrative Biology: exploiting e-Science to combat fatal diseases S. Lloyd et al. ERCIM News, Vol. 60. January 2005. Details \| BibTeX

[37]	Project management in multi-disciplinary collaborative research S. Lloyd, A. C. Simpson In Proceedings of IPCC 2005, Limerick 2005. Details \| BibTeX

[38]	Digital mammography: a world without film? S. Lloyd et al. Methods of Information in Medicine, Vol. 44, No. 2, pages 168—169. 2005. Details \| BibTeX

[39]	Managing collaborative expertise: issues and challenges I. Kinti et al. In Proceedings of OKLC 2005, Boston, MA 2005. Details \| BibTeX

[40]	NeuroGrid: collaborative neuroscience via grid computing J. Geddes et al. In Proceedings of the 2005 UK e-Science All Hands Meeting 2005. Details \| BibTeX

[41]	NeuroGrid: using grid technology to advance neuroscience J. Geddes et al. In Proceedings of the 18th IEEE Symposium on Computer-Based Medical Systems pages 570—573. 2005. Details \| BibTeX

[42]	Towards a Grid Infrastructure to support integrative approaches to biological research D. J. Gavaghan et al. Philosophical Transactions of the Royal Society: Mathematical, Physical and Engineering Science, Vol. 363, No. 1883, pages 1829—1841. August 2005. Details \| BibTeX

[43]	VRE for the Integrative Biology research consortium M. J. Dovey et al. In Proceedings of the 2005 UK e-Science All Hands Meeting 2005. Details \| BibTeX

[44]	Security principles for public-resource modeling research D .A. Stainforth et al. In Proceedings of the IEEE International Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2004) pages 319—324. 2004. Details \| BibTeX

[45]	A vision for secure grid-enabled healthcare M. A. Slaymaker et al. In Workshop on Grid Security Practice and Experience Technical Report YCS-2004-380, University of York, June 2004. Details \| BibTeX

[46]	eDiaMoND: risk analysis M. A. Slaymaker et al. In Proceedings of HealthGrid 2004, Claremont, France 2004. Details \| BibTeX

[47]	Security aspects of grid-based digital mammography M. A. Slaymaker et al. In Proceedings of HealthGrid 2004, Claremont, France 2004. Details \| BibTeX

[48]	e-health security issues: the eDiaMoND perspective M. A. Slaymaker et al. In Proceedings of the 2004 UK e-Science All Hands Meeting 2004. Details \| BibTeX

[49]	An Approach to the Storage of DICOM files for Grid-Enabled Medical Imaging Databases D. J. Power et al. In Proceedings of the 19th ACM Symposium on Applied Computing pages 272—279. 2004. Details \| BibTeX

[50]	eDiaMoND: challenges for the e-scientist in the e-health domain S. Lloyd et al. In Proceedings of the 2004 UK e-Science All Hands Meeting 2004. Details \| BibTeX

[51]	Digital mammography: a world without film? S. Lloyd et al. In Proceedings of HealthGrid 2004, Claremont, France 2004. Details \| BibTeX

[52]	Integrative Biology: exploiting e-Science to combat fatal diseases D.J. Gavaghan et al. In Proceedings of the 2004 UK e-Science All Hands Meeting 2004. Details \| BibTeX

[53]

Teaching Formal Methods in Context

J. W. Davies, A. C. Simpson and A. P. Martin

In Dean, C. N., Boute, R. F., editors, Proceedings of CoLogNet / Formal Methods Europe Symposium on Teaching Formal Methods 2004 pages 186—202. Springer-Verlag Lecture Notes in Computer Science, volume 3294, 2004.

Details | BibTeX

[54]	eDiaMoND: the UK's national digital mammography database J. M. Brady et al. In Proceedings of IWDM 2004 2004. Details \| BibTeX

[55]	On the supervision and assessment of part-time postgraduate software engineering projects A C. Simpson et al. In Proceedings of the 25th International Conference on Software Engineering (ICSE), Portland, Oregon, 3—10 May, 2003 pages 628—633. IEEE Computer Society Press, 2003. Details \| BibTeX

[56]	Supplementing the understanding of Z: a formal approach to database design A. C. Simpson, A. P. Martin In Proceedings of the BCS Teaching Formal Methods workshop BCS, 2003. Details \| BibTeX

[57]	An approach to the storage of DICOM files for grid-enabled medical imaging databases D. .J. Power et al. In Proceedings of the 2003 UK e-Science All Hands Meeting 2003. Details \| BibTeX

[58]	Generalizing the Z Schema Calculus: Database Schemas and Beyond A. P. Martin, A. C. Simpson In Proceedings of APSEC, 2003 2003. Details \| BibTeX

[59]	eDiaMoND: A Grid-enabled federated database of annotated mammograms J. M. Brady et al. In Berman, F., Fox, G. C. and and Hey, A. J. G., editors, Grid Computing: Making the Global Infrastructure a Reality pages 923—943. Wiley Series. 2003. Details \| BibTeX

[60]	Grid computing for digital mammography J. M. Brady et al. In Proceedings of the 2003 UK e-Science All Hands Meeting 2003. Details \| BibTeX

[61]	Climateprediction.net: design principles for public resource modelling research D. Stainforth et al. In Proc. 14th IASTED conference on parallel and distributed computing systems. 2002. Details \| BibTeX

[62]	climateprediction.com: security and design planning D. Stainforth et al. In Proceedings of the 2002 UK e-Science All Hands Meeting 2002. Details \| BibTeX

[63]	Discrete Mathematics by Example A. C. Simpson McGraw-Hill. 2002. Details \| BibTeX

[64]	eDiamond: Digital Mammography J. M. Brady et al. In Proceedings of the 2002 UK e-Science All Hands Conference 2002. Details \| BibTeX

[65]

BSP in CSP: Easy as ABC

A. C. Simpson, J. M. D. Hill Hill and S. R. Donaldson

In Proceedings of Fourth International Workshop on Formal Methods for Parallel Programming: Theory and Applications, San Juan, Puerto Rico, April 1999 pages 1299—1313. Springer-Verlag Lecture Notes in Computer Science, 1999.

Details | BibTeX

[66]	Towards the mechanical verification of moving block signalling systems A. C. Simpson No. CMS-TR-99-06, Technical Report, School of Computing and Mathematical Sciences, Oxford Brookes University. 1999. Details \| BibTeX

[67]	Safety through Security A. C. Simpson, J. C. P. Woodcock and J. W. Davies In Proceedings of the Ninth International Workshop on Software Specification and Design pages 18—24. IEEE Computer Society Press. 1998. Details \| BibTeX

[68]	Security management via Z and CSP A. C. Simpson, J. W. Davies and J. C. P. Woodcock In Proceedings of Formal Methods Pacific '98, Canberra, Australia, 29 September — 2 October, 1998 pages 334—351. Springer Series in Discrete Mathematics and Theoretical Computer Science, 1998. Details \| BibTeX

[69]	Model Checking for Interlocking Safety A. C. Simpson In Proceedings of the Second FMERail Seminar, 15—16 October 1998, London, United Kingdom 1998. Details \| BibTeX

[70]	The Mechanical Verification of Solid State Interlocking Geographic Data A. C. Simpson, J. C. P. Woodcock and J. W. Davies In Groves, L., Reeves, S., editors, Proceedings of Formal Methods Pacific, Wellington, New Zealand, 9—11 July pages 223—242. Springer-Verlag. 1997. Details \| BibTeX

[71]	Safety through Security A. C. Simpson DPhil thesis, Programming Research Group, Oxford University Computing Laboratory. 1996. Details \| BibTeX

[72]	A Novel Data Mining Tool for ATM Networks K. E. Burn-Thornton, D. M. Cattrall and A. C. Simpson In Proceedings of IEE conference on Data Mining 1996. Details \| BibTeX

[73]	Polymorphic Functions for Data Mining in an ATM Network K. E. Burn-Thornton, D. M. Cattrall and A. C. Simpson In Proceedings of the 4th IFIP conference on ATM 1996. Details \| BibTeX

[74]	The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System A. C. Simpson In Colloquium on Communication Networks in Transportation IEE. 1995. Details \| BibTeX

[75]	Railway Signalling as a case study in Safety through Determinism A. C. Simpson In Proceedings of Aspect '95 IRSE, 1995. Details \| BibTeX

[76]

A Formal Specification of an Automatic Train Protection System

A. C. Simpson

In Naftalin, M., Denvir, T. and Bertran, M., editors, FME '94: Industrial Benefits of Formal Methods. Proceedings of Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 1994 pages 602-617. Springer-Verlag Lecture Notes in Computer Science, volume 873. 1994.

Details | BibTeX