Deriving Verification Conditions and Program Assertions to Support Software Inspection. - Daniel Powell (APSEC, 2002)

Automatic Derivation of Loop Termination Conditions to Support Verification. - Daniel Powell (ACSC, 2004)

Tool Support for Verification-Based Software Inspection. - Daniel Powell (Australian Software Engineering Conference, 2004)

Behavior Engineering - A Scalable Modeling and Analysis Method. - Daniel Powell (SEFM, 2010)

Infandango: automated grading for student programming. - Michael J. Hull; Daniel Powell; Ewan Klein (ITiCSE, 2011)

Seeing Dialogue: Network Visualization of Dramatic Texts. - Daniel Powell (DH, 2014)

Towards a Seamful Design of Networked Knowledge: Practical Pedagogies in Collaborative Teams. - Aaron Mauro; Daniel Powell; Sarah Potvin; Jacob Heil; Eric Dye; Bridget Jenkins; Dene Grigar (Digit. Humanit. Q., 2017)

"A Switch Went off in my Whole Body": Lived Experiences of Fatigue and Post-Exertional Malaise in Long Covid. - Corina Sas; Yojana Lotankar; Rosalind Adam; Katherine J. Bradbury; Jonathan Cooper; Derek L. Hill; Veronica Martinez; Daniel Powell (CHI Extended Abstracts, 2023)