David Gray - RankMe

41 papers A 2B 3C 3Misc 1Journal 13Unranked 17

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