Andrew Simpson : Publications
|
[1] |
A Formal Specification of an Automatic Train Protection System A. C. Simpson In Naftalin et al., editor, 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. |
|
[2] |
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. |
|
[3] |
A fully generic, graph-based approach to data transformation discovery D. Creager and A. C. Simpson In Proceedings of GMC (Graph Computation Models) 2006. 2006. |
|
[4] |
A healthcare-driven framework for facilitating the secure sharing of data across organisational boundaries A. C. Simpson et al. 2008. |
|
[5] |
A healthcare-driven framework for facilitating the secure sharing of data across organisational boundaries A. C. Simpson et al. 2008. |
|
[6] |
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. |
|
[7] |
A secure wrapper for OGSA-DAI D. J. Power, M. A. Slaymaker, E. A. Politou and A. C. Simpson In Proceedings of the European Grid Conference, 2005. Pages 485—494. Springer-Verlag Lecture Notes in Computer Science, volume 3470. 2005. |
|
[8] |
A vision for secure grid-enabled healthcare M. A. Slaymaker, D. J Power, E. A. Politou and A. C. Simpson In Workshop on Grid Security Practice and Experience. Technical Report YCS-2004-380, University of York. June, 2004. |
|
[9] |
Accessing and aggregating legacy data sources for healthcare research, delivery and training M. A. Slaymaker, D. J. Power, D. Russell, G. Wilson and A. C. Simpson In Proceedings of SAC 2008. 2008. |
|
[10] |
An Approach to the Storage of DICOM files for Grid-Enabled Medical Imaging Databases D. J. Power, E. A. Politou, M. A. Slaymaker, S. Harris and A. C. Simpson In Proceedings of the 19th ACM Symposium on Applied Computing. Pages 272—279. 2004. |
|
[11] |
An approach to the storage of DICOM files for grid-enabled medical imaging databases D. .J. Power, E. A. Politou, M. A. Slaymaker, S. Harris and A. C. Simpson In Proceedings of the 2003 UK e-Science All Hands Meeting. 2003. |
|
[12] |
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. |
|
[13] |
Collaboration and trust in healthcare innovation: the eDiaMoND case study M. Jirotka et al. Computer Supported Cooperative Work. Vol. 14. Pages 369—398. 2006. |
|
[14] |
Delegation in a distributed healthcare context: a survey of current approaches M. Katzarova and A. C. Simpson In Proceedings of the 9th Information Security Conference 2006. Springer-Verlag Lecture Notes in Computer Science. 2006. |
|
[15] |
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. |
|
[16] |
Developing collaborative technology for neuro-science S. Lloyd et al. In Proceedings of CollaborateCom 2007. 2007. |
|
[17] |
Digital mammography: a world without film? S. Lloyd et al. In Proceedings of HealthGrid 2004, Claremont, France. 2004. |
|
[18] |
Digital mammography: a world without film? S. Lloyd et al. Methods of Information in Medicine. Vol. 44. No. 2. Pages 168—169. 2005. |
|
[19] |
Discrete Mathematics by Example A. C. Simpson McGraw-Hill. 2002. |
|
[20] |
Empirical analysis and optimization of an NP-hard problem using CSP and FDR D. Creager and A. C. Simpson In Proceedings of SBMF 2007. 2007. |
|
[21] |
Exploitation of switched lightpaths for e-health L. Momtahan and A. C. Simpson In Proceedings of the 2005 UK e-Science All Hands Meeting. 2005. |
|
[22] |
Exploitation of switched lightpaths for e-health: constraints and challenges L. Momtahan and A. C. Simpson In Lighting the blue touchpaper for UK e-Science: closing conference of ESLEA project. Proceedings of Science. 2007. |
|
[23] |
Generalizing the Z Schema Calculus: Database Schemas and Beyond A. P. Martin and A. C. Simpson In Proceedings of APSEC, 2003. 2003. |
|
[24] |
Grid computing for digital mammography J. M. Brady et al. In Proceedings of the 2003 UK e-Science All Hands Meeting. 2003. |
|
[25] |
Integrative Biology: exploiting e-Science to combat fatal diseases S. Lloyd, A. C. Simpson, L. Sastry, D. J. Gavaghan and D. R.S. Boyd ERCIM News. Vol. 60. January, 2005. |
|
[26] |
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. |
|
[27] |
Logic, damned logic, and statistics A. C. Simpson In Proceedings of Teaching Formal Methods 2006. 2006. |
|
[28] |
Managing collaborative expertise: issues and challenges I. Kinti, S. Lloyd, A. C. Simpson and G. Hayward In Proceedings of OKLC 2005, Boston, MA. 2005. |
|
[29] |
Model Checking for Interlocking Safety A. C. Simpson In Proceedings of the Second FMERail Seminar, 15—16 October 1998, London, United Kingdom. 1998. |
|
[30] |
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. |
|
[31] |
On Quality Assurance of Web Services in Agile Projects—-An Experience Report G. Kouadri Mostefaoui et al. 2008. |
|
[32] |
On deducibility and anonymisation in medical databases D. J. Power, M. A. Slaymaker and A. C. Simpson In Jonker, W., Petkovic and M., editors, Proceedings of Secure Data Management 2005. Pages 170—184. Springer-Verlag Lecture Notes in Computer Science, volume 3674. 2005. |
|
[33] |
On formal descriptions of synchronization requirements in multimedia systems. Proceedings of the IEEE Conference on IT: Next Generation A. C. M. Fong and A. C. Simpson 2008. |
|
[34] |
On formalising and normalising role-based access control systems D. J. Power, M. A. Slaymaker and A. C. Simpson The Computer Journal. Vol. 52. No. 3. Pages 305-325. 2009. |
|
[35] |
On the construction and verification of self-modifying access control policies David Power, Mark Slaymaker and Andrew Simpson 2009. |
|
[36] |
On the development of secure service-oriented architectures to support medical research A. C. Simpson, D. J. Power, M. A. Slaymaker, D. Russell and M. Katzarova International Journal of Healthcare Information Systems and Informatics. Vol. 2. No. 2. Pages 75—89. 2007. |
|
[37] |
On the facilitation of fine-grained access to distributed healthcare data M. A. Slaymaker, D. J. Power, D. Russell, A. C. Simpson and Proceedings of Secure Data Management 2008 2008. |
|
[38] |
On the modelling and analysis of Amazon Web Services access policies David Power, Mark Slaymaker and Andrew Simpson No. RR-09-15. OUCL. November, 2009. |
|
[39] |
On the need for user-defined fine-grained access control policies for social networking applications A. C. Simpson and Proceedings of SOSOC 2008 2008. |
|
[40] |
On the secure sharing of legacy data D. Russell et al. 2009. |
|
[41] |
On the supervision and assessment of part-time postgraduate software engineering projects A C. Simpson, A. P. Martin, J. Gibbons, J. W. Davies and S. W. M. McKeever 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. |
|
[42] |
On the utilisation of a service-oriented infrastructure to support radiologist training Andrew Simpson et al. 2009. |
|
[43] |
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. |
|
[44] |
On XACML, role-based access control, and health grids D. J. Power, M. A. Slaymaker, E. A. Politou and A. C. Simpson In Proceedings of the 2005 UK e-Science All Hands Meeting. 2005. |
|
[45] |
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. |
|
[46] |
Practical Experiences of Testing Web Services G. Kouadri Mostefaoui and A. C. Simpson In Proceedings of the Fifth International Workshop on SOA and Web Services Best Practices. 2007. |
|
[47] |
Project management in multi-disciplinary collaborative research S. Lloyd and A. C. Simpson In Proceedings of IPCC 2005, Limerick. 2005. |
|
[48] |
Protecting Sensitive Patient Data via Query Modification D. J. Power, M. A. Slaymaker, E. A. Politou and A. C. Simpson In Proceedings of the 20th ACM Symposium on Applied Computing. Pages 224-230. March, 2005. |
|
[49] |
Railway Signalling as a case study in Safety through Determinism A. C. Simpson In Proceedings of Aspect '95. IRSE. 1995. |
|
[50] |
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. |
|
[51] |
Safety through Security A. C. Simpson DPhil thesis, Programming Research Group, Oxford University Computing Laboratory. 1996. |
|
[52] |
Securing web services for deployment in health grids D. J. Power, E. A. Politou, M. A. Slaymaker and A. C. Simpson Future Generation Computer Systems. Vol. 22. No. 5. Pages 547—570. 2006. |
|
[53] |
Security Aspects of Grid-enabled Digital Mammography M. A. Slaymaker, E. A. Politou, D. J. Power, S. Lloyd and A. C. Simpson Methods of Information in Medicine. Vol. 44. No. 2. Pages 207—210. 2005. |
|
[54] |
Security aspects of grid-based digital mammography M. A. Slaymaker, E. A. Politou, D. J. Power, S. Lloyd and A. C. Simpson In Proceedings of HealthGrid 2004, Claremont, France. 2004. |
|
[55] |
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. |
|
[56] |
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. |
|
[57] |
Supplementing the understanding of Z: a formal approach to database design A. C. Simpson and A. P. Martin In Proceedings of the BCS Teaching Formal Methods workshop. BCS. 2003. |
|
[58] |
Switched lightpaths for e-health applications: a feasibility study L. Momtahan and A. C. Simpson In Proceedings of the IEEE Symposium on Computer Based Medical Systems. IEEE Computer Society Press. 2006. |
|
[59] |
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. |
|
[60] |
Teaching Formal Methods in Context J. W. Davies, A. C. Simpson and A. P. Martin In Dean, C. N., Boute and 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. |
|
[61] |
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. |
|
[62] |
The Application of a Service-Oriented Infrastructure to Support Medical Research in Mammography C. Tromans et al. 2008. |
|
[63] |
The Integrative Biology Infrastructure D. Mac Randal et al. In Proceedings of the 2005 UK e-Science All Hands Meeting. 2005. |
|
[64] |
The Mechanical Verification of Solid State Interlocking Geographic Data A. C. Simpson, J. C. P. Woodcock and J. W. Davies In Groves, L., Reeves and S., editors, Proceedings of Formal Methods Pacific, Wellington, New Zealand, 9—11 July. Pages 223—242. Springer-Verlag. 1997. |
|
[65] |
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. |
|
[66] |
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. |
|
[67] |
The utilisation of clinical data in research health grids: eDiaMoND as a case study S. Lloyd and A. C. Simpson In Proceedings of HealthCare 2006. 2006. |
|
[68] |
Towards a Grid Infrastructure to support integrative approaches to biological research D. J. Gavaghan, A. C. Simpson, S. Lloyd, D. F. Mac Randal and D. R. S. Boyd Philosophical Transactions of the Royal Society: Mathematical, Physical and Engineering Science. Vol. 363. No. 1883. Pages 1829—1841. August, 2005. |
|
[69] |
Towards a formal framework for workflow interoperability S. Induruwa-Fernando, A. C. Simpson and Proceedings of WS-FM 2008 2008. |
|
[70] |
Towards a fully generic theory of data D. Creager and A. C. Simpson In Proceedings of ICFEM 2006. Pages 304—323. Springer-Verlag Lecture Notes in Computer Science, volume 4260. 2006. |
|
[71] |
Towards fine-grained access control in health grids A. C. Simpson, D. J. Power, M. A. Slaymaker and E. A. Politou In Proceedings of the Ottawa Workshop on New Challenges in Access Control. April, 2005. |
|
[72] |
Towards secure Grid-enabled healthcare D. J. Power, E. A. Politou, M. A. Slaymaker and A. C. Simpson Software: Practice and Experience. Vol. 35. No. 9. Pages 857—871. 2005. |
|
[73] |
Towards the interoperability of workflow definition languages S. Induruwa-Fernando, D. A. Creager and A. C. Simpson In Proceedings of WfPM 2007. 2007. |
|
[74] |
Towards the mechanical verification of moving block signalling systems A. C. Simpson No. CMS-TR-99-06. School of Computing and Mathematical Sciences, Oxford Brookes University. 1999. |
|
[75] |
Using CSP to model the synchronization process of variable length codes A. C. M. Fong and A. C. Simpson IEEE Proc. Communications. Vol. 153. No. 2. Pages 195—200. April, 2006. |
|
[76] |
climateprediction.com: security and design planning D. Stainforth et al. In Proceedings of the 2002 UK e-Science All Hands Meeting. 2002. |
|
[77] |
e-health security issues: the eDiaMoND perspective M. A. Slaymaker, E. A. Politou, D. J. Power and S. Lloyd In Proceedings of the 2004 UK e-Science All Hands Meeting. 2004. |
|
[78] |
eDiaMoND: challenges for the e-scientist in the e-health domain S. Lloyd, A. C. Simpson, D. J. Gavaghan and J. M. Brady In Proceedings of the 2004 UK e-Science All Hands Meeting. 2004. |
|
[79] |
eDiaMoND: risk analysis M. A. Slaymaker, E. A. Politou, D. J. Power, S. Lloyd and A. C. Simpson In Proceedings of HealthGrid 2004, Claremont, France. 2004. |
|
[80] |
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. |
|
[81] |
GIMI: Generic Infrastructure for Medical Informatics A. C. Simpson, D. J. Power, M. A. Slaymaker and E. A. Politou In Proceedings of the 18th IEEE Symposium on Computer-Based Medical Systems. Pages 564—566. 2005. |
|
[82] |
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. |
|
[83] |
NeuroGrid: collaborative neuroscience via grid computing J. Geddes et al. In Proceedings of the 2005 UK e-Science All Hands Meeting. 2005. |
|
[84] |
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. |
|
[85] |
VRE for the Integrative Biology research consortium M. J. Dovey et al. In Proceedings of the 2005 UK e-Science All Hands Meeting. 2005. |
|
[86] |
eDiaMoND: A Grid-enabled federated database of annotated mammograms J. M. Brady, D. J. Gavaghan, A. C. Simpson, M. Mulet-Parada and R. P. Highnam In Berman et al., editor, Grid Computing: Making the Global Infrastructure a Reality. Pages 923—943. Wiley Series. 2003. |
|
[87] |
eDiaMoND: the UK's national digital mammography database J. M. Brady et al. In Proceedings of IWDM 2004. 2004. |
|
[88] |
eDiamond: Digital Mammography J. M. Brady, D. J. Gavaghan, R. P. Highnam, M. Mulet-Parada and A. C. Simpson In Proceedings of the 2002 UK e-Science All Hands Conference. 2002. |