Relax and Tighten - A Haptics-based Approach to Simulate Sphincter Tone Assessment. - Alejandro Granados; Luc Marechal; Alastair Barrow; George Petrou; Christine Norton; Fernando Bello (AsiaHaptics, 2016)

Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates. - Aalok Thakkar; Nathaniel Sands; George Petrou; Rajeev Alur; Mayur Naik; Mukund Raghothaman (Proc. ACM Program. Lang., 2023)