A modal proof theory for final polynomial coalgebras. - David Friggens; Robert Goldblatt (Theor. Comput. Sci., 2006)

On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures. - David Friggens (2013)

Shape Predicates Allow Unbounded Verification of Linearizability Using Canonical Abstraction. - David Friggens; Lindsay Groves (ACSC, 2014)

Collapsing Threads Safely with Soft Invariants. - David Friggens; Lindsay Groves (CoRR, 2015)

A Logical Comparison of Citation Wakes and Generations. - David Friggens (ISSI, 2017)

Analysing scientific collaborations of new zealand institutions using scopus bibliometric data. - Samin Aref; David Friggens; Shaun Hendy (ACSW, 2018)