OnTrack: An Open Tooling Environment for Railway Verification. - Phillip James; Matthew Trumble; Helen Treharne; Markus Roggenbach; Steve A. Schneider (NASA Formal Methods, 2013)

Verification of Scheme Plans Using CSP $$||$$ | | B. - Phillip James; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve A. Schneider; Helen Treharne; Matthew Trumble; David M. Williams (SEFM Workshops, 2013)

Deep Convolutional Networks for Marker-less Human Pose Estimation from Multiple Views. - Matthew Trumble; Andrew Gilbert; Adrian Hilton 001; John P. Collomosse (CVMP, 2016)

Learning Markerless Human Pose Estimation from Multiple Viewpoint Video. - Matthew Trumble; Andrew Gilbert; Adrian Hilton 001; John P. Collomosse (ECCV Workshops (3), 2016)

Real-Time Full-Body Motion Capture from Video and IMUs. - Charles Malleson; Andrew Gilbert; Matthew Trumble; John P. Collomosse; Adrian Hilton 001; Marco Volino (3DV, 2017)

Total Capture: 3D Human Pose Estimation Fusing Video and Inertial Sensors. - Matthew Trumble; Andrew Gilbert; Charles Malleson; Adrian Hilton 001; John P. Collomosse (BMVC, 2017)

Deep Autoencoder for Combined Human Pose Estimation and Body Model Upscaling. - Matthew Trumble; Andrew Gilbert; Adrian Hilton 001; John P. Collomosse (ECCV (10), 2018)

Fusing Visual and Inertial Sensors with Semantics for 3D Human Pose Estimation. - Andrew Gilbert; Matthew Trumble; Charles Malleson; Adrian Hilton 001; John P. Collomosse (Int. J. Comput. Vis., 2019)

Semantic Estimation of 3D Body Shape and Pose using Minimal Cameras. - Andrew Gilbert; Matthew Trumble; Adrian Hilton 001; John P. Collomosse (BMVC, 2020)

Inpainting of Wide-Baseline Multiple Viewpoint Video. - Andrew Gilbert; Matthew Trumble; Adrian Hilton 001; John P. Collomosse (IEEE Trans. Vis. Comput. Graph., 2020)