Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour. - Robert Coleman; Vladimir Estivill-Castro; René Hexel; Carl Lusty (SIMPAR, 2012)

PIPENet: A Semantic Segmentation Approach to Pipeline Component Detection from Magnetic Flux Leakage Readings. - Amir Behbahanian; Ron Lundstrom; Adrian Belanger; Paul Dalfonso; Robert Coleman (ICMLA, 2023)

Exploratory digital outcome measures of motor sign progression in Parkinson's disease patients treated with prasinezumab. - Kirsten I. Taylor; Florian Lipsmeier; Marzia Antonella Scelsi; Ekaterina Volkova-Volkmar; Daria Rukina; Werner Popp; Stefan Lambrecht; Judith Anzures-Cabrera; David Summers; Markus Abt; Annabelle Monnet; Timothy Kilchenmann; et al. (npj Digit. Medicine, 2025)