A bluetooth-based architecture for android communication with an articulated robot. - Sebastian van Delden; Andrew Whigham (CTS, 2012)

Automated Generation of Security Assertions for RTL Models. - Hasini Witharana; Aruna Jayasena; Andrew Whigham; Prabhat Mishra 001 (ACM J. Emerg. Technol. Comput. Syst., 2023)