The Professional Development and Continuing Education of computing Practitioners. - Terry Woodings (Aust. Comput. J., 1987)

Automated Feedback for Quality Assurance in Software Engineering Education. - Rachel Cardell-Oliver; Lu Zhang 016; Rieky Barady; You Hai Lim; Asad Naveed; Terry Woodings (Australian Software Engineering Conference, 2010)

Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL. - Omar I. Al-Bataineh; Tim French 002; Terry Woodings (TIME, 2012)

Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology - Omar I. Al-Bataineh; Mark Reynolds 001; Tim French 002; Terry Woodings (CoRR, 2012)