Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Data, Knowledge and Action
  4. activities
  5. Information Modelling
  6. Publications

Information Modelling: Publications

Click here to download all publications in a single bibtex file

@book{aligned,
  title = "Engineering Agile Big-Data Systems",
  author = "Kevin Feeney and Jim Davies and James Welch and Sebastian Hellmann and Christian Dirschl and Andreas Koller and Pieter Francois and Arkadiusz Marciniak",
  year = "2018",
  editor = "Kevin Feeney and Jim Davies and James Welch and Sebastian Hellmann and Christian Dirschl and Andreas Koller and Pieter Francois and Arkadiusz Marciniak",
  isbn = "9788770220163",
  url = "https://www.riverpublishers.com/research_details.php?book_id=659",
}
@inbook{lifecycle,
  title = "Software Project Management for Combined Software and Data Engineering",
  author = "Seyyed M. Shah and James Welch and Jim Davies and Jeremy Gibbons",
  year = "2017",
  booktitle = "Software Project Management for Distributed Computing: Life-Cycle Methods for Developing Scalable and Reliable Tools",
  editor = "Zaigham Mahmood",
  isbn = "978-3-319-54324-6",
  pages = "367-385",
  publisher = "Springer International Publishing",
  url = "https://sshah.co.uk/files/combined-software-data-engineering-shah-17.pdf",
  doi = "10.1007/978-3-319-54325-3_15",
}
@article{DAVIES201588,
  title = "Formal model-driven engineering of critical information systems",
  author = "Jim Davies and David Milward and Chen-Wei Wang and James Welch",
  year = "2015",
  issn = "0167-6423",
  journal = "Science of Computer Programming",
  keywords = "Model-driven engineering, Formal methods, Critical systems, Information systems, Data migration",
  pages = "88 - 113",
  volume = "103",
  doi = "10.1016/j.scico.2014.11.004",
}
@article{boosterExperience,
  title = "Model-driven Engineering of Information Systems: 10 years and 1000 versions",
  author = "Jim Davies and Jeremy Gibbons and James Welch and Edward Crichton",
  year = "2014",
  journal = "Science of Computer Programming",
  month = "September",
  pages = "88-104",
  volume = "89B",
  doi = "10.1016/j.scico.2013.02.002",
}
@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",
}
@inproceedings{DBLP:conf/sbmf/DaviesGMW12,
  title = "Compositionality and Refinement in Model-Driven Engineering",
  author = "Jim Davies and Jeremy Gibbons and David Milward and James Welch",
  year = "2012",
  booktitle = "Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012. Proceedings",
  editor = "Rohit Gheyi and David A. Naumann",
  isbn = "978-3-642-33295-1",
  pages = "99-114",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "7498",
  doi = "10.1007/978-3-642-33296-8_9",
}
@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",
}
@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",
  doi = "10.1109/SEHC.2009.5069600",
}
@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",
}
Back to Top