Factored MDP Elicitation and Plan Display. - Krol Kevin Mathias; Casey Lengacher; Derek Williams; Austin Cornett; Alex Dekhtyar; Judy Goldsmith (AAAI, 2006)

Understanding POWER multiprocessors. - Susmit Sarkar; Peter Sewell; Jade Alglave; Luc Maranget; Derek Williams (PLDI, 2011)

An Axiomatic Memory Model for POWER Multiprocessors. - Sela Mador-Haim; Luc Maranget; Susmit Sarkar; Kayvan Memarian; Jade Alglave; Scott Owens; Rajeev Alur; Milo M. K. Martin; Peter Sewell; Derek Williams (CAV, 2012)

Synchronising C/C++ and POWER. - Susmit Sarkar; Kayvan Memarian; Scott Owens; Mark Batty; Peter Sewell; Luc Maranget; Jade Alglave; Derek Williams (PLDI, 2012)

Robust architectural support for transactional memory in the power architecture. - Harold W. Cain; Maged M. Michael; Brad Frey; Cathy May; Derek Williams; Hung Q. Le (ISCA, 2013)

Fail Better: Lessons Learned from a Formative Evaluation of Social Object Labels. - Marcus Winter; Michael John Gorman; Ian Brunswick; Danny Browne; Derek Williams; Fionn Kidney (PATCH@IUI, 2015)

Transactional memory support in the IBM POWER8 processor. - Hung Q. Le; Guy L. Guthrie; Derek Williams; Maged M. Michael; Brad Frey; William J. Starke; Cathy May; Rei Odaira; Takuya Nakaike (IBM J. Res. Dev., 2015)

Quantifying the Attention Potential of Pervasive Display Placements. - Marcus Winter; Ian Brunswick; Derek Williams (CHIRA, 2018)

IBM POWER9 processor and system features for computing in the cognitive era. - L. Baba Arimilli; Bart Blaner; Ben C. Drerup; Charles F. Marino; Derek Williams; Eric N. Lais; Francesco A. Campisano; Guy L. Guthrie; Michael S. Floyd; Ross Leavens; Scot M. Willenborg; Ronald N. Kalla; et al. (IBM J. Res. Dev., 2018)