@article{cancergrid,
  title = "The CancerGrid Experience: Metadata-Based Model-Driven Engineering for Clinical Trials",
  author = "Jim Davies and Jeremy Gibbons and Steve Harris and Charles Crichton",
  year = "2012",
  month = "March",
  note = "Submitted for publication",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/cancergrid.pdf",
}
@inproceedings{fff,
  title = "Form Follows Function: Model-Driven Engineering for Clinical Trials",
  author = "Jim Davies and Jeremy Gibbons and Radu Calinescu and Charles Crichton and Steve Harris and Andrew Tsui",
  year = "2011",
  booktitle = "International Symposium on Foundations of Health Information Engineering and Systems",
  month = "August",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fff.pdf",
}
@inproceedings{Davies&Gibbons2010:Semantic,
  title = "Semantic Frameworks: Meanings in the Architecture",
  author = "Jim Davies and Jeremy Gibbons",
  year = "2010",
  booktitle = "Distributed Computing and Internet Technology",
  pages = "40-54",
  series = "LNCS",
  volume = "5966",
  doi = "10.1007/978-3-642-11659-9_4",
}
@misc{imagescorer,
  title = "Deep Zoom and Touch Screen for Tissue Microarray Image Scoring",
  author = "Charles Crichton and Jim Davies and Jeremy Gibbons and Andrew Tsui and James Brenton and Carlos Caldas and Lorna Morris",
  year = "2010",
  howpublished = "Poster at Microsoft External Research Symposium",
}
@article{Crichton*2009:Model,
  title = "Metadata-Driven Software for Clinical Trials",
  author = "Charles Crichton and Jim Davies and Jeremy Gibbons and Steve Harris and Andrew Tsui and James Brenton",
  year = "2009",
  booktitle = "ICSE Workshop on Software Engineering and Health Care",
  month = "May",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/consort.pdf",
}
@inproceedings{wang2009,
  title = "Checking Model Consistency using Data-Flow Testing",
  author = "Chen-Wei Wang and Alessandra Cavarra",
  year = "2009",
  booktitle = "Proceedings of APSEC'09: 16th Asia-Pacific Software Engineering Conference",
  publisher = "IEEE",
}
@inproceedings{pcm2009,
  title = "A metadata approach for clinical data management in translational genomics studies in breast cancer",
  author = "Irene Papatheodorou, Charles Crichton, Lorna Morris, Peter Maccallum, Molecular Taxonomy of Breast Cancer International Consortium METABRIC Group, Jim Davies, James D Brenton and Carlos Caldas",
  year = "2009",
  journal = "BMC Medical Genomics",
  volume = "2",
  doi = "10.1186/1755-8794-2-66",
}
@inproceedings{Davies*2009:Kathmandu,
  title = "Model-Driven Support for a Vaccine Study in Kathmandu",
  author = "Jim Davies and Jeremy Gibbons and Steve Harris and Jane Metz and Andrew J. Pollard and Matthew Snape",
  year = "2009",
  booktitle = "Microsoft eScience Workshop",
  month = "October",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/vaccines.pdf",
}
@article{sosym2008:davies,
  title = "Automatic Maintenance of Association Invariants",
  author = "James Welch and David Faitelson and Jim Davies",
  year = "2008",
  issn = "1619-1366",
  journal = "Software and Systems Modeling ",
  publisher = "Springer Berlin / Heidelberg",
  doi = "10.1007/s10270-008-0085-0",
}
@article{DBLP:journals/entcs/DaviesFW08,
  title = "Domain-specific Semantics and Data Refinement of Object Models",
  author = "Jim Davies and David Faitelson and James Welch",
  year = "2008",
  journal = "Electronic Notes in Theoretical Computer Science",
  pages = "151--170",
  volume = "195",
  doi = "10.1016/j.entcs.2007.08.031",
}
@inproceedings{Brenton*2008:Accelerating,
  title = "Accelerating Cancer Research Using Semantics-Driven Technology",
  author = "James Brenton and Jim Davies and Jeremy Gibbons and Steve Harris",
  year = "2008",
  address = "Indianapolis, IN",
  booktitle = "Microsoft eScience Workshop",
  month = "December",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/accelerating.pdf",
}
@inproceedings{Davies*2008:Evolving,
  title = "Evolving Health Informatics: Semantic Frameworks and Metadata-Driven Architectures",
  author = "Jim Davies and Jeremy Gibbons and Steve Harris and Denise Warzel",
  year = "2008",
  address = "Indianapolis, IN",
  booktitle = "Microsoft eScience Workshop",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/evolving.pdf",
}
@inproceedings{DBLP:journals/entcs/FaitelsonWD07,
  title = "From Predicates to Programs: The Semantics of a Method Language",
  author = "David Faitelson and James Welch and Jim Davies",
  year = "2007",
  booktitle = "Proceedings of SBMF 2005",
  journal = "Electronic Notes in Theoretical Computer Science",
  pages = "171--187",
  publisher = "Electronic Notes in Theoretical Computer Science",
  volume = "184",
  doi = "10.1016/j.entcs.2007.03.021",
}
@inproceedings{Calinescu*2007:Model,
  title = "Model-Driven Architecture for Cancer Research",
  author = "Radu Calinescu and Steve Harris and Jeremy Gibbons and Jim Davies and Igor Toujilov and Sylvia Nagl",
  year = "2007",
  booktitle = "Software Engineering and Formal Methods",
  month = "sep",
  pages = "59-68",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/cgmda.pdf",
  doi = "10.1109/SEFM.2007.26",
}
@inproceedings{Davies*2006:Generation,
  title = "On the Generation of Object Databases using {B}ooster",
  author = "Jim Davies and James Welch and Alessandra Cavarra and Edward Crichton",
  year = "2006",
  booktitle = "Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006)",
  publisher = "IEEE Computer Society",
  doi = "10.1109/ICECCS.2006.1690374",
}
@inproceedings{sbmf2006,
  title = "Domain-Specific Semantics and Data Refinement of Object Models",
  author = "Jim Davies and David Faitelson and James Welch",
  year = "2006",
  booktitle = "Brazilian Symposium on Formal Methods (SBMF)",
}
@article{DBLP:journals/entcs/DaviesCCNS05,
  title = "Formality, Evolution, and Model-driven Software Engineering.",
  author = "Jim Davies and Charles Crichton and Edward Crichton and David Neilson and Ib Holm S{\o}rensen",
  year = "2005",
  journal = "Electronic Notes in Theoretical Computer Science",
  pages = "39-55",
  volume = "130",
  doi = "10.1016/j.entcs.2005.03.004",
}
@inproceedings{Welch*2005:Automatic,
  title = "Automatic Maintenance of Association Invariants",
  author = "James Welch and David Faitelson and Jim Davies",
  year = "2005",
  booktitle = "Proceedings of Software Engineering and Formal Methods (SEFM) 2005",
  publisher = "IEEE Computer Society Press",
}