Graeme Smith
Scholar

Graeme Smith

Google Scholar ID: JRxfQowAAAAJ
The University of Queensland
Formal methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
264
 
H-index
9
 
i10-index
7
 
Publications
20
 
Co-authors
26
list available
Contact
No contact links provided.
Publications
6 items
Single-letter one-way distillable entanglement for non-degradable states
2026
Cited
0
On Error Thresholds for Pauli Channels: Some answers with many more questions
2026
Cited
0
Generating Rely-Guarantee Conditions with the Conditional-Writes Domain
2026
Cited
0
Quantum $f$-divergences and Their Local Behaviour: An Analysis via Relative Expansion Coefficients
2025
Cited
0
Detecting speculative data flow vulnerabilities using weakest precondition reasoning
2025
Cited
0
Reverse-type Data Processing Inequality
arXiv.org · 2024
Cited
4
Resume (English only)
Co-authors
26 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Brijesh Dongol
Brijesh Dongol
University of Surrey
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Eerke Boiten
Eerke Boiten
School of Computer Science and Informatics, De Montfort University, UK
Qin Li
Qin Li
East China Normal University
Co-author 8
Co-author 8