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 | 199 | 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 | 49 | 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 | 37 | 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 | 25 | 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 | 22 | 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 | 15 | 2016 |
Deadlock freedom through object ownership E Kerfoot, S McKeever, F Torshizi | 14 | 2009 |
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 | 11 | 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 | 10 | 2018 |
Automated Model− based Verification of Object− Oriented Code JS Ostroff, CW Wang, E Kerfoot, FA Torshizi Microsoft Research MSR− TR− 2006− 117, 2006 | 10 | 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 | 4 | 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 | 4 | 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 | 3 | 2018 |
Checking concurrent contracts with aspects E Kerfoot, S McKeever Proceedings of the 2010 ACM Symposium on Applied Computing, 2523-2530, 2010 | 3 | 2010 |
Maintaining invariants through object coupling mechanisms E Kerfoot, S McKeever | 3 | 2007 |
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 | 2 | 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 | 2 | 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 | 2 | 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 | 1 | 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 | 1 | 2006 |