David Gray

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 4

Top Topics

Learning Models

Recursive Partitioning

Student Perceptions

Areas Of Data Mining

Top Venues

Autom. Softw. Eng.

Australas. J. Inf. Syst.

Publications

Adeel Rafiq, Muhammad Zeeshan Shakir, David Gray, Julie Inglis, Fraser Ferguson
Empowering Managed Service Providers: Decentralised AI-Enabled Monitoring in Multi-Tenant Networks. BigComp (2024)
Siddharth S. Kumar, Jennifer M. Case, David Gray, Nicole P. Pitterson
Constructive Alignment of Learning Outcomes with Student Perceptions in a first-year Engineering Course. FIE (2021)
Donald E. Waagen, Katie Rainey, Jamie Gantert, David Gray, Megan King, M. Shane Thompson, Jonathan Barton, Will Waldron, Samantha Livingston, Don Hulsey
Characterizing Inter-Layer Functional Mappings of Deep Learning Models. CoRR (2019)
Md Zahidul Islam, Steven D'Alessandro, Michael Furner, Lester Johnson, David Gray, Leanne Carter
Brand Switching Pattern Discovery by Data Mining Techniques for the Telecommunication Industry in Australia. Australas. J. Inf. Syst. 20 (2016)
David Bowes, Tracy Hall, David Gray
DConfusion: a technique to allow cross study performance evaluation of fault prediction studies. Autom. Softw. Eng. 21 (2) (2014)
Denis Butin, David Gray, Giampaolo Bella
Towards Verifying Voter Privacy through Unlinkability. ESSoS (2013)
John P. Wooler, David Gray, Francesco Poletti, Marco N. Petrovich, Natalie V. Wheeler, Francesca Parmigiani, David J. Richardson
Robust low loss splicing of hollow core photonic bandgap fiber to itself. OFC/NFOEC (2013)
Tracy Hall, Sarah Beecham, David Bowes, David Gray, Steve Counsell
A Systematic Literature Review on Fault Prediction Performance in Software Engineering. IEEE Trans. Software Eng. 38 (6) (2012)
David Gray, David Bowes, Neil Davey, Yi Sun, Bruce Christianson
Reflections on the NASA MDP data sets. IET Softw. 6 (6) (2012)
David Bowes, Tracy Hall, David Gray
Comparing the performance of fault prediction models which report multiple performance measures: recomputing the confusion matrix. PROMISE (2012)
Tracy Hall, Sarah Beecham, David Bowes, David Gray, Steve Counsell
Developing Fault-Prediction Models: What the Research Can Show Industry. IEEE Softw. 28 (6) (2011)
David Gray, David Bowes, Neil Davey, Yi Sun, Bruce Christianson
The misuse of the NASA metrics data program data sets for automated software defect prediction. EASE (2011)
Giampaolo Bella, Denis Butin, David Gray
Holistic analysis of mix protocols. IAS (2011)
David Gray, David Bowes, Neil Davey, Yi Sun, Bruce Christianson
Further thoughts on precision. EASE (2011)
David Gray, Caroline Sheedy
E-Voting: A New Approach Using Double-Blind Identity-Based Encryption. EuroPKI (2010)
Yi Sun, Lun Tak Lam, Gary P. Moss, Maria Prapopoulou, Rod Adams, Neil Davey, David Gray, Marc B. Brown
Predicting drug absorption rates through human skin. IJCNN (2010)
David Gray, David Bowes, Neil Davey, Yi Sun, Bruce Christianson
Software defect prediction using static code metrics underestimates defect-proneness. IJCNN (2010)
Hai Wei, Sakina Zabuawala, Karthik Mahesh Varadarajan, Jacob Yadegar, Joseph Yadegar, David Gray, John McCalmont, James Utt
Adaptive pattern-based image compression for ultra-low bandwidth weapon seeker image communication. Visual Information Processing (2009)
Michelle Graham, David Gray
Can You See Me? The Use of a Binary Visibility Metric in Distance Bounding. WASA (2009)
Michelle Graham, David Gray
Protecting Privacy and Securing the Gathering of Location Proofs - The Secure Location Verification Proof Gathering Protocol. MobiSec (2009)
Michelle Graham, David Gray
ProVer: A Secure System for the Provision of Verified Location Information. MobiCASE (2009)
David Gray, David Bowes, Neil Davey, Yi Sun, Bruce Christianson
Using the Support Vector Machine as a Classification Method for Software Defect Prediction with Static Code Metrics. EANN (2009)
Cameron Ross Dunne, Thibault Candebat, David Gray
A frequency based sighting blurring algorithm for use with location based services on the internet. Mobile HCI (2008)
Cameron Ross Dunne, Thibault Candebat, David Gray
A three-party architecture and protocol that supports users with multiple identities for use with location based services. ICPS (2008)
Cameron Ross Dunne, Thibault Candebat, David Gray
An Access Control Model for Location based Services. WOSIS (2008)
Torre Zuk, Jon Downton, David Gray, Sheelagh Carpendale, J. D. Liang
Exploration of uncertainty in bidirectional vector fields. Visualization and Data Analysis (2008)
Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff
A formally verified proof of the prime number theorem. ACM Trans. Comput. Log. 9 (1) (2007)
Thibault Candebat, David Gray
Secure pseudonym management using mediated identity-based encryption. J. Comput. Secur. 14 (3) (2006)
Benjamin Aziz, David Gray, Geoff W. Hamilton
A Static Analysis of PKI-Based Systems. ICTCS (2005)
Benjamin Aziz, Geoff W. Hamilton, David Gray
A Denotational Approach to the Static Analysis of Cryptographic Processes. Electron. Notes Theor. Comput. Sci. 118 (2005)
Benjamin Aziz, Geoff W. Hamilton, David Gray
A static analysis of cryptographic processes: the denotational approach. J. Log. Algebraic Methods Program. 64 (2) (2005)
Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff
A formally verified proof of the prime number theorem CoRR (2005)
David Sinclair, David Gray, Geoff W. Hamilton
Synthesising Attacks on Cryptographic Protocols. ATVA (2004)
David Gray
Anonymous coursework submission. CompSysTech (2003)
David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff W. Hamilton
Specifying and Verifying IP with Linear Logic. ICDCS Workshop on Distributed System Validation and Verification (2000)
David Gray, Geoff W. Hamilton, David Sinclair, J. Paul Gibson, James F. Power
Four Logics and a Protocol. IWFM (1999)
Robin A. Nicholl, Maurice Clint, David Gray, Tina M. Nicholl
The use of functional annotations in verifying imperative programs. Softw. Eng. J. 5 (5) (1990)
David Gray
The Formal Specification of a Small Bookshop Information System. IEEE Trans. Software Eng. 14 (2) (1988)