Information Modelling: Publications
Click here to download all publications in a single bibtex file
@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{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",
}
@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{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",
}
@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{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{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{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{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",
}