The Formal Specification of a Small Bookshop Information System. - David Gray (IEEE Trans. Software Eng., 1988)

The use of functional annotations in verifying imperative programs. - Robin A. Nicholl; Maurice Clint; David Gray; Tina M. Nicholl (Softw. Eng. J., 1990)

Introduction to the formal design of real-time systems. - David Gray (Springer, 1999)

Four Logics and a Protocol. - David Gray; Geoff W. Hamilton; David Sinclair; J. Paul Gibson; James F. Power (IWFM, 1999)

Specifying and Verifying IP with Linear Logic. - David Sinclair; James F. Power; J. Paul Gibson; David Gray; Geoff W. Hamilton (ICDCS Workshop on Distributed System Validation and Verification, 2000)

Anonymous coursework submission. - David Gray (CompSysTech, 2003)

A Denotational Approach to the Static Analysis of Cryptographic Processes. - Benjamin Aziz; Geoff W. Hamilton; David Gray (SVV@ICLP, 2003)

Synthesising Attacks on Cryptographic Protocols. - David Sinclair; David Gray; Geoff W. Hamilton (ATVA, 2004)

A Static Analysis of PKI-Based Systems. - Benjamin Aziz; David Gray; Geoff W. Hamilton (ICTCS, 2005)

A static analysis of cryptographic processes: the denotational approach. - Benjamin Aziz; Geoff W. Hamilton; David Gray (J. Log. Algebraic Methods Program., 2005)

Secure pseudonym management using mediated identity-based encryption. - Thibault Candebat; David Gray (J. Comput. Secur., 2006)

A formally verified proof of the prime number theorem. - Jeremy Avigad; Kevin Donnelly; David Gray; Paul Raff (ACM Trans. Comput. Log., 2007)

A three-party architecture and protocol that supports users with multiple identities for use with location based services. - Cameron Ross Dunne; Thibault Candebat; David Gray (ICPS, 2008)

A frequency based sighting blurring algorithm for use with location based services on the internet. - Cameron Ross Dunne; Thibault Candebat; David Gray (Mobile HCI, 2008)

An Access Control Model for Location based Services. - Cameron Ross Dunne; Thibault Candebat; David Gray (WOSIS, 2008)

Exploration of uncertainty in bidirectional vector fields. - Torre Zuk; Jon Downton; David Gray; Sheelagh Carpendale; J. D. Liang (Visualization and Data Analysis, 2008)

Using the Support Vector Machine as a Classification Method for Software Defect Prediction with Static Code Metrics. - David Gray; David Bowes; Neil Davey; Yi Sun 001; Bruce Christianson (EANN, 2009)

ProVer: A Secure System for the Provision of Verified Location Information. - Michelle Graham; David Gray (MobiCASE, 2009)

Protecting Privacy and Securing the Gathering of Location Proofs - The Secure Location Verification Proof Gathering Protocol. - Michelle Graham; David Gray (MobiSec, 2009)

Adaptive pattern-based image compression for ultra-low bandwidth weapon seeker image communication. - Hai Wei; Sakina Zabuawala; Karthik Mahesh Varadarajan; Jacob Yadegar; Joseph Yadegar; David Gray; John McCalmont; James Utt (Visual Information Processing, 2009)

Can You See Me? The Use of a Binary Visibility Metric in Distance Bounding. - Michelle Graham; David Gray (WASA, 2009)

E-Voting: A New Approach Using Double-Blind Identity-Based Encryption. - David Gray; Caroline Sheedy (EuroPKI, 2010)

Software defect prediction using static code metrics underestimates defect-proneness. - David Gray; David Bowes; Neil Davey; Yi Sun 001; Bruce Christianson (IJCNN, 2010)

Predicting drug absorption rates through human skin. - Yi Sun 001; Lun Tak Lam; Gary P. Moss; Maria Prapopoulou; Rod Adams; Neil Davey; David Gray; Marc B. Brown (IJCNN, 2010)

Holistic analysis of mix protocols. - Giampaolo Bella; Denis Butin; David Gray (IAS, 2011)

The misuse of the NASA metrics data program data sets for automated software defect prediction. - David Gray; David Bowes; Neil Davey; Yi Sun 001; Bruce Christianson (EASE, 2011)

Further thoughts on precision. - David Gray; David Bowes; Neil Davey; Yi Sun 001; Bruce Christianson (EASE, 2011)

Developing Fault-Prediction Models: What the Research Can Show Industry. - Tracy Hall; Sarah Beecham; David Bowes; David Gray; Steve Counsell (IEEE Softw., 2011)

Comparing the performance of fault prediction models which report multiple performance measures: recomputing the confusion matrix. - David Bowes; Tracy Hall; David Gray (PROMISE, 2012)

Reflections on the NASA MDP data sets. - David Gray; David Bowes; Neil Davey; Yi Sun 001; Bruce Christianson (IET Softw., 2012)

A Systematic Literature Review on Fault Prediction Performance in Software Engineering. - Tracy Hall; Sarah Beecham; David Bowes; David Gray; Steve Counsell (IEEE Trans. Software Eng., 2012)

Towards Verifying Voter Privacy through Unlinkability. - Denis Butin; David Gray; Giampaolo Bella (ESSoS, 2013)

Robust low loss splicing of hollow core photonic bandgap fiber to itself. - John P. Wooler; David Gray; Francesco Poletti; Marco N. Petrovich; Natalie V. Wheeler; Francesca Parmigiani; David J. Richardson (OFC/NFOEC, 2013)

DConfusion: a technique to allow cross study performance evaluation of fault prediction studies. - David Bowes; Tracy Hall; David Gray (Autom. Softw. Eng., 2014)

The Commodity Exporting Country A Spectral Analysis of Brazilian and Australian Equity Markets. - David Gray; John McManus (Computational Models of Complex Systems, 2014)

Brand Switching Pattern Discovery by Data Mining Techniques for the Telecommunication Industry in Australia. - Md Zahidul Islam 001; Steven D'Alessandro; Michael Furner; Lester Johnson; David Gray; Leanne Carter (Australas. J. Inf. Syst., 2016)

Characterizing Inter-Layer Functional Mappings of Deep Learning Models. - Donald E. Waagen; Katie Rainey; Jamie Gantert; David Gray; Megan King; M. Shane Thompson; Jonathan Barton; Will Waldron; Samantha Livingston; Don Hulsey (CoRR, 2019)

Constructive Alignment of Learning Outcomes with Student Perceptions in a first-year Engineering Course. - Siddharth S. Kumar; Jennifer M. Case; David Gray; Nicole P. Pitterson (FIE, 2021)

Empowering Managed Service Providers: Decentralised AI-Enabled Monitoring in Multi-Tenant Networks. - Adeel Rafiq; Muhammad Zeeshan Shakir; David Gray; Julie Inglis; Fraser Ferguson (BigComp, 2024)