Adequate Sets of Temporal Connectives in CTL. - Alan Martin (EXPRESS, 2001)

E-TDD - Embedded Test Driven Development a Tool for Hardware-Software Co-design Projects. - Michael R. Smith 001; Andrew K. C. Kwan; Alan Martin; James Miller 001 (XP, 2005)

TIM: A Tool for Gaining Insights into Psychotherapy. - Ronan Cummins; Michael P. Ewbank; Alan Martin; Valentin Tablan; Ana Catarino; Andrew D. Blackwell (WWW, 2019)

Active Lubrication of Transluminal Medical Instruments. - Mostafa A. Atalla; Jelte Nieuwenhuis; Alan Martin; Xuan Wang; Ahranee Canden; Matt J. Carré; Roger Lewis; Aimée Sakes; Michaël Wiertlewski (CoRR, 2025)