Early and Late Electrophysiological Effects of Distractor Frequency in Picture Naming: Reconciling Input and Output Accounts. - Stephanie K. Riès; Douglas Fraser; Katie L. McMahon; Greig I. de Zubicaray (J. Cogn. Neurosci., 2015)

Collaborative models for autonomous systems controller synthesis. - Douglas Fraser; Ruben Giaquinta; Ruth Hoffmann; Murray Ireland; Alice Miller 001; Gethin Norman (Formal Aspects Comput., 2020)

Model checking with memoisation for fast overtaking planning. - Alice Miller 001; Bernd Porr; Ivaylo Valkov; Douglas Fraser; Daumantas Pagojus (Sci. Comput. Program., 2025)