|Verification of cardiac tissue electrophysiology simulators using an N-version benchmark|
SA Niederer, E Kerfoot, AP Benson, MO Bernabeu, O Bernus, C Bradley, ...
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2011
|An automatic service for the personalization of ventricular cardiac meshes|
P Lamata, M Sinclair, E Kerfoot, A Lee, A Crozier, B Blazevic, S Land, ...
Journal of The Royal Society Interface 11 (91), 20131023, 2014
|Multiphysics Computational Modeling in |
J Lee, A Cookson, I Roy, E Kerfoot, L Asner, G Vigueras, T Sochi, ...
SIAM Journal on Scientific Computing 38 (3), C150-C178, 2016
|Share and enjoy: anatomical models database—generating and sharing cardiovascular model data using web services|
E Kerfoot, P Lamata, S Niederer, R Hose, J Spaan, N Smith
Medical & biological engineering & computing 51 (11), 1181-1190, 2013
|Non-invasive model-based assessment of passive left-ventricular myocardial stiffness in healthy subjects and in patients with non-ischemic dilated cardiomyopathy|
M Hadjicharalambous, L Asner, R Chabiniok, E Sammut, J Wong, ...
Annals of biomedical engineering 45 (3), 605-618, 2017
|Eidolon: visualization and computational framework for multi-modal biomedical data analysis|
E Kerfoot, L Fovargue, S Rivolo, W Shi, D Rueckert, D Nordsletten, J Lee, ...
International Conference on Medical Imaging and Augmented Reality, 425-437, 2016
|Deadlock freedom through object ownership|
E Kerfoot, S McKeever, F Torshizi
|Pacing in proximity to scar during cardiac resynchronization therapy increases local dispersion of repolarization and susceptibility to ventricular arrhythmogenesis|
CM Costa, A Neic, E Kerfoot, B Porter, B Sieniewicz, J Gould, B Sidhu, ...
Heart rhythm 16 (10), 1475-1483, 2019
|Left-ventricle quantification using residual U-Net|
E Kerfoot, J Clough, I Oksuz, J Lee, AP King, JA Schnabel
International Workshop on Statistical Atlases and Computational Models of …, 2018
|Automated Model− based Verification of Object− Oriented Code|
JS Ostroff, CW Wang, E Kerfoot, FA Torshizi
Microsoft Research MSR− TR− 2006− 117, 2006
|Automated CNN-based reconstruction of short-axis cardiac MR sequence from real-time image data|
E Kerfoot, EP Anton, B Ruijsink, J Clough, AP King, JA Schnabel
Image Analysis for Moving Organ, Breast, and Thoracic Images, 32-41, 2018
|Myocardial strain computed at multiple spatial scales from tagged magnetic resonance imaging: Estimating cardiac biomarkers for CRT patients|
M Sinclair, D Peressutti, E Puyol-Antón, W Bai, S Rivolo, J Webb, ...
Medical image analysis 43, 169-185, 2018
|Modeling Left Atrial Flow, Energy, Blood Heating Distribution in Response to Catheter Ablation Therapy|
D Dillon-Murphy, D Marlevi, B Ruijsink, A Qureshi, H Chubb, E Kerfoot, ...
Frontiers in physiology 9, 1757, 2018
|Checking concurrent contracts with aspects|
E Kerfoot, S McKeever
Proceedings of the 2010 ACM Symposium on Applied Computing, 2523-2530, 2010
|Maintaining invariants through object coupling mechanisms|
E Kerfoot, S McKeever
|Synthesising Images and Labels Between MR Sequence Types with CycleGAN|
E Kerfoot, E Puyol-Antón, B Ruijsink, R Ariga, E Zacur, P Lamata, ...
Domain Adaptation and Representation Transfer and Medical Image Learning …, 2019
|Pseudo-normal PET synthesis with generative adversarial networks for localising hypometabolism in epilepsies|
SN Yaakub, CJ McGinnity, JR Clough, E Kerfoot, N Girard, E Guedj, ...
International Workshop on Simulation and Synthesis in Medical Imaging, 42-51, 2019
|Learning optimal spatial scales for cardiac strain analysis using a motion atlas|
M Sinclair, D Peressutti, E Puyol-Antón, W Bai, D Nordsletten, ...
International Workshop on Statistical Atlases and Computational Models of …, 2016
|Accessible data curation and analytics for international-scale citizen science datasets|
B Murray, E Kerfoot, MS Graham, CH Sudre, E Molteni, LS Canas, ...
arXiv preprint arXiv:2011.00867, 2020
|ES-Verify: A Tool for Automated Model-based Verification of Object-Oriented Code|
JS Ostroff, CWJ Wang, FA Torshizi, E Kerfoot
Formal Methods, 2006