@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 = "2014",
  journal = "Science of Computer Programming",
  month = "September",
  pages = "126-143",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/cancergrid.pdf",
  volume = "89B",
  doi = "10.1016/j.scico.2013.02.010",
}
@article{Abler2011,
  title = "Models for Forms",
  author = "Daniel Abler and Charles Crichton and Jim Davies and Steve Harris and James Welch",
  year = "2011",
  booktitle = "Proceedings of the 11th Workshop on Domain-Specific Modeling",
  month = "October",
  url = "http://www.dsmforum.org/events/DSM11/",
}
@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",
  pages = "21-38",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fff.pdf",
  volume = "7151",
  doi = "10.1007/978-3-642-32355-3_2",
}
@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",
}
@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",
}
@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",
  doi = "10.1109/SEHC.2009.5069600",
}
@inproceedings{Crichton*2009:Semantics,
  title = "Semantics-Driven Development for Electronic Government Applications",
  author = "Charles Crichton and Jim Davies and Jeremy Gibbons and Steve Harris and Aadya Shukla and Andrew Tsui",
  year = "2009",
  address = "Hawaii",
  booktitle = "HICSS (Electronic Government Track)",
  month = "January",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/hicss-sdd.pdf",
  doi = "10.1109/HICSS.2009.384",
}
@inproceedings{ICEGOV2008STEG,
  title = "Semantic Technologies in Electronic Government",
  author = "Steve Harris and Jeremy Gibbons and Jim Davies and Andrew Tsui and Charles Crichton",
  year = "2008",
  address = "Cairo",
  booktitle = "ICEGOV 2008",
  editor = "Tomasz Janowski and Teresa Pardo",
  month = "December",
  pages = "45 -- 51",
  publisher = "ACM Press",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/semantech-egov.pdf",
  doi = "10.1145/1509096.1509108",
}
@inproceedings{Davies*2008:Metadata,
  title = "Metadata Standards for Semantic Interoperability in Electronic Government",
  author = "Jim Davies and Steve Harris and Charles Crichton and Aadya Shukla and Jeremy Gibbons",
  year = "2008",
  address = "Cairo",
  booktitle = "International Conference on Theory and Practice of Electronic Governance",
  month = "December",
  note = "Received a Best Paper Award",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/metadata-egov.pdf",
}
@inproceedings{DBLP:conf/icegov/CrichtonDGHS07,
  title = "Semantic Frameworks for e-Government",
  author = "Charles Crichton and Jim Davies and Jeremy Gibbons and Steve Harris and Aadya Shukla",
  year = "2007",
  booktitle = "First International Conference on Theory and Practice of Electronic Governance (ICEGOV) 2007",
  editor = "Theresa Pardo and Tomasz Janowski",
  month = "dec",
  pages = "30--39",
  publisher = "ACM",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/sf-egov.pdf",
  doi = "10.1145/1328057.1328066",
}
@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",
}
@article{DBLP:journals/infsof/Cavarra,
  title = "A Method for the Automatic Generation of Test Suites from Object Models",
  author = "Alessandra Cavarra and Charles Crichton and Jim Davies",
  year = "2004",
  journal = "Information {\&} Software Technology",
  number = "5",
  pages = "309-314",
  volume = "46",
  doi = "10.1016/j.infsof.2003.09.004",
}
@article{DBLP:journals/fac/DaviesC03,
  title = "Concurrency and Refinement in the Unified Modeling Language",
  author = "Jim Davies and Charles Crichton",
  year = "2003",
  journal = "Formal Aspects of Computing",
  number = "2-3",
  pages = "118-145",
  publisher = "Springer London",
  volume = "15",
  doi = "10.1007/s00165-003-0008-3",
}
@inproceedings{DBLP:conf/icfem/DaviesC03,
  title = "Using State Diagrams to Describe Concurrent Behaviour",
  author = "Jim Davies and Charles Crichton",
  year = "2003",
  booktitle = "5th International Conference on Formal Engineering Methods, ICFEM 2003",
  copyright = "2003",
  crossref = "DBLP:conf/icfem/2003",
  editor = "Jin Song Dong and Jim Woodcock",
  isbn = "978-3-540-20461-9",
  issn = "1611-3349",
  pages = "105-124",
  publisher = "Springer Berlin / Heidelberg",
  volume = "2885/2003",
  doi = "10.1007/b94115",
}
@inproceedings{DBLP:conf/sac/DaviesCC03,
  title = "A Method for the Automatic Generation of Test Suites from Object Models",
  author = "Jim Davies and Charles Crichton and Alessandra Cavarra",
  year = "2003",
  booktitle = "Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA",
  crossref = "DBLP:conf/sac/2003",
  pages = "1104-1109",
  publisher = "ACM",
  doi = "10.1145/952532.952748",
}
@article{DBLP:journals/entcs/DaviesC02,
  title = "Concurrency and Refinement in the Unified Modeling Language",
  author = "Jim Davies and Charles Crichton",
  year = "2002",
  booktitle = "REFINE 2002, The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002)",
  journal = "Electronic Notes in Theoretical Computer Science",
  number = "3",
  pages = "217-243",
  volume = "70",
  doi = "10.1016/S1571-0661(05)80494-3",
}
@inproceedings{Crichton*1999:When,
  title = "When to Trust Mobile Objects: Access Control in the {J}ini Software System",
  author = "Charles Crichton and Jim Davies and Jim Woodcock",
  year = "1999",
  booktitle = "Proceedings of TOOLS",
  doi = "10.1109/TOOLS.1999.787541",
}