Scholar
Graeme Smith
Google Scholar ID: JRxfQowAAAAJ
The University of Queensland
Formal methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
264
H-index
9
i10-index
7
Publications
20
Co-authors
26
list available
Publications
12 items
A depolarizing choir sings in Gaussian harmony
2026
Cited
0
Quantum Broadcast Channels with Mutually Confidential Messages
2026
Cited
0
No cardinality bound for squashed entanglement
2026
Cited
0
Information flow security on persistent memory
2026
Cited
0
No-Go Theorem for Gaussian Quantum Repeaters from Fractional Extendibility
2026
Cited
0
Enhanced quantum capacity thresholds from symmetry
2026
Cited
0
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
Load more
Co-authors
8 total
Brijesh Dongol
University of Surrey
Eerke Boiten
School of Computer Science and Informatics, De Montfort University, UK
Qin Li
East China Normal University
Toby Murray
School of Computing and Information Systems, University of Melbourne
Florian Kammüller
Associate Professor, Middlesex University London and Privatdozent TU Berlin
Jaco van de Pol
Professor of Computer Science, Aarhus University
Padmanabhan krishnan
Oracle Labs, Brisbane
Chenyi Zhang
University of Canterbury
