[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by type, Software Engineering"></meta><meta name="description" content="Publications, by type,Software Engineering, Department of Computer Science, Oxford"></meta><title>Department of Computer Science: Software Engineering: Publications
</title><style type="text/css">
			  .btn-toolbar::after, .btn-toolbar::before
			  {
			    content: " ";
			    display: table;
			  }

			
			.btn-toolbar
			{
			    margin-bottom: 2em;
			}

			  .btn-toolbar::after, .btn-group::after
			  {
			    clear: both;
			  }


			.btn-toolbar .btn, .btn-toolbar .btn-group
			  {
			    float: left;
			}
			
			.btn-group
			  {
			    display: inline-block;
			    position: relative;
			    vertical-align: middle;
			}

			  .btn-group > .btn:first-child:not(:last-child)
			  {
			    border-bottom-right-radius: 0;
			    border-top-right-radius: 0;
			}
			
			.btn-group > .btn:first-child
			  {
			    margin-left: 0;
			}

			.btn-group > .btn
			  {
			    float: left;
			    position: relative;
			}

			  .btn-group > .btn:not(:first-child):not(:last-child)
			  {
			    border-radius: 0;
			}
			
			  .btn-group > .btn:last-child:not(:first-child)
			  {
			    border-bottom-left-radius: 0;
			    border-top-left-radius: 0;
			}
			
			.btn-group .btn + .btn, .btn-group .btn + .btn-group, .btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group
			  {
			    margin-left: -2px;
			}
			</style>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/research/">Research</a></li><li><a href="/research/security/">Security</a></li><li><a href="/research/security/activities.html">activities</a></li><li><a href="/activities/se/">Software Engineering</a></li><li class="active">Publications</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><!-- CONTENT (Column 2) --><div class="page-title"><h1>Software Engineering: Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/activities/publications/date/se.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/activities/publications/title/se.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/activities/publications/type/se.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/activities/publications/bibtex/se.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><h2>
      Books
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Engineering Agile Big&#x2212;Data Systems </strong> </p>
	    <p class="publicationAuthors"> <em> Kevin Feeney&#x201a; Jim Davies&#x201a; James Welch&#x201a; Sebastian Hellmann&#x201a; Christian Dirschl&#x201a; Andreas Koller&#x201a; Pieter Francois and Arkadiusz Marciniak  </em> </p>
	
	<p class="publicationDetails"> 2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12215-abstract.html">
			Details <span class="sr-only" > about <em> Engineering Agile Big&#x2212;Data Systems  </em></span> </a> |
			<a href="/publications/publication12215.bib">
			BibTeX  <span class="sr-only" > data for <em> Engineering Agile Big&#x2212;Data Systems  </em></span>   </a>
			
			
					| <a href="https://www.riverpublishers.com/research_details.php?book_id=659"> Link <span class="sr-only" > to <em> Engineering Agile Big&#x2212;Data Systems  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Book chapters
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Software Project Management for Combined Software and Data Engineering </strong> </p>
	    <p class="publicationAuthors"> <em> Seyyed M. Shah&#x201a; James Welch&#x201a; Jim Davies and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Zaigham Mahmood, editor,
             
            <em>
            Software Project Management for Distributed Computing: Life&#x2212;Cycle Methods for Developing Scalable and Reliable Tools</em>.
        
                Pages 367&#x2212;385.
            Springer International Publishing.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10977-abstract.html">
			Details <span class="sr-only" > about <em> Software Project Management for Combined Software and Data Engineering  </em></span> </a> |
			<a href="/publications/publication10977.bib">
			BibTeX  <span class="sr-only" > data for <em> Software Project Management for Combined Software and Data Engineering  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-319-54325-3_15">
		DOI (10.1007/978-3-319-54325-3_15)
		</a> 
					| <a href="https://sshah.co.uk/files/combined-software-data-engineering-shah-17.pdf"> Download (pdf)  <span class="sr-only" > of <em> Software Project Management for Combined Software and Data Engineering  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The development&#x201a; testing&#x201a; and deployment of a web services infrastructure for distributed healthcare delivery&#x201a; research&#x201a; and training </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Power&#x201a; D. Russell&#x201a; M.&#xa0;A. Slaymaker&#x201a; G. Kouadri Mostefaoui&#x201a; G. Wilson and X. Ma  </em> </p>
	
	<p class="publicationDetails"> 
            In K. Khan, editor,
             
            <em>
            Managing Web Services Quality: Measuring Outcomes and Effectiveness</em>.
        
                Pages 1&#x2013;22.
            Idea Group.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2007-abstract.html">
			Details <span class="sr-only" > about <em> The development&#x201a; testing&#x201a; and deployment of a web services infrastructure for distributed healthcare delivery&#x201a; research&#x201a; and training  </em></span> </a> |
			<a href="/publications/publication2007.bib">
			BibTeX  <span class="sr-only" > data for <em> The development&#x201a; testing&#x201a; and deployment of a web services infrastructure for distributed healthcare delivery&#x201a; research&#x201a; and training  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Journal papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Security risk assessment in Internet of Things systems </strong> </p>
	    <p class="publicationAuthors"> <em> Jason R. C. Nurse; Sadie Creese; David De Roure  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>IEEE IT Professional (IT Pro)</em>.
        
            Vol. 19.
        
            No. 5.
        
                Pages 20&#x2013;26.
            2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10974-abstract.html">
			Details <span class="sr-only" > about <em> Security risk assessment in Internet of Things systems  </em></span> </a> |
			<a href="/publications/publication10974.bib">
			BibTeX  <span class="sr-only" > data for <em> Security risk assessment in Internet of Things systems  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/9680/2017-itpro-ncd_author-final.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Security risk assessment in Internet of Things systems  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1109/MITP.2017.3680959">
		DOI (10.1109/MITP.2017.3680959)
		</a> 
					| <a href="https://www.computer.org/it-professional/"> Link <span class="sr-only" > to <em> Security risk assessment in Internet of Things systems  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formal model&#x2212;driven engineering of critical information systems </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; David Milward&#x201a; Chen&#x2212;Wei Wang and James Welch  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 103.
        
                Pages 88 &#x2212; 113.
            2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11989-abstract.html">
			Details <span class="sr-only" > about <em> Formal model&#x2212;driven engineering of critical information systems  </em></span> </a> |
			<a href="/publications/publication11989.bib">
			BibTeX  <span class="sr-only" > data for <em> Formal model&#x2212;driven engineering of critical information systems  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2014.11.004">
		DOI (10.1016/j.scico.2014.11.004)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The CancerGrid Experience: Metadata&#x2212;Based Model&#x2212;Driven Engineering for Clinical Trials </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; Steve Harris and Charles Crichton  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 89B.
        
                Pages 126&#x2212;143.
            September,
            2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5947-abstract.html">
			Details <span class="sr-only" > about <em> The CancerGrid Experience: Metadata&#x2212;Based Model&#x2212;Driven Engineering for Clinical Trials  </em></span> </a> |
			<a href="/publications/publication5947.bib">
			BibTeX  <span class="sr-only" > data for <em> The CancerGrid Experience: Metadata&#x2212;Based Model&#x2212;Driven Engineering for Clinical Trials  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2013.02.010">
		DOI (10.1016/j.scico.2013.02.010)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/cancergrid.pdf"> Download (pdf)  <span class="sr-only" > of <em> The CancerGrid Experience: Metadata&#x2212;Based Model&#x2212;Driven Engineering for Clinical Trials  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Model&#x2212;driven Engineering of Information Systems: 10 years and 1000 versions </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; James Welch and Edward Crichton  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 89B.
        
                Pages 88&#x2212;104.
            September,
            2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6508-abstract.html">
			Details <span class="sr-only" > about <em> Model&#x2212;driven Engineering of Information Systems: 10 years and 1000 versions  </em></span> </a> |
			<a href="/publications/publication6508.bib">
			BibTeX  <span class="sr-only" > data for <em> Model&#x2212;driven Engineering of Information Systems: 10 years and 1000 versions  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2013.02.002">
		DOI (10.1016/j.scico.2013.02.002)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            GIMI: The past&#x201a; the present&#x201a; and the future </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Power&#x201a; D. Russell&#x201a; M.&#xa0;A. Slaymaker&#x201a; V. Bailey&#x201a; C.&#xa0;E. Tromans&#x201a; J.&#xa0;M. Brady and L. Tarassenko  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Philosophical Transactions of the Royal Society A: Mathematical&#x201a; Physical and Engineering Sciences</em>.
        
            Vol. 368.
        
                Pages 3891&#x2013;3905.
            2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3683-abstract.html">
			Details <span class="sr-only" > about <em> GIMI: The past&#x201a; the present&#x201a; and the future  </em></span> </a> |
			<a href="/publications/publication3683.bib">
			BibTeX  <span class="sr-only" > data for <em> GIMI: The past&#x201a; the present&#x201a; and the future  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Managing application whitelists in trusted distributed systems </strong> </p>
	    <p class="publicationAuthors"> <em> Jun Ho Huh&#x201a; John Lyle&#x201a; Cornelius Namiluko and Andrew Martin  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Future Generation Computer Systems</em>.
        
            Vol. In Press&#x201a; Accepted Manuscript.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3689-abstract.html">
			Details <span class="sr-only" > about <em> Managing application whitelists in trusted distributed systems  </em></span> </a> |
			<a href="/publications/publication3689.bib">
			BibTeX  <span class="sr-only" > data for <em> Managing application whitelists in trusted distributed systems  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/DOI: 10.1016/j.future.2010.08.014">
		DOI (DOI: 10.1016/j.future.2010.08.014)
		</a> 
					| <a href=""http://www.sciencedirect.com/science/article/B6V06-50XCXVD-2/2/6efb0eda0beeb1edcc156190e2f843e8"> Link <span class="sr-only" > to <em> Managing application whitelists in trusted distributed systems  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On formalising and normalising role&#x2212;based access control systems </strong> </p>
	    <p class="publicationAuthors"> <em> D. J. Power M. A. Slaymaker and A. C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>The Computer Journal</em>.
        
            Vol. 52.
        
            No. 3.
        
                Pages 305&#x2212;325.
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3060-abstract.html">
			Details <span class="sr-only" > about <em> On formalising and normalising role&#x2212;based access control systems  </em></span> </a> |
			<a href="/publications/publication3060.bib">
			BibTeX  <span class="sr-only" > data for <em> On formalising and normalising role&#x2212;based access control systems  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/doi:10.1093/comjnl/bxn016">
		DOI (doi:10.1093/comjnl/bxn016)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A healthcare&#x2212;driven framework for facilitating the secure sharing of data across organisational boundaries </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Power&#x201a; D. Russell&#x201a; M.&#xa0;A. Slaymaker&#x201a; G. Kouadri&#x2212;Mostefaoui&#x201a; X. Ma and G. Wilson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Studies in Health Technology and Informatics</em>.
        
            Vol. 138.
        
                Pages 3&#x2013;12.
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3062-abstract.html">
			Details <span class="sr-only" > about <em> A healthcare&#x2212;driven framework for facilitating the secure sharing of data across organisational boundaries  </em></span> </a> |
			<a href="/publications/publication3062.bib">
			BibTeX  <span class="sr-only" > data for <em> A healthcare&#x2212;driven framework for facilitating the secure sharing of data across organisational boundaries  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[9] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Verification of Boolean Programs with Unbounded Thread Creation </strong> </p>
	    <p class="publicationAuthors"> <em> Byron Cook&#x201a; Daniel Kroening and Natasha Sharygina  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Theoretical Computer Science (TCS)</em>.
        
            Vol. 388.
        
                Pages 227&#x2013;242.
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication705-abstract.html">
			Details <span class="sr-only" > about <em> Verification of Boolean Programs with Unbounded Thread Creation  </em></span> </a> |
			<a href="/publications/publication705.bib">
			BibTeX  <span class="sr-only" > data for <em> Verification of Boolean Programs with Unbounded Thread Creation  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[10] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the development of secure service&#x2212;oriented architectures to support medical research </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker&#x201a; D. Russell and M. Katzarova  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>International Journal of Healthcare Information Systems and Informatics</em>.
        
            Vol. 2.
        
            No. 2.
        
                Pages 75&#x2013;89.
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2003-abstract.html">
			Details <span class="sr-only" > about <em> On the development of secure service&#x2212;oriented architectures to support medical research  </em></span> </a> |
			<a href="/publications/publication2003.bib">
			BibTeX  <span class="sr-only" > data for <em> On the development of secure service&#x2212;oriented architectures to support medical research  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[11] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Integrative Biology: The challenges of developing a collaborative research environment for heart and cancer modelling </strong> </p>
	    <p class="publicationAuthors"> <em> S. Lloyd&#x201a; D.&#xa0;J. Gavaghan&#x201a; A.&#xa0;C. Simpson&#x201a; C. Mascord M. Sieunarine&#x201a; G. Williams&#x201a; J. Pitt&#x2212;Francis&#x201a; D.&#xa0;R.&#xa0;S. Boyd&#x201a; D. Mac Randal&#x201a; L. Sastry&#x201a; K. Nagella S. Weeks&#x201a; R. Fowler&#x201a; D. Hanlon&#x201a; J. Handley and G. de Fabritis  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Future Generation Computer Systems</em>.
        
            Vol. 23.
        
            No. 3.
        
                Pages 457&#x2013;465.
            March,
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2043-abstract.html">
			Details <span class="sr-only" > about <em> Integrative Biology: The challenges of developing a collaborative research environment for heart and cancer modelling  </em></span> </a> |
			<a href="/publications/publication2043.bib">
			BibTeX  <span class="sr-only" > data for <em> Integrative Biology: The challenges of developing a collaborative research environment for heart and cancer modelling  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[12] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Multimodal imaging techniques for the extraction of detailed geometrical and physiological information for use in multi&#x2212;scale models of colorectal cancer and treatment of individual patients </strong> </p>
	    <p class="publicationAuthors"> <em> J. Pitt&#x2212;Francis&#x201a; D. Chen&#x201a; M.&#xa0;A. Slaymaker&#x201a; A.&#xa0;C. Simpson&#x201a; J.&#xa0;M. Brady&#x201a; I. van Leeuwen&#x201a; F. Reddington&#x201a; P. Quirke and D.&#xa0;J. Gavaghan  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Computational & Mathematical Methods in Medicine</em>.
        
            Vol. 7.
        
            No. &23.
        
                Pages 177&#x2013;188.
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2029-abstract.html">
			Details <span class="sr-only" > about <em> Multimodal imaging techniques for the extraction of detailed geometrical and physiological information for use in multi&#x2212;scale models of colorectal cancer and treatment of individual patients  </em></span> </a> |
			<a href="/publications/publication2029.bib">
			BibTeX  <span class="sr-only" > data for <em> Multimodal imaging techniques for the extraction of detailed geometrical and physiological information for use in multi&#x2212;scale models of colorectal cancer and treatment of individual patients  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[13] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Designing for e&#x2212;health: recurring scenarios in developing grid&#x2212;based medical imaging systems </strong> </p>
	    <p class="publicationAuthors"> <em> J. Ure&#x201a; J. Geddes&#x201a; C. Mackay&#x201a; S. Lloyd&#x201a; A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Power&#x201a; D. Russell&#x201a; M. Jirotka&#x201a; M. Katzarova&#x201a; M. Rossor&#x201a; N. Fox&#x201a; J. Fletcher&#x201a; D. Hill&#x201a; K. McLeish&#x201a; Y. Chen&#x201a; J.&#xa0;V. Hajnal&#x201a; S. Lawrie&#x201a; D. Job&#x201a; A. McIntosh&#x201a; J. Wardlaw&#x201a; P. Sandercock&#x201a; J. Palmer&#x201a; D. Perry&#x201a; R. Procter&#x201a; M. Hartswood&#x201a; R. Slack&#x201a; A. Voss&#x201a; K. Ho&#x201a; P. Bath&#x201a; W. Clarke and G. Watson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Studies in Health Technology and Informatics</em>.
        
            Vol. 120.
        
                Pages 336&#x2013;347.
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1990-abstract.html">
			Details <span class="sr-only" > about <em> Designing for e&#x2212;health: recurring scenarios in developing grid&#x2212;based medical imaging systems  </em></span> </a> |
			<a href="/publications/publication1990.bib">
			BibTeX  <span class="sr-only" > data for <em> Designing for e&#x2212;health: recurring scenarios in developing grid&#x2212;based medical imaging systems  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[14] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Using CSP to model the synchronization process of variable length codes </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C.&#xa0;M. Fong and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>IEEE Proc. Communications</em>.
        
            Vol. 153.
        
            No. 2.
        
                Pages 195&#x2013;200.
            April,
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2054-abstract.html">
			Details <span class="sr-only" > about <em> Using CSP to model the synchronization process of variable length codes  </em></span> </a> |
			<a href="/publications/publication2054.bib">
			BibTeX  <span class="sr-only" > data for <em> Using CSP to model the synchronization process of variable length codes  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[15] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Securing web services for deployment in health grids </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Power&#x201a; E.&#xa0;A. Politou&#x201a; M.&#xa0;A. Slaymaker and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Future Generation Computer Systems</em>.
        
            Vol. 22.
        
            No. 5.
        
                Pages 547&#x2013;570.
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2026-abstract.html">
			Details <span class="sr-only" > about <em> Securing web services for deployment in health grids  </em></span> </a> |
			<a href="/publications/publication2026.bib">
			BibTeX  <span class="sr-only" > data for <em> Securing web services for deployment in health grids  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[16] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Collaboration and trust in healthcare innovation: the eDiaMoND case study </strong> </p>
	    <p class="publicationAuthors"> <em> M. Jirotka&#x201a; M. Procter&#x201a; R. Hartswood&#x201a; C. Slack&#x201a; A.&#xa0;C. Simpson&#x201a; C. Coopmans&#x201a; C. Hinds and A. Voss  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Computer Supported Cooperative Work</em>.
        
            Vol. 14.
        
                Pages 369&#x2013;398.
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2047-abstract.html">
			Details <span class="sr-only" > about <em> Collaboration and trust in healthcare innovation: the eDiaMoND case study  </em></span> </a> |
			<a href="/publications/publication2047.bib">
			BibTeX  <span class="sr-only" > data for <em> Collaboration and trust in healthcare innovation: the eDiaMoND case study  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[17] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Integrative Biology: exploiting e&#x2212;Science to combat fatal diseases </strong> </p>
	    <p class="publicationAuthors"> <em> S. Lloyd&#x201a; A.&#xa0;C. Simpson&#x201a; L. Sastry&#x201a; D.&#xa0;J. Gavaghan and D.&#xa0;R.S. Boyd  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>ERCIM News</em>.
        
            Vol. 60.
        January,
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2036-abstract.html">
			Details <span class="sr-only" > about <em> Integrative Biology: exploiting e&#x2212;Science to combat fatal diseases  </em></span> </a> |
			<a href="/publications/publication2036.bib">
			BibTeX  <span class="sr-only" > data for <em> Integrative Biology: exploiting e&#x2212;Science to combat fatal diseases  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[18] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards secure Grid&#x2212;enabled healthcare </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Power&#x201a; E.&#xa0;A. Politou&#x201a; M.&#xa0;A. Slaymaker and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Software: Practice and Experience</em>.
        
            Vol. 35.
        
            No. 9.
        
                Pages 857&#x2013;871.
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2025-abstract.html">
			Details <span class="sr-only" > about <em> Towards secure Grid&#x2212;enabled healthcare  </em></span> </a> |
			<a href="/publications/publication2025.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards secure Grid&#x2212;enabled healthcare  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[19] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards a Grid Infrastructure to support integrative approaches to biological research </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Gavaghan&#x201a; A.&#xa0;C. Simpson&#x201a; S. Lloyd&#x201a; D.&#xa0;F. Mac Randal and D.&#xa0;R.&#xa0;S. Boyd  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Philosophical Transactions of the Royal Society A: Mathematical&#x201a; Physical and Engineering Sciences</em>.
        
            Vol. 363.
        
            No. 1883.
        
                Pages 1829&#x2013;1841.
            August,
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2052-abstract.html">
			Details <span class="sr-only" > about <em> Towards a Grid Infrastructure to support integrative approaches to biological research  </em></span> </a> |
			<a href="/publications/publication2052.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards a Grid Infrastructure to support integrative approaches to biological research  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[20] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Security Aspects of Grid&#x2212;enabled Digital Mammography </strong> </p>
	    <p class="publicationAuthors"> <em> M.&#xa0;A. Slaymaker&#x201a; E.&#xa0;A. Politou&#x201a; D.&#xa0;J. Power&#x201a; S. Lloyd and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Methods of Information in Medicine</em>.
        
            Vol. 44.
        
            No. 2.
        
                Pages 207&#x2013;210.
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1999-abstract.html">
			Details <span class="sr-only" > about <em> Security Aspects of Grid&#x2212;enabled Digital Mammography  </em></span> </a> |
			<a href="/publications/publication1999.bib">
			BibTeX  <span class="sr-only" > data for <em> Security Aspects of Grid&#x2212;enabled Digital Mammography  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[21] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Digital mammography: a world without film? </strong> </p>
	    <p class="publicationAuthors"> <em> S. Lloyd&#x201a; M. Jirotka&#x201a; A.&#xa0;C. Simpson&#x201a; R.&#xa0;P. Highnam&#x201a; D.&#xa0;J. Gavaghan&#x201a; D. Watson and J.&#xa0;M. Brady  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Methods of Information in Medicine</em>.
        
            Vol. 44.
        
            No. 2.
        
                Pages 168&#x2013;169.
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2042-abstract.html">
			Details <span class="sr-only" > about <em> Digital mammography: a world without film?  </em></span> </a> |
			<a href="/publications/publication2042.bib">
			BibTeX  <span class="sr-only" > data for <em> Digital mammography: a world without film?  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[22] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Predicate Abstraction of ANSI&#x2013;C Programs using SAT </strong> </p>
	    <p class="publicationAuthors"> <em> Edmund Clarke&#x201a; Daniel Kroening&#x201a; Natasha Sharygina and Karen Yorav  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Formal Methods in System Design (FMSD)</em>.
        
            Vol. 25.
        
                Pages 105&#x2013;127.
            2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication731-abstract.html">
			Details <span class="sr-only" > about <em> Predicate Abstraction of ANSI&#x2013;C Programs using SAT  </em></span> </a> |
			<a href="/publications/publication731.bib">
			BibTeX  <span class="sr-only" > data for <em> Predicate Abstraction of ANSI&#x2013;C Programs using SAT  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Conference papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            ToARist: An Augmented Reality Tourism App created through User&#x2212;Centred Design </strong> </p>
	    <p class="publicationAuthors"> <em> Meredydd Williams&#x201a; Kelvin Yao and Jason R. C. Nurse  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            31st British Human Computer Interaction Conference (BHCI)</em>.
        BCS.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11015-abstract.html">
			Details <span class="sr-only" > about <em> ToARist: An Augmented Reality Tourism App created through User&#x2212;Centred Design  </em></span> </a> |
			<a href="/publications/publication11015.bib">
			BibTeX  <span class="sr-only" > data for <em> ToARist: An Augmented Reality Tourism App created through User&#x2212;Centred Design  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/9030/2017-bcshci-wyn.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> ToARist: An Augmented Reality Tourism App created through User&#x2212;Centred Design  </em></span>

					    </a>


				    
					| <a href="http://hci2017.bcs.org/wp-content/uploads/13.pdf"> Download (pdf)  <span class="sr-only" > of <em> ToARist: An Augmented Reality Tourism App created through User&#x2212;Centred Design  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Requirements Sensemaking using Concept Maps </strong> </p>
	    <p class="publicationAuthors"> <em> Shamal Faily&#x201a; John Lyle&#x201a; Andre Paul&#x201a; Andrea Atzeni&#x201a; Dieter Blomme&#x201a; Heiko Desruelle and Krishna Bangalore  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            HCSE'2012: Proceedings of the 4th International Conference on Human&#x2212;Centered Software Engineering</em>.
        
                Pages 217&#x2013;232.
            Springer.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6198-abstract.html">
			Details <span class="sr-only" > about <em> Requirements Sensemaking using Concept Maps  </em></span> </a> |
			<a href="/publications/publication6198.bib">
			BibTeX  <span class="sr-only" > data for <em> Requirements Sensemaking using Concept Maps  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/4879/manuscript.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Requirements Sensemaking using Concept Maps  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Provenance as a Security Control </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew Martin&#x201a; John Lyle and Cornelius Namiluko  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of TaPP'12: the 4th USENIX Workshop on the Theory and Practice of Provenance</em>.
        USENIX.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6165-abstract.html">
			Details <span class="sr-only" > about <em> Provenance as a Security Control  </em></span> </a> |
			<a href="/publications/publication6165.bib">
			BibTeX  <span class="sr-only" > data for <em> Provenance as a Security Control  </em></span>   </a>
			
			
					| <a href="https://www.usenix.org/conference/tapp12/provenance-security-control"> Link <span class="sr-only" > to <em> Provenance as a Security Control  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Model&#x2212;driven architectural risk analysis using architectural and contextualised attack patterns </strong> </p>
	    <p class="publicationAuthors"> <em> Shamal Faily&#x201a; John Lyle&#x201a; Cornelius Namiluko&#x201a; Andrea Atzeni and Cesare Cameroni  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the Workshop on Model&#x2212;Driven Security</em>.
        
                Pages 3:1&#x2013;3:6.
            ACM.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6233-abstract.html">
			Details <span class="sr-only" > about <em> Model&#x2212;driven architectural risk analysis using architectural and contextualised attack patterns  </em></span> </a> |
			<a href="/publications/publication6233.bib">
			BibTeX  <span class="sr-only" > data for <em> Model&#x2212;driven architectural risk analysis using architectural and contextualised attack patterns  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/5103/paper%2023.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Model&#x2212;driven architectural risk analysis using architectural and contextualised attack patterns  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Form Follows Function: Model&#x2212;Driven Engineering for Clinical Trials </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; Radu Calinescu&#x201a; Charles Crichton&#x201a; Steve Harris and Andrew Tsui  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Symposium on Foundations of Health Information Engineering and Systems</em>.
        
            Vol. 7151
                of LNCS.
        
                Pages 21&#x2212;38.
            Springer.
        August,
            2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4600-abstract.html">
			Details <span class="sr-only" > about <em> Form Follows Function: Model&#x2212;Driven Engineering for Clinical Trials  </em></span> </a> |
			<a href="/publications/publication4600.bib">
			BibTeX  <span class="sr-only" > data for <em> Form Follows Function: Model&#x2212;Driven Engineering for Clinical Trials  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-32355-3_2">
		DOI (10.1007/978-3-642-32355-3_2)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fff.pdf"> Download (pdf)  <span class="sr-only" > of <em> Form Follows Function: Model&#x2212;Driven Engineering for Clinical Trials  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Demo abstract : Dynamic node placement for multi&#x2212;hop localization in cluttered environments </strong> </p>
	    <p class="publicationAuthors"> <em> Muzammil Hussain and Niki Trigoni  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            8th Annual IEEE Communications Society Conference on Sensor&#x201a; Mesh and Ad Hoc Communications and Networks (SECON)</em>.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5022-abstract.html">
			Details <span class="sr-only" > about <em> Demo abstract : Dynamic node placement for multi&#x2212;hop localization in cluttered environments  </em></span> </a> |
			<a href="/publications/publication5022.bib">
			BibTeX  <span class="sr-only" > data for <em> Demo abstract : Dynamic node placement for multi&#x2212;hop localization in cluttered environments  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/9922/Dynamic%20Node%20placement.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Demo abstract : Dynamic node placement for multi&#x2212;hop localization in cluttered environments  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Trusted Computing and Provenance: Better Together </strong> </p>
	    <p class="publicationAuthors"> <em> John Lyle and Andrew Martin  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2nd Workshop on the Theory and Practice of Provenance</em>.
        Usenix.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3553-abstract.html">
			Details <span class="sr-only" > about <em> Trusted Computing and Provenance: Better Together  </em></span> </a> |
			<a href="/publications/publication3553.bib">
			BibTeX  <span class="sr-only" > data for <em> Trusted Computing and Provenance: Better Together  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/5278/tapp10-cameraready.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Trusted Computing and Provenance: Better Together  </em></span>

					    </a>


				    
					| <a href="http://www.usenix.org/events/tapp10/tech/full_papers/lyle.pdf"> Download (pdf)  <span class="sr-only" > of <em> Trusted Computing and Provenance: Better Together  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Semantic Frameworks: Meanings in the Architecture </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Distributed Computing and Internet Technology</em>.
        
            Vol. 5966
                of LNCS.
        
                Pages 40&#x2212;54.
            2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3798-abstract.html">
			Details <span class="sr-only" > about <em> Semantic Frameworks: Meanings in the Architecture  </em></span> </a> |
			<a href="/publications/publication3798.bib">
			BibTeX  <span class="sr-only" > data for <em> Semantic Frameworks: Meanings in the Architecture  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-11659-9_4">
		DOI (10.1007/978-3-642-11659-9_4)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[9] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Engineering Attestable Services (short paper) </strong> </p>
	    <p class="publicationAuthors"> <em> John Lyle and Andrew Martin  </em> </p>
	
	<p class="publicationDetails"> 
            In Ahmad&#x2212;Reza Acquisti Alessandro; Smith Sean W.; Sadeghi, editor,
             
            <em>
            Proceedings of the 3rd International Conference on Trust and Trustworthy Computing</em>.
        
                Pages 257&#x2013;264.
            Springer.
        June,
            2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3660-abstract.html">
			Details <span class="sr-only" > about <em> Engineering Attestable Services (short paper)  </em></span> </a> |
			<a href="/publications/publication3660.bib">
			BibTeX  <span class="sr-only" > data for <em> Engineering Attestable Services (short paper)  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/5277/engineering-attestable-services-shortpaper.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Engineering Attestable Services (short paper)  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1007/978-3-642-13869-0">
		DOI (10.1007/978-3-642-13869-0)
		</a> 
					| <a href="http://www.springerlink.com/content/4NG0010448040134"> Link <span class="sr-only" > to <em> Engineering Attestable Services (short paper)  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[10] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Trustworthy Log Reconciliation for Distributed Virtual Organisations </strong> </p>
	    <p class="publicationAuthors"> <em> Jun Ho Huh and John Lyle  </em> </p>
	
	<p class="publicationDetails"> 
            In Liqun Chen&#x201a; Chris J. Mitchell and Andrew Martin, editors,
             
            <em>
            Trust '09: Proceedings of the 2nd International Conference on Trusted Computing</em>.
        
                Pages 169&#x2212;182.
            Berlin&#x201a; Heidelberg.
        April,
            2009.
        Springer&#x2212;Verlag.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2992-abstract.html">
			Details <span class="sr-only" > about <em> Trustworthy Log Reconciliation for Distributed Virtual Organisations  </em></span> </a> |
			<a href="/publications/publication2992.bib">
			BibTeX  <span class="sr-only" > data for <em> Trustworthy Log Reconciliation for Distributed Virtual Organisations  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-00587-9_11">
		DOI (10.1007/978-3-642-00587-9_11)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[11] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A metadata approach for clinical data management in translational genomics studies in breast cancer </strong> </p>
	    <p class="publicationAuthors"> <em> James D Brenton Irene Papatheodorou Charles Crichton Lorna Morris Peter Maccallum Molecular Taxonomy of Breast Cancer International Consortium METABRIC Group Jim Davies and Carlos Caldas  </em> </p>
	
	<p class="publicationDetails"> 
            Vol. 2.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3367-abstract.html">
			Details <span class="sr-only" > about <em> A metadata approach for clinical data management in translational genomics studies in breast cancer  </em></span> </a> |
			<a href="/publications/publication3367.bib">
			BibTeX  <span class="sr-only" > data for <em> A metadata approach for clinical data management in translational genomics studies in breast cancer  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1186/1755-8794-2-66">
		DOI (10.1186/1755-8794-2-66)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[12] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Trustable Remote Verification of Web Services </strong> </p>
	    <p class="publicationAuthors"> <em> John Lyle  </em> </p>
	
	<p class="publicationDetails"> 
            In Liqun Chen&#x201a; Chris J. Mitchell and Andrew Martin, editors,
             
            <em>
            TRUST</em>.
        
                Pages 153&#x2212;168.
            Springer.
        April,
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2991-abstract.html">
			Details <span class="sr-only" > about <em> Trustable Remote Verification of Web Services  </em></span> </a> |
			<a href="/publications/publication2991.bib">
			BibTeX  <span class="sr-only" > data for <em> Trustable Remote Verification of Web Services  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/5276/trustable-remote-verification.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Trustable Remote Verification of Web Services  </em></span>

					    </a>


				    
					| <a href="http://dx.doi.org/10.1007/978-3-642-00587-9_10"> Link <span class="sr-only" > to <em> Trustable Remote Verification of Web Services  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[13] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the secure sharing of legacy data </strong> </p>
	    <p class="publicationAuthors"> <em> D. Russell&#x201a; D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker&#x201a; G.&#xa0;K. Kouadri Mostefaoui&#x201a; X. Ma and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 6th International Conference on IT: Next Generation (ITNG 2009)</em>.
        
                Pages 1676&#x2013;1679.
            IEEE.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3069-abstract.html">
			Details <span class="sr-only" > about <em> On the secure sharing of legacy data  </em></span> </a> |
			<a href="/publications/publication3069.bib">
			BibTeX  <span class="sr-only" > data for <em> On the secure sharing of legacy data  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[14] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the Feasibility of Remote Attestation for Web Services </strong> </p>
	    <p class="publicationAuthors"> <em> John Lyle and Andrew Martin  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            SecureCom09: Proceedings of the International Symposium on Secure Computing</em>.
        
                Pages 283&#x2212;288.
            IEEE.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3239-abstract.html">
			Details <span class="sr-only" > about <em> On the Feasibility of Remote Attestation for Web Services  </em></span> </a> |
			<a href="/publications/publication3239.bib">
			BibTeX  <span class="sr-only" > data for <em> On the Feasibility of Remote Attestation for Web Services  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/5275/PublicationFile">Download
					    PublicationFile

					    <span class="sr-only" > of <em> On the Feasibility of Remote Attestation for Web Services  </em></span>

					    </a>


				    

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/5274/feasibility-ieee.pdf">Download
					    feasibility-ieee.pdf

					    <span class="sr-only" > of <em> On the Feasibility of Remote Attestation for Web Services  </em></span>

					    </a>


				    
					| <a href="http://doi.ieeecomputersociety.org/10.1109/CSE.2009.213"> Link <span class="sr-only" > to <em> On the Feasibility of Remote Attestation for Web Services  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[15] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Model&#x2212;Driven Support for a Vaccine Study in Kathmandu </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; Steve Harris&#x201a; Jane Metz&#x201a; Andrew J. Pollard and Matthew Snape  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Microsoft eScience Workshop</em>.
        October,
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3340-abstract.html">
			Details <span class="sr-only" > about <em> Model&#x2212;Driven Support for a Vaccine Study in Kathmandu  </em></span> </a> |
			<a href="/publications/publication3340.bib">
			BibTeX  <span class="sr-only" > data for <em> Model&#x2212;Driven Support for a Vaccine Study in Kathmandu  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/vaccines.pdf"> Download (pdf)  <span class="sr-only" > of <em> Model&#x2212;Driven Support for a Vaccine Study in Kathmandu  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[16] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Coordinated Search with a Swarm of UAVs </strong> </p>
	    <p class="publicationAuthors"> <em> Sonia Waharte&#x201a; Niki Trigoni and Simon J. Julier  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Sixth Annual IEEE Communications Society Conference on Sensor&#x201a; Mesh and Ad Hoc Communications and Networks (SECON)</em>.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3093-abstract.html">
			Details <span class="sr-only" > about <em> Coordinated Search with a Swarm of UAVs  </em></span> </a> |
			<a href="/publications/publication3093.bib">
			BibTeX  <span class="sr-only" > data for <em> Coordinated Search with a Swarm of UAVs  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/2307/report.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Coordinated Search with a Swarm of UAVs  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[17] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Application of a Service&#x2212;Oriented Infrastructure to Support Medical Research in Mammography </strong> </p>
	    <p class="publicationAuthors"> <em> C. Tromans&#x201a; J.&#xa0;M. Brady&#x201a; D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker&#x201a; D. Russell and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of MICCAI&#x2212;Grid 2008</em>.
        
                Pages 43&#x2013;52.
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3068-abstract.html">
			Details <span class="sr-only" > about <em> The Application of a Service&#x2212;Oriented Infrastructure to Support Medical Research in Mammography  </em></span> </a> |
			<a href="/publications/publication3068.bib">
			BibTeX  <span class="sr-only" > data for <em> The Application of a Service&#x2212;Oriented Infrastructure to Support Medical Research in Mammography  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[18] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Semantic Technologies in Electronic Government </strong> </p>
	    <p class="publicationAuthors"> <em> Steve Harris&#x201a; Jeremy Gibbons&#x201a; Jim Davies&#x201a; Andrew Tsui and Charles Crichton  </em> </p>
	
	<p class="publicationDetails"> 
            In Tomasz Janowski and Teresa Pardo, editors,
             
            <em>
            ICEGOV 2008</em>.
        
                Pages 45 &#x2013; 51.
            Cairo.
        December,
            2008.
        ACM Press.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2903-abstract.html">
			Details <span class="sr-only" > about <em> Semantic Technologies in Electronic Government  </em></span> </a> |
			<a href="/publications/publication2903.bib">
			BibTeX  <span class="sr-only" > data for <em> Semantic Technologies in Electronic Government  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1509096.1509108">
		DOI (10.1145/1509096.1509108)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/semantech-egov.pdf"> Download (pdf)  <span class="sr-only" > of <em> Semantic Technologies in Electronic Government  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[19] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the need for user&#x2212;defined fine&#x2212;grained access control policies for social networking applications </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2008 workshop on Security in Opportunistic and SOCial networks (SOSOC 2008)</em>.
        
                Pages Article number 1.
            ACM.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3063-abstract.html">
			Details <span class="sr-only" > about <em> On the need for user&#x2212;defined fine&#x2212;grained access control policies for social networking applications  </em></span> </a> |
			<a href="/publications/publication3063.bib">
			BibTeX  <span class="sr-only" > data for <em> On the need for user&#x2212;defined fine&#x2212;grained access control policies for social networking applications  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[20] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the facilitation of fine&#x2212;grained access to distributed healthcare data </strong> </p>
	    <p class="publicationAuthors"> <em> D. Russell M. A. Slaymaker D. J. Power and A. C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Secure Data Management 2008</em>.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3064-abstract.html">
			Details <span class="sr-only" > about <em> On the facilitation of fine&#x2212;grained access to distributed healthcare data  </em></span> </a> |
			<a href="/publications/publication3064.bib">
			BibTeX  <span class="sr-only" > data for <em> On the facilitation of fine&#x2212;grained access to distributed healthcare data  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[21] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On formal descriptions of synchronization requirements in multimedia systems </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C.&#xa0;M. Fong and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 5th International Conference on IT: Next Generation (ITNG 2009)</em>.
        
                Pages 1255&#x2212;1256.
            IEEE.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3059-abstract.html">
			Details <span class="sr-only" > about <em> On formal descriptions of synchronization requirements in multimedia systems  </em></span> </a> |
			<a href="/publications/publication3059.bib">
			BibTeX  <span class="sr-only" > data for <em> On formal descriptions of synchronization requirements in multimedia systems  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[22] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Basic Strategies for Molecular Docking with Scoring Functions </strong> </p>
	    <p class="publicationAuthors"> <em> Gwyn Skone&#x201a; Stephen Cameron and Irina Voiculescu  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            German Conference on Bioinformatics</em>.
        September,
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2684-abstract.html">
			Details <span class="sr-only" > about <em> Basic Strategies for Molecular Docking with Scoring Functions  </em></span> </a> |
			<a href="/publications/publication2684.bib">
			BibTeX  <span class="sr-only" > data for <em> Basic Strategies for Molecular Docking with Scoring Functions  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[23] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Accessing and aggregating legacy data sources for healthcare research&#x201a; delivery and training </strong> </p>
	    <p class="publicationAuthors"> <em> M. A. Slaymaker&#x201a; D. J. Power&#x201a; D. Russell&#x201a; G. Wilson and A. C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of SAC 2008</em>.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1995-abstract.html">
			Details <span class="sr-only" > about <em> Accessing and aggregating legacy data sources for healthcare research&#x201a; delivery and training  </em></span> </a> |
			<a href="/publications/publication1995.bib">
			BibTeX  <span class="sr-only" > data for <em> Accessing and aggregating legacy data sources for healthcare research&#x201a; delivery and training  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[24] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A healthcare&#x2212;driven framework for facilitating the secure sharing of data across organisational boundaries </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Power&#x201a; D. Russell&#x201a; M.&#xa0;A. Slaymaker&#x201a; G. Kouadri&#x2212;Mostefaoui&#x201a; X. Ma and G. Wilson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of HealthGrid 2008</em>.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3061-abstract.html">
			Details <span class="sr-only" > about <em> A healthcare&#x2212;driven framework for facilitating the secure sharing of data across organisational boundaries  </em></span> </a> |
			<a href="/publications/publication3061.bib">
			BibTeX  <span class="sr-only" > data for <em> A healthcare&#x2212;driven framework for facilitating the secure sharing of data across organisational boundaries  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[25] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards build&#x2212;time interoperability of workflow definition languages </strong> </p>
	    <p class="publicationAuthors"> <em> S.&#xa0;D. Induruwa&#x2212;Fernando&#x201a; D.&#xa0;A. Creager and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNSAC 2007)</em>.
        
                Pages 525&#x2013;532.
            IEEE.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2048-abstract.html">
			Details <span class="sr-only" > about <em> Towards build&#x2212;time interoperability of workflow definition languages  </em></span> </a> |
			<a href="/publications/publication2048.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards build&#x2212;time interoperability of workflow definition languages  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[26] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Exploitation of switched lightpaths for e&#x2212;health: Constraints and challenges </strong> </p>
	    <p class="publicationAuthors"> <em> L. Momtahan and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Lighting the blue touchpaper for UK e&#x2212;Science: Closing conference of ESLEA project</em>.
        Proceedings of Science.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2032-abstract.html">
			Details <span class="sr-only" > about <em> Exploitation of switched lightpaths for e&#x2212;health: Constraints and challenges  </em></span> </a> |
			<a href="/publications/publication2032.bib">
			BibTeX  <span class="sr-only" > data for <em> Exploitation of switched lightpaths for e&#x2212;health: Constraints and challenges  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[27] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Developing collaborative technology for neuro&#x2212;science </strong> </p>
	    <p class="publicationAuthors"> <em> S. Lloyd&#x201a; A. C. Simpson&#x201a; D. J. Power&#x201a; J. Geddes&#x201a; A. Khanban and J. Palmer  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of CollaborateCom 2007</em>.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2037-abstract.html">
			Details <span class="sr-only" > about <em> Developing collaborative technology for neuro&#x2212;science  </em></span> </a> |
			<a href="/publications/publication2037.bib">
			BibTeX  <span class="sr-only" > data for <em> Developing collaborative technology for neuro&#x2212;science  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[28] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On tracker attacks in health grids </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C.&#xa0;Simpson&#x201a; D.&#xa0;J.&#xa0;Power and M.&#xa0;A.&#xa0;Slaymaker  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the Annual ACM Symposium on Applied Computing (SAC '06)</em>.
        
                Pages 209&#x2013;216.
            ACM Press.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2006-abstract.html">
			Details <span class="sr-only" > about <em> On tracker attacks in health grids  </em></span> </a> |
			<a href="/publications/publication2006.bib">
			BibTeX  <span class="sr-only" > data for <em> On tracker attacks in health grids  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[29] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards a fully generic theory of data </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;A. Creager and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM 2006)</em>.
        
            Vol. 4260
                of Lecture Notes in Computer Science.
        
                Pages 304&#x2013;323.
            Springer.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2058-abstract.html">
			Details <span class="sr-only" > about <em> Towards a fully generic theory of data  </em></span> </a> |
			<a href="/publications/publication2058.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards a fully generic theory of data  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[30] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The utilisation of clinical data in research health grids: eDiaMoND as a case study </strong> </p>
	    <p class="publicationAuthors"> <em> S. Lloyd and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of HealthCare 2006</em>.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2040-abstract.html">
			Details <span class="sr-only" > about <em> The utilisation of clinical data in research health grids: eDiaMoND as a case study  </em></span> </a> |
			<a href="/publications/publication2040.bib">
			BibTeX  <span class="sr-only" > data for <em> The utilisation of clinical data in research health grids: eDiaMoND as a case study  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[31] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The challenges of developing a collaborative data and compute grid for Neurosciences </strong> </p>
	    <p class="publicationAuthors"> <em> J. Geddes&#x201a; C. Mackay&#x201a; S. Lloyd&#x201a; A. C. Simpson&#x201a; D. J. Power&#x201a; D. Russell&#x201a; M. Katzarova&#x201a; M. Rossor&#x201a; N. Fox&#x201a; J. Fletcher&#x201a; D. Hill&#x201a; K. McLeish&#x201a; J. V. Hajnal&#x201a; S. Lawrie&#x201a; D. Job&#x201a; A. McIntosh&#x201a; J. Wardlaw&#x201a; P. Sandercocka&#x201a; J. Palmer&#x201a; D. Perry&#x201a; R. Procter&#x201a; J. Ure&#x201a; P. Bath and G. Watson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 19th IEEE Symposium on Computer Based Medical Systems (CBMS 2006)</em>.
        
                Pages 81&#x2013;86.
            IEEE Computer Society Press.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2049-abstract.html">
			Details <span class="sr-only" > about <em> The challenges of developing a collaborative data and compute grid for Neurosciences  </em></span> </a> |
			<a href="/publications/publication2049.bib">
			BibTeX  <span class="sr-only" > data for <em> The challenges of developing a collaborative data and compute grid for Neurosciences  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[32] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Logic&#x201a; damned logic&#x201a; and statistics </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Teaching Formal Methods 2006</em>.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2019-abstract.html">
			Details <span class="sr-only" > about <em> Logic&#x201a; damned logic&#x201a; and statistics  </em></span> </a> |
			<a href="/publications/publication2019.bib">
			BibTeX  <span class="sr-only" > data for <em> Logic&#x201a; damned logic&#x201a; and statistics  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[33] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Delegation in a distributed healthcare context: a survey of current approaches </strong> </p>
	    <p class="publicationAuthors"> <em> M.&#xa0;Katzarova and A.&#xa0;C.&#xa0;Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 9th Information Security Conference 2006</em>.
        
            Vol. 4176
                of Lecture Notes in Computer Science.
        
                Pages 517&#x2013;529.
            Springer.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2046-abstract.html">
			Details <span class="sr-only" > about <em> Delegation in a distributed healthcare context: a survey of current approaches  </em></span> </a> |
			<a href="/publications/publication2046.bib">
			BibTeX  <span class="sr-only" > data for <em> Delegation in a distributed healthcare context: a survey of current approaches  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[34] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care </strong> </p>
	    <p class="publicationAuthors"> <em> M. A. Slaymaker&#x201a; A. C. Simpson&#x201a; J. M. Brady&#x201a; D. J. Gavaghan&#x201a; F. Reddington and P. Quirke  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the IEEE Symposium on Computer Based Medical Systems</em>.
        IEEE Computer Society Press.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1994-abstract.html">
			Details <span class="sr-only" > about <em> A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care  </em></span> </a> |
			<a href="/publications/publication1994.bib">
			BibTeX  <span class="sr-only" > data for <em> A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[35] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A fully generic&#x201a; graph&#x2212;based approach to data transformation discovery </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;A. Creager and A.&#xa0;C.&#xa0;Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of GMC (Graph Computation Models) 2006</em>.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2057-abstract.html">
			Details <span class="sr-only" > about <em> A fully generic&#x201a; graph&#x2212;based approach to data transformation discovery  </em></span> </a> |
			<a href="/publications/publication2057.bib">
			BibTeX  <span class="sr-only" > data for <em> A fully generic&#x201a; graph&#x2212;based approach to data transformation discovery  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[36] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            VRE for the Integrative Biology research consortium </strong> </p>
	    <p class="publicationAuthors"> <em> M.&#xa0;J. Dovey&#x201a; M. Mascord&#x201a; D.&#xa0;J. Gavaghan&#x201a; S. Lloyd&#x201a; A.&#xa0;C. Simpson&#x201a; G. Williams and D. Mac Randal  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2005 UK e&#x2212;Science All Hands Meeting</em>.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2055-abstract.html">
			Details <span class="sr-only" > about <em> VRE for the Integrative Biology research consortium  </em></span> </a> |
			<a href="/publications/publication2055.bib">
			BibTeX  <span class="sr-only" > data for <em> VRE for the Integrative Biology research consortium  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[37] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            NeuroGrid: using grid technology to advance neuroscience </strong> </p>
	    <p class="publicationAuthors"> <em> J. Geddes&#x201a; S. Lloyd&#x201a; A.&#xa0;C. Simpson&#x201a; M. Rossor&#x201a; N. Fox&#x201a; D. Hill&#x201a; J.&#xa0;V. Hajnal&#x201a; S. Lawrie&#x201a; A. McIntosh&#x201a; E. Johnstone&#x201a; J. Wardlaw&#x201a; D. Perry&#x201a; R. Procter&#x201a; P. Bath and E. Bullimore  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 18th IEEE Symposium on Computer&#x2212;Based Medical Systems</em>.
        
                Pages 570&#x2013;573.
            IEEE Computer Society Press.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2051-abstract.html">
			Details <span class="sr-only" > about <em> NeuroGrid: using grid technology to advance neuroscience  </em></span> </a> |
			<a href="/publications/publication2051.bib">
			BibTeX  <span class="sr-only" > data for <em> NeuroGrid: using grid technology to advance neuroscience  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[38] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            NeuroGrid: collaborative neuroscience via grid computing </strong> </p>
	    <p class="publicationAuthors"> <em> J. Geddes&#x201a; S. Lloyd&#x201a; A.&#xa0;C. Simpson&#x201a; M. Rossor&#x201a; N. Fox&#x201a; D. Hill&#x201a; J. Hajnal&#x201a; S. Lawrie&#x201a; A. McIntosh&#x201a; E. Johnstone&#x201a; J. Wardlaw&#x201a; D. Perry&#x201a; R. Procter&#x201a; P. Bath and E. Bullimore  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2005 UK e&#x2212;Science All Hands Meeting</em>.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2050-abstract.html">
			Details <span class="sr-only" > about <em> NeuroGrid: collaborative neuroscience via grid computing  </em></span> </a> |
			<a href="/publications/publication2050.bib">
			BibTeX  <span class="sr-only" > data for <em> NeuroGrid: collaborative neuroscience via grid computing  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[39] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            GIMI: Generic Infrastructure for Medical Informatics </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker and E.&#xa0;A. Politou  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 18th IEEE Symposium on Computer&#x2212;Based Medical Systems (CBMS 2005)</em>.
        
                Pages 564&#x2013;566.
            IEEE Computer Society Press.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2005-abstract.html">
			Details <span class="sr-only" > about <em> GIMI: Generic Infrastructure for Medical Informatics  </em></span> </a> |
			<a href="/publications/publication2005.bib">
			BibTeX  <span class="sr-only" > data for <em> GIMI: Generic Infrastructure for Medical Informatics  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[40] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards fine&#x2212;grained access control in health grids </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker and E.&#xa0;A. Politou  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the Ottawa Workshop on New Challenges in Access Control</em>.
        April,
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2004-abstract.html">
			Details <span class="sr-only" > about <em> Towards fine&#x2212;grained access control in health grids  </em></span> </a> |
			<a href="/publications/publication2004.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards fine&#x2212;grained access control in health grids  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[41] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Integrative Biology Infrastructure </strong> </p>
	    <p class="publicationAuthors"> <em> D. Mac Randal&#x201a; L. Sastry&#x201a; D. Hanlon&#x201a; D.&#xa0;J. Gavaghan&#x201a; S. Lloyd and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2005 UK e&#x2212;Science All Hands Meeting</em>.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2035-abstract.html">
			Details <span class="sr-only" > about <em> The Integrative Biology Infrastructure  </em></span> </a> |
			<a href="/publications/publication2035.bib">
			BibTeX  <span class="sr-only" > data for <em> The Integrative Biology Infrastructure  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[42] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Protecting Sensitive Patient Data via Query Modification </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker&#x201a; E.&#xa0;A. Politou and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 20th ACM Symposium on Applied Computing</em>.
        
                Pages 224&#x2212;230.
            March,
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2024-abstract.html">
			Details <span class="sr-only" > about <em> Protecting Sensitive Patient Data via Query Modification  </em></span> </a> |
			<a href="/publications/publication2024.bib">
			BibTeX  <span class="sr-only" > data for <em> Protecting Sensitive Patient Data via Query Modification  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[43] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On XACML&#x201a; role&#x2212;based access control&#x201a; and health grids </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker&#x201a; E.&#xa0;A. Politou and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2005 UK e&#x2212;Science All Hands Meeting</em>.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2023-abstract.html">
			Details <span class="sr-only" > about <em> On XACML&#x201a; role&#x2212;based access control&#x201a; and health grids  </em></span> </a> |
			<a href="/publications/publication2023.bib">
			BibTeX  <span class="sr-only" > data for <em> On XACML&#x201a; role&#x2212;based access control&#x201a; and health grids  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[44] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On deducibility and anonymisation in medical databases </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In W. Jonker and M. Petkovic, editors,
             
            <em>
            Proceedings of Secure Data Management 2005</em>.
        
            Vol. 3674
                of Lecture Notes in Computer Science.
        
                Pages 170&#x2013;184.
            Springer.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2020-abstract.html">
			Details <span class="sr-only" > about <em> On deducibility and anonymisation in medical databases  </em></span> </a> |
			<a href="/publications/publication2020.bib">
			BibTeX  <span class="sr-only" > data for <em> On deducibility and anonymisation in medical databases  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[45] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Managing collaborative expertise: issues and challenges </strong> </p>
	    <p class="publicationAuthors"> <em> I. Kinti&#x201a; S. Lloyd&#x201a; A.&#xa0;C. Simpson and G. Hayward  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of OKLC 2005&#x201a; Boston&#x201a; MA</em>.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2045-abstract.html">
			Details <span class="sr-only" > about <em> Managing collaborative expertise: issues and challenges  </em></span> </a> |
			<a href="/publications/publication2045.bib">
			BibTeX  <span class="sr-only" > data for <em> Managing collaborative expertise: issues and challenges  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[46] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Exploitation of switched lightpaths for e&#x2212;health </strong> </p>
	    <p class="publicationAuthors"> <em> L. Momtahan and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2005 UK e&#x2212;Science All Hands Meeting</em>.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2030-abstract.html">
			Details <span class="sr-only" > about <em> Exploitation of switched lightpaths for e&#x2212;health  </em></span> </a> |
			<a href="/publications/publication2030.bib">
			BibTeX  <span class="sr-only" > data for <em> Exploitation of switched lightpaths for e&#x2212;health  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[47] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A secure wrapper for OGSA&#x2212;DAI </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker&#x201a; E.&#xa0;A. Politou and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the European Grid Conference&#x201a; 2005</em>.
        
            Vol. 3470
                of Lecture Notes in Computer Science.
        
                Pages 485&#x2013;494.
            Springer.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2022-abstract.html">
			Details <span class="sr-only" > about <em> A secure wrapper for OGSA&#x2212;DAI  </em></span> </a> |
			<a href="/publications/publication2022.bib">
			BibTeX  <span class="sr-only" > data for <em> A secure wrapper for OGSA&#x2212;DAI  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[48] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            eDiaMoND: the UK's national digital mammography database </strong> </p>
	    <p class="publicationAuthors"> <em> J.&#xa0;M. Brady&#x201a; F. Gilbert&#x201a; S. Lloyd&#x201a; M. Jirotka&#x201a; D.&#xa0;J. Gavaghan&#x201a; A.&#xa0;C. Simpson&#x201a; R.&#xa0;P. Highnam&#x201a; T. Bowles&#x201a; D. Schottlander&#x201a; D. McCabe&#x201a; D. Watson&#x201a; B. Collins&#x201a; J. Williams&#x201a; A. Knox&#x201a; M. Oevers and P. Taylor  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of IWDM 2004</em>.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2062-abstract.html">
			Details <span class="sr-only" > about <em> eDiaMoND: the UK's national digital mammography database  </em></span> </a> |
			<a href="/publications/publication2062.bib">
			BibTeX  <span class="sr-only" > data for <em> eDiaMoND: the UK's national digital mammography database  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[49] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Integrative Biology: exploiting e&#x2212;Science to combat fatal diseases </strong> </p>
	    <p class="publicationAuthors"> <em> D.J. Gavaghan&#x201a; S. Lloyd&#x201a; D.&#xa0;R.&#xa0;S. Boyd&#x201a; P.&#xa0;W. Jeffreys&#x201a; A.&#xa0;C. Simpson&#x201a; D.&#xa0;F. Mac Randal&#x201a; L. Sastry and K. Kleese van Dam  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2004 UK e&#x2212;Science All Hands Meeting</em>.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2053-abstract.html">
			Details <span class="sr-only" > about <em> Integrative Biology: exploiting e&#x2212;Science to combat fatal diseases  </em></span> </a> |
			<a href="/publications/publication2053.bib">
			BibTeX  <span class="sr-only" > data for <em> Integrative Biology: exploiting e&#x2212;Science to combat fatal diseases  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[50] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            eDiaMoND: risk analysis </strong> </p>
	    <p class="publicationAuthors"> <em> M.&#xa0;A. Slaymaker&#x201a; E.&#xa0;A. Politou&#x201a; D.&#xa0;J. Power&#x201a; S. Lloyd and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of HealthGrid 2004&#x201a; Claremont&#x201a; France</em>.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1997-abstract.html">
			Details <span class="sr-only" > about <em> eDiaMoND: risk analysis  </em></span> </a> |
			<a href="/publications/publication1997.bib">
			BibTeX  <span class="sr-only" > data for <em> eDiaMoND: risk analysis  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[51] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            eDiaMoND: challenges for the e&#x2212;scientist in the e&#x2212;health domain </strong> </p>
	    <p class="publicationAuthors"> <em> S. Lloyd&#x201a; A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Gavaghan and J.&#xa0;M. Brady  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2004 UK e&#x2212;Science All Hands Meeting</em>.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2038-abstract.html">
			Details <span class="sr-only" > about <em> eDiaMoND: challenges for the e&#x2212;scientist in the e&#x2212;health domain  </em></span> </a> |
			<a href="/publications/publication2038.bib">
			BibTeX  <span class="sr-only" > data for <em> eDiaMoND: challenges for the e&#x2212;scientist in the e&#x2212;health domain  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[52] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Teaching Formal Methods in Context </strong> </p>
	    <p class="publicationAuthors"> <em> J.&#xa0;W. Davies&#x201a; A.&#xa0;C. Simpson and A.&#xa0;P. Martin  </em> </p>
	
	<p class="publicationDetails"> 
            In C.&#xa0;N. Dean and R.&#xa0;F. Boute, editors,
             
            <em>
            Proceedings of CoLogNet / Formal Methods Europe Symposium on Teaching Formal Methods 2004</em>.
        
            Vol. 3294
                of Lecture Notes in Computer Science.
        
                Pages 186&#x2013;202.
            Springer.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2056-abstract.html">
			Details <span class="sr-only" > about <em> Teaching Formal Methods in Context  </em></span> </a> |
			<a href="/publications/publication2056.bib">
			BibTeX  <span class="sr-only" > data for <em> Teaching Formal Methods in Context  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[53] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Security principles for public&#x2212;resource modeling research </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;A. Stainforth&#x201a; A.&#xa0;P. Martin&#x201a; A.&#xa0;C. Simpson&#x201a; C.&#xa0;A. Christensen&#x201a; J. Kettleborough&#x201a; T. Aina and M.&#xa0;R. Allen  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the IEEE International Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE&#x2212;2004)</em>.
        
                Pages 319&#x2013;324.
            2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1993-abstract.html">
			Details <span class="sr-only" > about <em> Security principles for public&#x2212;resource modeling research  </em></span> </a> |
			<a href="/publications/publication1993.bib">
			BibTeX  <span class="sr-only" > data for <em> Security principles for public&#x2212;resource modeling research  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[54] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Security aspects of grid&#x2212;based digital mammography </strong> </p>
	    <p class="publicationAuthors"> <em> M.&#xa0;A. Slaymaker&#x201a; E.&#xa0;A. Politou&#x201a; D.&#xa0;J. Power&#x201a; S. Lloyd and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of HealthGrid 2004&#x201a; Claremont&#x201a; France</em>.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1998-abstract.html">
			Details <span class="sr-only" > about <em> Security aspects of grid&#x2212;based digital mammography  </em></span> </a> |
			<a href="/publications/publication1998.bib">
			BibTeX  <span class="sr-only" > data for <em> Security aspects of grid&#x2212;based digital mammography  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[55] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            e&#x2212;health security issues: the eDiaMoND perspective </strong> </p>
	    <p class="publicationAuthors"> <em> M.&#xa0;A. Slaymaker&#x201a; E.&#xa0;A. Politou&#x201a; D.&#xa0;J. Power and S. Lloyd  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2004 UK e&#x2212;Science All Hands Meeting</em>.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2000-abstract.html">
			Details <span class="sr-only" > about <em> e&#x2212;health security issues: the eDiaMoND perspective  </em></span> </a> |
			<a href="/publications/publication2000.bib">
			BibTeX  <span class="sr-only" > data for <em> e&#x2212;health security issues: the eDiaMoND perspective  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[56] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Digital mammography: a world without film? </strong> </p>
	    <p class="publicationAuthors"> <em> S. Lloyd&#x201a; M. Jirotka&#x201a; A.&#xa0;C. Simpson&#x201a; R.&#xa0;P. Highnam&#x201a; D.&#xa0;J. Gavaghan&#x201a; D. Watson and J.&#xa0;M. Brady  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of HealthGrid 2004&#x201a; Claremont&#x201a; France</em>.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2041-abstract.html">
			Details <span class="sr-only" > about <em> Digital mammography: a world without film?  </em></span> </a> |
			<a href="/publications/publication2041.bib">
			BibTeX  <span class="sr-only" > data for <em> Digital mammography: a world without film?  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[57] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            An Approach to the Storage of DICOM files for Grid&#x2212;Enabled Medical Imaging Databases </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Power&#x201a; E.&#xa0;A. Politou&#x201a; M.&#xa0;A. Slaymaker&#x201a; S. Harris and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 19th ACM Symposium on Applied Computing</em>.
        
                Pages 272&#x2013;279.
            2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2027-abstract.html">
			Details <span class="sr-only" > about <em> An Approach to the Storage of DICOM files for Grid&#x2212;Enabled Medical Imaging Databases  </em></span> </a> |
			<a href="/publications/publication2027.bib">
			BibTeX  <span class="sr-only" > data for <em> An Approach to the Storage of DICOM files for Grid&#x2212;Enabled Medical Imaging Databases  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[58] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A vision for secure grid&#x2212;enabled healthcare </strong> </p>
	    <p class="publicationAuthors"> <em> M.&#xa0;A. Slaymaker&#x201a; D.&#xa0;J Power&#x201a; E.&#xa0;A. Politou and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Workshop on Grid Security Practice and Experience</em>.
        Technical Report YCS&#x2212;2004&#x2212;380&#x201a; University of York.
        June,
            2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1996-abstract.html">
			Details <span class="sr-only" > about <em> A vision for secure grid&#x2212;enabled healthcare  </em></span> </a> |
			<a href="/publications/publication1996.bib">
			BibTeX  <span class="sr-only" > data for <em> A vision for secure grid&#x2212;enabled healthcare  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[59] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Tool for Checking ANSI&#x2212;C Programs </strong> </p>
	    <p class="publicationAuthors"> <em> Edmund Clarke&#x201a; Daniel Kroening and Flavio Lerda  </em> </p>
	
	<p class="publicationDetails"> 
            In Kurt Jensen and Andreas Podelski, editors,
             
            <em>
            Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)</em>.
        
            Vol. 2988
                of Lecture Notes in Computer Science.
        
                Pages 168&#x2013;176.
            Springer.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication740-abstract.html">
			Details <span class="sr-only" > about <em> A Tool for Checking ANSI&#x2212;C Programs  </em></span> </a> |
			<a href="/publications/publication740.bib">
			BibTeX  <span class="sr-only" > data for <em> A Tool for Checking ANSI&#x2212;C Programs  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[60] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Supplementing the understanding of Z: a formal approach to database design </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson and A.&#xa0;P. Martin  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the BCS Teaching Formal Methods workshop</em>.
        BCS.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2009-abstract.html">
			Details <span class="sr-only" > about <em> Supplementing the understanding of Z: a formal approach to database design  </em></span> </a> |
			<a href="/publications/publication2009.bib">
			BibTeX  <span class="sr-only" > data for <em> Supplementing the understanding of Z: a formal approach to database design  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[61] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the supervision and assessment of part&#x2212;time postgraduate software engineering projects </strong> </p>
	    <p class="publicationAuthors"> <em> A&#xa0;C. Simpson&#x201a; A.&#xa0;P. Martin&#x201a; J. Gibbons&#x201a; J.&#xa0;W. Davies and S.&#xa0;W. McKeever  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 25th International Conference on Software Engineering (ICSE)&#x201a; Portland&#x201a; Oregon&#x201a; 3&#x2013;10 May&#x201a; 2003</em>.
        
                Pages 628&#x2013;633.
            IEEE Computer Society Press.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2008-abstract.html">
			Details <span class="sr-only" > about <em> On the supervision and assessment of part&#x2212;time postgraduate software engineering projects  </em></span> </a> |
			<a href="/publications/publication2008.bib">
			BibTeX  <span class="sr-only" > data for <em> On the supervision and assessment of part&#x2212;time postgraduate software engineering projects  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[62] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Grid computing for digital mammography </strong> </p>
	    <p class="publicationAuthors"> <em> J.&#xa0;M. Brady&#x201a; D.&#xa0;J. Gavaghan&#x201a; R.&#xa0;P. Highnam&#x201a; A. Knox&#x201a; S. Lloyd&#x201a; A.&#xa0;C. Simpson and D. Watson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2003 UK e&#x2212;Science All Hands Meeting</em>.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2065-abstract.html">
			Details <span class="sr-only" > about <em> Grid computing for digital mammography  </em></span> </a> |
			<a href="/publications/publication2065.bib">
			BibTeX  <span class="sr-only" > data for <em> Grid computing for digital mammography  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[63] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            An approach to the storage of DICOM files for grid&#x2212;enabled medical imaging databases </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Power&#x201a; E.&#xa0;A. Politou&#x201a; M.&#xa0;A. Slaymaker&#x201a; S. Harris and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2003 UK e&#x2212;Science All Hands Meeting</em>.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2028-abstract.html">
			Details <span class="sr-only" > about <em> An approach to the storage of DICOM files for grid&#x2212;enabled medical imaging databases  </em></span> </a> |
			<a href="/publications/publication2028.bib">
			BibTeX  <span class="sr-only" > data for <em> An approach to the storage of DICOM files for grid&#x2212;enabled medical imaging databases  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[64] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            eDiamond: Digital Mammography </strong> </p>
	    <p class="publicationAuthors"> <em> J.&#xa0;M. Brady&#x201a; D.&#xa0;J. Gavaghan&#x201a; R.&#xa0;P. Highnam&#x201a; M. Mulet&#x2212;Parada and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2002 UK e&#x2212;Science All Hands Conference</em>.
        2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2064-abstract.html">
			Details <span class="sr-only" > about <em> eDiamond: Digital Mammography  </em></span> </a> |
			<a href="/publications/publication2064.bib">
			BibTeX  <span class="sr-only" > data for <em> eDiamond: Digital Mammography  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[65] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Climate<em>prediction</em>.net: design principles for public resource modelling research </strong> </p>
	    <p class="publicationAuthors"> <em> D. Stainforth&#x201a; J. Kettleborough&#x201a; A.&#xa0;P. Martin&#x201a; A.&#xa0;C. Simpson&#x201a; R. Gillis&#x201a; A. Akkas&#x201a; R. Gault&#x201a; M. Collins&#x201a; D.&#xa0;J. Gavaghan and M. Allen  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proc. 14th IASTED conference on parallel and distributed computing systems.</em>.
        2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1991-abstract.html">
			Details <span class="sr-only" > about <em> Climate<em>prediction</em>.net: design principles for public resource modelling research  </em></span> </a> |
			<a href="/publications/publication1991.bib">
			BibTeX  <span class="sr-only" > data for <em> Climate<em>prediction</em>.net: design principles for public resource modelling research  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[66] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            climate<em>prediction</em>.com: security and design planning </strong> </p>
	    <p class="publicationAuthors"> <em> D. Stainforth&#x201a; J.&#xa0;A. Kettleborough&#x201a; A.&#xa0;P. Martin&#x201a; A.&#xa0;C. Simpson&#x201a; A.&#xa0;P. Martin&#x201a; R. Gillis&#x201a; A. Akkas&#x201a; R. Gault&#x201a; M. Collins&#x201a; D.&#xa0;J. Gavaghan and M. Allen  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2002 UK e&#x2212;Science All Hands Meeting</em>.
        2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1992-abstract.html">
			Details <span class="sr-only" > about <em> climate<em>prediction</em>.com: security and design planning  </em></span> </a> |
			<a href="/publications/publication1992.bib">
			BibTeX  <span class="sr-only" > data for <em> climate<em>prediction</em>.com: security and design planning  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Theses
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Stratagems for Effective Function Evaluation in Computational Chemistry </strong> </p>
	    <p class="publicationAuthors"> <em> G.S. Skone  </em> </p>
	
	<p class="publicationDetails">  PhD Thesis 2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3586-abstract.html">
			Details <span class="sr-only" > about <em> Stratagems for Effective Function Evaluation in Computational Chemistry  </em></span> </a> |
			<a href="/publications/publication3586.bib">
			BibTeX  <span class="sr-only" > data for <em> Stratagems for Effective Function Evaluation in Computational Chemistry  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/3050/Thesis.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Stratagems for Effective Function Evaluation in Computational Chemistry  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Miscellaneous
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Machine Learning and Software Engineering in Health Informatics </strong> </p>
	    <p class="publicationAuthors"> <em> David A. Clifton&#x201a; Jeremy Gibbons&#x201a; Jim Davies and Lionel Tarassenko  </em> </p>
	
	<p class="publicationDetails"> May,
            2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5931-abstract.html">
			Details <span class="sr-only" > about <em> Machine Learning and Software Engineering in Health Informatics  </em></span> </a> |
			<a href="/publications/publication5931.bib">
			BibTeX  <span class="sr-only" > data for <em> Machine Learning and Software Engineering in Health Informatics  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/RAISE.2012.6227968">
		DOI (10.1109/RAISE.2012.6227968)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/ml-se-hi.pdf"> Download (pdf)  <span class="sr-only" > of <em> Machine Learning and Software Engineering in Health Informatics  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col">[an error occurred while processing this directive]</div></div></div>[an error occurred while processing this directive]