Elliot Fairweather

Dependent Types for a Nominal Logical Framework

Maribel Fernández, Elliot Fairweather, Nora Szasz, 2012 .

Nominal Dependent Types as a Logical Framework

Maribel Fernández, Elliot Fairweather, Nora Szasz, 2011 .

Application of Data Provenance in Healthcare Analytics Software: Information Visualisation of User Activities

Vasa Curcin, Toby Rogers, Elliot Fairweather, 2018, AMIA Joint Summits on Translational Science proceedings. AMIA Joint Summits on Translational Science.

Templates as a method for implementing data provenance in decision support systems

Vasa Curcin, Roxana Dánger Mercaderes, Derek Corrigan, 2017, J. Biomed. Informatics.

Non-repudiable provenance for clinical decision support systems pdf

Vasa Curcin, Petr Holub, Elliot Fairweather, 2020, IPAW.

ISO 23494: Biotechnology - Provenance Information Model for Biological Specimen And Data

Carole A. Goble, Stian Soiland-Reyes, Francesca Frexia, 2021, IPAW.