Elliot Fairweather
Elliot Fairweather
Research Fellow, King's College London
Verified email at kcl.ac.uk - Homepage
TitleCited byYear
Templates as a Method for Implementing Data Provenance in Decision Support Systems
V Curcin, E Fairweather, R Danger, D Corrigan
Journal of Biomedical Informatics, 2016
Dependent Types for Nominal Terms with Atom Substitutions
E Fairweather, M Fernández, N Szasz, A Tasistro
13th International Conference on Typed Lambda Calculi and Applications 38, 2015
Principal Types for Nominal Theories
E Fairweather, M Fernández, MJ Gabbay
18th International Symposium on Fundamentals of Computation Theory 6914, 2011
Application of data provenance in healthcare analytics software: information visualisation of user activities
S Xu, T Rogers, E Fairweather, A Glenn, J Curran, V Curcin
AMIA Summits on Translational Science Proceedings 2018, 263, 2018
Type Systems for Nominal Terms
E Fairweather
King's College London, 2014
Typed Nominal Rewriting
E Fairweather, M Fernández
ACM Transactions on Computational Logic (TOCL) 19 (1), 6, 2018
Implementing Data Provenance in Health Data Analytics Software
S Xu, E Fairweather, T Rogers, V Curcin
International Provenance and Annotation Workshop, 173-176, 2018
Simulated Domain-Specific Provenance
P Alper, E Fairweather, V Curcin
International Provenance and Annotation Workshop, 71-83, 2018
Architecture for Template-Driven Provenance Recording
E Fairweather, P Alper, T Porat, V Curcin
International Provenance and Annotation Workshop, 217-221, 2018
The system can't perform the operation now. Try again later.
Articles 1–9