Andrew Simpson : Publications
Books
|
[1] |
Discrete Mathematics by Example A. C. Simpson McGraw−Hill. 2002. |
Book chapters
|
[1] |
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 F. Berman‚ G. C. and Fox and A. J. G. Hey, editors, Grid Computing: Making the Global Infrastructure a Reality. Pages 923–943. Wiley Series. 2003. |
Journal papers
|
[1] |
On privacy and public data: a study of data.gov.uk Andrew Simpson In Journal of Privacy and Confidentiality. Vol. 3. No. 1. Pages article number 4. 2011. |
|
[2] |
GIMI: the past‚ the present‚ and the future A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ V. Bailey‚ C. E. Tromans‚ J. M. Brady and L. Tarassenko In Philosophical Transactions of the Royal Society A: Mathematical‚ Physical and Engineering Sciences. Vol. 368. Pages 3891–3905. 2010. |
|
[3] |
A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries X. Ma A. C. Simpson D. J. Power D. Russell M. A. Slaymaker G. Kouadri−Mostefaoui and G. Wilson In Studies in Health Technology and Informatics. Vol. 138. Pages 3–12. 2008. |
|
[4] |
On formalising and normalising role−based access control systems D. J. Power M. A. Slaymaker and A. C. Simpson In The Computer Journal. Vol. 52. No. 3. Pages 305−325. 2009. |
|
[5] |
Designing for e−health: recurring scenarios in developing grid−based medical imaging systems J. Ure‚ J. Geddes‚ C. Mackay‚ S. Lloyd‚ A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. Jirotka‚ M. Katzarova‚ M. Rossor‚ N. Fox‚ J. Fletcher‚ D. Hill‚ K. McLeish‚ Y. Chen‚ J. V. Hajnal‚ S. Lawrie‚ D. Job‚ A. McIntosh‚ J. Wardlaw‚ P. Sandercock‚ J. Palmer‚ D. Perry‚ R. Procter‚ M. Hartswood‚ R. Slack‚ A. Voss‚ K. Ho‚ P. Bath‚ W. Clarke and G. Watson In Studies in Health Technology and Informatics. Vol. 120. Pages 336–347. 2006. |
|
[6] |
Security Aspects of Grid−enabled Digital Mammography M. A. Slaymaker‚ E. A. Politou‚ D. J. Power‚ S. Lloyd and A. C. Simpson In Methods of Information in Medicine. Vol. 44. No. 2. Pages 207–210. 2005. |
|
[7] |
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 In International Journal of Healthcare Information Systems and Informatics. Vol. 2. No. 2. Pages 75–89. 2007. |
|
[8] |
Towards secure Grid−enabled healthcare D. J. Power‚ E. A. Politou‚ M. A. Slaymaker and A. C. Simpson In Software: Practice and Experience. Vol. 35. No. 9. Pages 857–871. 2005. |
|
[9] |
Securing web services for deployment in health grids D. J. Power‚ E. A. Politou‚ M. A. Slaymaker and A. C. Simpson In Future Generation Computer Systems. Vol. 22. No. 5. Pages 547–570. 2006. |
|
[10] |
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‚ D. Chen‚ M. A. Slaymaker‚ A. C. Simpson‚ J. M. Brady‚ I. van Leeuwen‚ R. Reddington‚ P. Quirke and D. J. Gavaghan In Computational & Mathematical Methods in Medicine. Vol. 7. No. 2&3. Pages 177–188. 2006. |
|
[11] |
Integrative Biology: exploiting e−Science to combat fatal diseases S. Lloyd‚ A. C. Simpson‚ L. Sastry‚ D. J. Gavaghan and D. R.S. Boyd In ERCIM News. Vol. 60. January, 2005. |
|
[12] |
Digital mammography: a world without film? S. Lloyd‚ M. Jirotka‚ A. C. Simpson‚ R. P. Highnam‚ D. J. Gavaghan‚ D. Watson and J. M. Brady In Methods of Information in Medicine. Vol. 44. No. 2. Pages 168–169. 2005. |
|
[13] |
Integrative Biology: the challenges of developing a collaborative research environment for heart and cancer modelling S. Lloyd‚ D. J. Gavaghan‚ A. C. Simpson‚ M. Sieunarine C. Mascord‚ G. Williams‚ J. Pitt−Francis‚ D. R. S. Boyd‚ D. Mac Randal‚ L. Sastry‚ S. Weeks K. Nagella‚ R. Fowler‚ D. Hanlon‚ J. Handley and G. de Fabritis In Future Generation Computer Systems. Vol. 23. No. 3. Pages 457–465. March, 2007. |
|
[14] |
Collaboration and trust in healthcare innovation: the eDiaMoND case study M. Jirotka‚ M. Procter‚ R. Hartswood‚ C. Slack‚ A. C. Simpson‚ C. Coopmans‚ C. Hinds and A. Voss In Computer Supported Cooperative Work. Vol. 14. Pages 369–398. 2006. |
|
[15] |
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 In Philosophical Transactions of the Royal Society: Mathematical‚ Physical and Engineering Science. Vol. 363. No. 1883. Pages 1829–1841. August, 2005. |
|
[16] |
Using CSP to model the synchronization process of variable length codes A. C. M. Fong and A. C. Simpson In IEEE Proc. Communications. Vol. 153. No. 2. Pages 195–200. April, 2006. |
Conference papers
|
[1] |
Automatic conformance checking of role−based access control policies in Alloy David Power‚ Mark Slaymaker and Andrew Simpson In Proceedings of Engineering Secure Software and Systems (ESSoS 2011). Pages 15–28. Springer−Verlag Lecture Notes in Computer Science‚ volume 6542. 2011. |
|
[2] |
GIMI: the past‚ the present‚ and the future A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ V. Bailey‚ C. Tromans‚ J. M. Brady and L. Tarassenko In Proceedings of the 2009 UK e−Science All Hands Meeting. 2009. |
|
[3] |
On the secure sharing and aggregation of data to support Systems Biology research Andrew Simpson‚ Mark Slaymaker and David Gavaghan In Proceedings of the 7th International Conference on Data Integration in the Life Sciences (DILS 2010). Pages 58–73. Springer−Verlag Lecture Notes in Computer Science‚ volume 6254. 2010. |
|
[4] |
On the modelling and analysis of Amazon Web Services access policies David Power‚ Mark Slaymaker and Andrew Simpson In Proceedings of Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010). Pages 394. Springer−Verlag Lecture Notes in Computer Science‚ volume 5977. 2010. |
|
[5] |
Formalising and validating RBAC−to−XACML translation using lightweight formal methods Mark Slaymaker‚ David Power and Andrew Simpson In Proceedings of Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010). Pages 349–362. Springer−Verlag Lecture Notes in Computer Science‚ volume 5977. 2010. |
|
[6] |
Towards Formally Templated Relational Database Representations in Z Nicolas Wu and Andrew Simpson In Proceedings of the Second International Conference on Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010). Vol. 5977 of Lecture Notes in Computer Science. Pages 363−376. Springer−Verlag. 2010. |
|
[7] |
On the construction and verification of self−modifying access control policies David Power‚ Mark Slaymaker and Andrew Simpson In Proceedings of Secure Data Management (SDM) 2009. Vol. 5776 of Lecture Notes in Computer Science. Pages 107–121. Spring−Verlag. 2009. |
|
[8] |
On the utilisation of a service−oriented infrastructure to support radiologist training Andrew Simpson‚ Mark Slaymaker‚ Moi Hoon Yap‚ Alastair Gale‚ David Power and Douglas Russell In Proceedings of the 22nd IEEE Symposium on Computer−Based Medical Systems (CBMS 2009). Pages 1–4. IEEE Computer Society Press. 2009. |
|
[9] |
On the secure sharing of legacy data X. Ma D. Russell D. J. Power M. A. Slaymaker G. Kouadri Mostefaoui and A. C. Simpson In Proceedings of the 2009 IEEE Conference on IT: Next Generation (ITNG 2009). Pages 1676–1679. 2009. |
|
[10] |
The Application of a Service−Oriented Infrastructure to Support Medical Research in Mammography Chris Tromans‚ Sir Mike Brady‚ David Power‚ Mark Slaymaker‚ Douglas Russell and Andrew Simpson In Proceedings of MICCAI−Grid 2008. 2008. |
|
[11] |
On Quality Assurance of Web Services in Agile Projects—An Experience Report G. Kouadri Mostefaoui and A. C. Simpson In Proceedings of the Third ACM Workshop on Software Engineering for Pervasive Services at ICPS 2008‚ July 6–10 2008‚ Sorrento‚ Italy. Pages 21–26. 2008. |
|
[12] |
Towards a formal framework for workflow interoperability Sarah Induruwa−Fernando and Andrew Simpson In Proceedings of WS−FM (Web Services and Formal Methods) 2008. Vol. 5387 of Lecture Notes in Computer Science. Pages 158–174. Springer−Verlag. 2008. |
|
[13] |
On the facilitation of fine−grained access to distributed healthcare data D. Russell M. A. Slaymaker D. J. Power and A. C. Simpson In Proceedings of Secure Data Management 2008. 2008. |
|
[14] |
On the need for user−defined fine−grained access control policies for social networking applications A. C. Simpson In Proceedings of the 2008 workshop on Security in Opportunistic and SOCial networks (SOSOC 2008). 2008. |
|
[15] |
A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries X. Ma A. C. Simpson D. J. Power D. Russell M. A. Slaymaker G. Kouadri−Mostefaoui and G. Wilson In Proceedings of HealthGrid 2008. 2008. |
|
[16] |
On formal descriptions of synchronization requirements in multimedia systems A. C. M. Fong and A. C. Simpson In Proceedings of the IEEE Conference on IT: Next Generation. Pages 1255–1256. 2008. |
|
[17] |
Climateprediction.net: design principles for public resource modelling research D. Stainforth‚ J. Kettleborough‚ A. P. Martin‚ A. C. Simpson‚ R. Gillis‚ A. Akkas‚ R. Gault‚ M. Collins‚ D. J. Gavaghan and M. R. Allen In Proc. 14th IASTED conference on parallel and distributed computing systems.. 2002. |
|
[18] |
climateprediction.com: security and design planning D. Stainforth‚ J. A. Kettleborough‚ A. P. Martin‚ A. C. Simpson‚ A. P. Martin‚ R. Gillis‚ A. Akkas‚ R. Gault‚ M. Collins‚ D. J. Gavaghan and M. Allen In Proceedings of the 2002 UK e−Science All Hands Meeting. 2002. |
|
[19] |
Security principles for public−resource modeling research D .A. Stainforth‚ A. P. Martin‚ A. C. Simpson‚ C. A. Christensen‚ J. Kettleborough‚ T. Aina and M. R. Allen In Proceedings of the IEEE International Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE−2004). Pages 319–324. 2004. |
|
[20] |
A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care M. A. Slaymaker‚ A. C. Simpson‚ J. M. Brady‚ D. J. Gavaghan‚ F. Reddington and P. Quirke In Proceedings of the IEEE Symposium on Computer Based Medical Systems. IEEE Computer Society Press. 2006. |
|
[21] |
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. |
|
[22] |
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. |
|
[23] |
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. |
|
[24] |
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. |
|
[25] |
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. |
|
[26] |
The Mechanical Verification of Solid State Interlocking Geographic Data A. C. Simpson‚ J. C. P. Woodcock and J. W. Davies In L. Groves and S. Reeves, editors, Proceedings of Formal Methods Pacific‚ Wellington‚ New Zealand‚ 9–11 July. Pages 223–242. Springer−Verlag. 1997. |
|
[27] |
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. |
|
[28] |
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. |
|
[29] |
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. |
|
[30] |
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. |
|
[31] |
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. |
|
[32] |
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. |
|
[33] |
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. |
|
[34] |
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. |
|
[35] |
A Formal Specification of an Automatic Train Protection System Andrew Simpson In M. Naftalin‚ T. Denvir and M. Bertran, editors, FME '94: Industrial Benefits of Formal Methods. Proceedings of Second International Symposium of Formal Methods Europe‚ Barcelona‚ Spain‚ October 1994. Vol. 873 of Lecture Notes in Computer Science. Pages 602–617. Springer−Verlag. 1994. |
|
[36] |
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. |
|
[37] |
Railway Signalling as a case study in Safety through Determinism A. C. Simpson In Proceedings of Aspect '95. IRSE. 1995. |
|
[38] |
Model Checking for Interlocking Safety A. C. Simpson In Proceedings of the Second FMERail Seminar‚ 15–16 October 1998‚ London‚ United Kingdom. 1998. |
|
[39] |
Logic‚ damned logic‚ and statistics A. C. Simpson In Proceedings of Teaching Formal Methods 2006. 2006. |
|
[40] |
On deducibility and anonymisation in medical databases D. J. Power‚ M. A. Slaymaker and A. C. Simpson In W. Jonker and M. Petkovic, editors, Proceedings of Secure Data Management 2005. Vol. 3674 of Lecture Notes in Computer Science. Pages 170–184. Springer−Verlag. 2005. |
|
[41] |
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. Vol. 3470 of Lecture Notes in Computer Science. Pages 485–494. Springer−Verlag. 2005. |
|
[42] |
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. |
|
[43] |
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. |
|
[44] |
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. |
|
[45] |
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. |
|
[46] |
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. |
|
[47] |
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. |
|
[48] |
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. |
|
[49] |
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. |
|
[50] |
Generalizing the Z Schema Calculus: Database Schemas and Beyond A. P. Martin and A. C. Simpson In Proceedings of APSEC‚ 2003. 2003. |
|
[51] |
The Integrative Biology Infrastructure D. Mac Randal‚ L. Sastry‚ D. Hanlon‚ D. J. Gavaghan‚ S. Lloyd and A. C. Simpson In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005. |
|
[52] |
Developing collaborative technology for neuro−science S. Lloyd‚ A. C. Simpson‚ D. J. Power‚ J. Geddes‚ A. Khanban and J. Palmer In Proceedings of CollaborateCom 2007. 2007. |
|
[53] |
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. |
|
[54] |
Project management in multi−disciplinary collaborative research S. Lloyd and A. C. Simpson In Proceedings of IPCC 2005‚ Limerick. 2005. |
|
[55] |
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. |
|
[56] |
Digital mammography: a world without film? S. Lloyd‚ M. Jirotka‚ A. C. Simpson‚ R. P. Highnam‚ D. J. Gavaghan‚ D. Watson and J. M. Brady In Proceedings of HealthGrid 2004‚ Claremont‚ France. 2004. |
|
[57] |
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. |
|
[58] |
Managing collaborative expertise: issues and challenges I. Kinti‚ S. Lloyd‚ A. C. Simpson and G. Hayward In Proceedings of OKLC 2005‚ Boston‚ MA. 2005. |
|
[59] |
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. |
|
[60] |
Towards build−time interoperability of workflow definition languages Sarah Induruwa−Fernando‚ Doug Creager and Andrew Simpson In Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNSAC 2007). Pages 525–532. 2007. |
|
[61] |
The challenges of developing a collaborative data and compute grid for Neurosciences J. Geddes‚ C. Mackay‚ S. Lloyd‚ A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. Katzarova‚ M. Rossor‚ N. Fox‚ J. Fletcher‚ D. Hill‚ K. McLeish‚ J. V. Hajnal‚ S. Lawrie‚ D. Job‚ A. McIntosh‚ J. Wardlaw‚ P. Sandercocka‚ J. Palmer‚ D. Perry‚ R. Procter‚ J. Ure‚ P. Bath and G. Watson In Proceedings of the IEEE Symposium on Computer Based Medical Systems. IEEE Computer Society Press. 2006. |
|
[62] |
NeuroGrid: collaborative neuroscience via grid computing J. Geddes‚ S. Lloyd‚ A. C. Simpson‚ M. Rossor‚ N. Fox‚ D. Hill‚ J. Hajnal‚ S. Lawrie‚ A. McIntosh‚ E. Johnstone‚ J. Wardlaw‚ D. Perry‚ R. Procter‚ P. Bath and E. Bullimore In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005. |
|
[63] |
NeuroGrid: using grid technology to advance neuroscience J. Geddes‚ S. Lloyd‚ A. C. Simpson‚ M. Rossor‚ N. Fox‚ D. Hill‚ J. Hajnal‚ S. Lawrie‚ A. McIntosh‚ E. Johnstone‚ J. Wardlaw‚ D. Perry‚ R. Procter‚ P. Bath and E. Bullimore In Proceedings of the 18th IEEE Symposium on Computer−Based Medical Systems. Pages 570–573. 2005. |
|
[64] |
Integrative Biology: exploiting e−Science to combat fatal diseases D.J. Gavaghan‚ S. Lloyd‚ D. R. S. Boyd‚ P. W. Jeffreys‚ A. C. Simpson‚ D. F. Mac Randal‚ L. Sastry and K. Kleese van Dam In Proceedings of the 2004 UK e−Science All Hands Meeting. 2004. |
|
[65] |
VRE for the Integrative Biology research consortium M. J. Dovey‚ M. Mascord‚ D. J. Gavaghan‚ S. Lloyd‚ A. C. Simpson‚ G. Williams and D. Mac Randal In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005. |
|
[66] |
Teaching Formal Methods in Context J. W. Davies‚ A. C. Simpson and A. P. Martin In C. N. Dean and R. F. Boute, 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. |
|
[67] |
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. |
|
[68] |
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. |
|
[69] |
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. |
|
[70] |
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. |
|
[71] |
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. |
|
[72] |
eDiaMoND: the UK's national digital mammography database J. M. Brady‚ F. Gilbert‚ S. Lloyd‚ M. Jirotka‚ D. J. Gavaghan‚ A. C. Simpson‚ R. P. Highnam‚ T. Bowles‚ D. Schottlander‚ D. McCabe‚ D. Watson‚ B. Collins‚ J. Williams‚ A. Knox‚ M. Oevers and P. Taylor In Proceedings of IWDM 2004. 2004. |
|
[73] |
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. |
|
[74] |
Grid computing for digital mammography J. M. Brady‚ D. J. Gavaghan‚ R. P. Highnam‚ A. Knox‚ S. Lloyd‚ A. C. Simpson and D. Watson In Proceedings of the 2003 UK e−Science All Hands Meeting. 2003. |
Technical reports
|
[1] |
On the modelling and analysis of Amazon Web Services access policies David Power‚ Mark Slaymaker and Andrew Simpson No. RR−09−15. Oxford University Computing Laboratory. November, 2009. |
|
[2] |
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. |
Theses
|
[1] |
Safety through Security Andrew Simpson PhD Thesis , type=DPhil thesis DPhil thesisType. Oxford University Computing Laboratory. 1996. |
Miscellaneous
|
[1] |
Empirical analysis and optimization of an NP−hard algorithm using CSP and FDR D. Creager and A. C. Simpson To appear. 2009. |
|
[2] |
The development‚ testing‚ and deployment of a web services infrastructure for distributed healthcare delivery‚ research‚ and training A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ G. Kouadri Mostefaoui‚ G. Wilson and X. Ma In K. Khan, editor, Managing Web Services Quality: Measuring Outcomes and Effectiveness. Pages 1–22. 2008. |