Graeme Smith

ORCID

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 45

Top Venues

CoRR

IEEE Trans. Inf. Theory

ISIT

Publications

Akshay Seshadri, Felix Leditzky, Vikesh Siddhu, Graeme Smith
On the Separation of Correlation-Assisted Sum Capacities of Multiple Access Channels. IEEE Trans. Inf. Theory 69 (9) (2023)
Nicholas LaRacuente, Graeme Smith
Information Fragility or Robustness Under Quantum Channels. CoRR (2023)
Felix Leditzky, Debbie W. Leung, Vikesh Siddhu, Graeme Smith, John A. Smolin
The Platypus of the Quantum Channel Zoo. IEEE Trans. Inf. Theory 69 (6) (2023)
Graeme Smith
A Dafny-based approach to thread-local information flow analysis. FormaliSE (2023)
Akshay Seshadri, Felix Leditzky, Vikesh Siddhu, Graeme Smith
On the separation of correlation-assisted sum capacities of multiple access channels. ISIT (2022)
Felix Leditzky, Debbie W. Leung, Vikesh Siddhu, Graeme Smith, John A. Smolin
The platypus of the quantum channel zoo. CoRR (2022)
Akshay Seshadri, Felix Leditzky, Vikesh Siddhu, Graeme Smith
On the separation of correlation-assisted sum capacities of multiple access channels. CoRR (2022)
Felix Leditzky, Debbie W. Leung, Vikesh Siddhu, Graeme Smith, John A. Smolin
Generic nonadditivity of quantum capacity in simple channels. CoRR (2022)
Felix Leditzky, Debbie W. Leung, Vikesh Siddhu, Graeme Smith, John A. Smolin
The platypus of the quantum channel zoo. ISIT (2022)
Kirsten Winter, Nicholas Coughlin, Graeme Smith
Backwards-directed information flow analysis for concurrent programs. CSF (2021)
Nicholas Coughlin, Kirsten Winter, Graeme Smith
Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models. FM (2021)
Graeme Smith, Kirsten Winter, Robert J. Colvin
Linearizability on hardware weak memory models. Formal Aspects Comput. 32 (1) (2020)
Mohammad A. Alhejji, Graeme Smith
Monotonicity Under Local Operations: Linear Entropic Formulas. IEEE Trans. Inf. Theory 66 (8) (2020)
Lesley M. Chapman, Noah Spies, Patrick Pai, Chun Shen Lim, Andrew Carroll, Giuseppe Narzisi, Christopher M. Watson, Christos Proukakis, Wayne E. Clarke, Naoki Nariai, Eric Dawson, Garan Jones, Daniel J. Blankenberg, Christian Brueffer, Chunlin Xiao, Sree Rohit Raj Kolora, Noah Alexander, Paul Wolujewicz, Azza E. Ahmed, Graeme Smith, Saadlee Shehreen, Aaron M. Wenger, Marc Salit, Justin M. Zook
A crowdsourced set of curated structural variants for the human genome. PLoS Comput. Biol. 16 (6) (2020)
Mohammad A. Alhejji, Graeme Smith
A Tight Uniform Continuity Bound for Equivocation. ISIT (2020)
Joshua Levin, Graeme Smith
Optimized Measures of Bipartite Quantum Correlation. IEEE Trans. Inf. Theory 66 (6) (2020)
Nicholas Coughlin, Graeme Smith
Rely/Guarantee Reasoning for Noninterference in Non-Blocking Algorithms. CSF (2020)
Mohammad A. Alhejji, Graeme Smith
A Tight Uniform Continuity Bound for Equivocation. CoRR (2019)
Graeme Smith, Lindsay Groves
Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors. FM Workshops (2) (2019)
Graeme Smith, David J. Duke
Specification with Class: A Brief History of Object-Z. FM Workshops (2) (2019)
Felix Leditzky, Mohammad A. Alhejji, Joshua Levin, Graeme Smith
Playing Games with Multiple Access Channels. CoRR (2019)
Graeme Smith, Nicholas Coughlin, Toby Murray
Value-Dependent Information-Flow Security on Weak Memory Models. FM (2019)
Kirsten Winter, Graeme Smith, John Derrick
Modelling concurrent objects running on the TSO and ARMv8 memory models. Sci. Comput. Program. 184 (2019)
Kirsten Winter, Graeme Smith, John Derrick
Observational Models for Linearizability Checking on Weak Memory Models. TASE (2018)
Robert J. Colvin, Graeme Smith
A wide-spectrum language for verification of programs on weak memory models. CoRR (2018)
Robert J. Colvin, Graeme Smith
A high-level operational semantics for hardware weak memory models. CoRR (2018)
Felix Leditzky, Nilanjana Datta, Graeme Smith
Useful States and Entanglement Distillation. IEEE Trans. Inf. Theory 64 (7) (2018)
Robert J. Colvin, Graeme Smith
A Wide-Spectrum Language for Verification of Programs on Weak Memory Models. FM (2018)
Graeme Smith, Kirsten Winter, Robert J. Colvin
A sound and complete definition of linearizability on weak memory models. CoRR (2018)
Graeme Smith, Kirsten Winter, Robert J. Colvin
Correctness of Concurrent Objects under Weak Memory Models. Refine@FM (2018)
Patrick Doolan, Graeme Smith, Chenyi Zhang, Padmanabhan Krishnan
Improving the Scalability of Automatic Linearizability Checking in SPIN. ICFEM (2017)
John Derrick, Graeme Smith
An Observational Approach to Defining Linearizability on Weak Memory Models. FORTE (2017)
Felix Leditzky, Debbie W. Leung, Graeme Smith
Quantum and private capacities of low-noise channels. ITW (2017)
Qin Li, Graeme Smith
Refining autonomous agents with declarative beliefs and desires. Formal Aspects Comput. 29 (2) (2017)
Graeme Smith, Kirsten Winter
Relating trace refinement and linearizability. Formal Aspects Comput. 29 (6) (2017)
Felix Leditzky, Nilanjana Datta, Graeme Smith
Degradable states and one-way entanglement distillation. ISIT (2017)
Robert Koenig, Graeme Smith
Corrections to "The Entropy Power Inequality for Quantum Systems". IEEE Trans. Inf. Theory 62 (7) (2016)
Graeme Smith
Model Checking Simulation Rules for Linearizability. SEFM (2016)
Graeme Smith, John Derrick
Invariant generation for linearizability proofs. SAC (2016)
Andrew W. Cross, Ke Li, Graeme Smith
Uniform Additivity in Classical and Quantum Information. CoRR (2016)
Qin Li, Graeme Smith
Formal development of multi-agent systems using MAZE. Sci. Comput. Program. 131 (2016)
Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. ECOOP (2015)
Markus Grassl, Peter W. Shor, Graeme Smith, John A. Smolin, Bei Zeng
New Constructions of Codes for Asymmetric Channels via Concatenation. IEEE Trans. Inf. Theory 61 (4) (2015)
Graeme Smith, Jeff W. Sanders, Qin Li
A Macro-Level Model for Investigating the E ect of Directional Bias on Network Coverage. ACSC (2015)
John Derrick, Graeme Smith
A Framework for Correctness Criteria on Weak Memory Models. FM (2015)
Graeme Smith, Qin Li
MAZE: An Extension of Object-Z for Multi-Agent Systems. ABZ (2014)
John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol
Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures. Haifa Verification Conference (2014)
Brijesh Dongol, John Derrick, Graeme Smith
Reasoning Algebraically About Refinement on TSO Architectures. ICTAC (2014)
Ke Li, Graeme Smith
Quantum de Finetti theorem measured with fully one-way LOCC norm. CoRR (2014)
Qin Li, Graeme Smith
A Formal Development Approach for Self-Organising Systems. TASE (2014)
Graeme Smith, Jeff W. Sanders, Qin Li
On Directional Bias for Network Coverage. BIC-TA (2014)
Graeme Smith, Jeff W. Sanders, Kirsten Winter
Designing Adaptive Systems Using Teleo-Reactive Agents. Trans. Comput. Collect. Intell. 16 (2014)
Graeme Smith, John Derrick, Brijesh Dongol
Admit Your Weakness: Verifying Correctness on TSO Architectures. FACS (2014)
John Derrick, Graeme Smith, Brijesh Dongol
Verifying Linearizability on TSO Architectures. IFM (2014)
Graeme Smith, Jeff W. Sanders, Qin Li
A macro-level model for investigating the effect of directional bias on network coverage. CoRR (2014)
Robert König, Graeme Smith
The Entropy Power Inequality for Quantum Systems. IEEE Trans. Inf. Theory 60 (3) (2014)
Shahrzad Moeiniyan Bagheri, Graeme Smith, Jim Hanan
Using Z in the Development and Maintenance of Computational Models of Real-World Systems. SEFM Workshops (2014)
Lukasz Pankowski, Fernando G. S. L. Brandão, Michal Horodecki, Graeme Smith
Entanglement distillation by extendible maps. Quantum Inf. Comput. 13 (9-10) (2013)
Qin Li, Graeme Smith
Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems. ICECCS (2013)
Maris Ozols, Graeme Smith, John A. Smolin
Bound entangled states with secret key and their classical counterpart CoRR (2013)
Markus Grassl, Peter W. Shor, Graeme Smith, John A. Smolin, Bei Zeng
New Constructions of Codes for Asymmetric Channels via Concatenation. CoRR (2013)
Qin Li, Graeme Smith
A Refinement Framework for Autonomous Agents. SBMF (2013)
John A. Smolin, Graeme Smith, Alexander Vargo
Oversimplifying quantum factoring. Nat. 499 (7457) (2013)
Graeme Smith, Jeff W. Sanders
Using conventional reasoning techniques for self-organising systems. PST (2012)
Toby S. Cubitt, Graeme Smith
An Extreme Form of Superactivation for Quantum Zero-Error Capacities. IEEE Trans. Inf. Theory 58 (3) (2012)
John Derrick, Graeme Smith
Temporal-logic property preservation under Z refinement. Formal Aspects Comput. 24 (3) (2012)
Robert Koenig, Graeme Smith
The entropy power inequality for quantum systems CoRR (2012)
Jeff W. Sanders, Graeme Smith
Emergence and refinement. Formal Aspects Comput. 24 (1) (2012)
Robert Koenig, Graeme Smith
Limits on classical communication from quantum entropy power inequalities CoRR (2012)
Graeme Smith, Jeffrey W. Sanders, Kirsten Winter
Reasoning About Adaptivity of Agents and Multi-agent Systems. ICECCS (2012)
Graeme Smith, Kirsten Winter
Incremental Development of Multi-agent Systems in Object-Z. SEW (2012)
Markus Grassl, Peter W. Shor, Graeme Smith, John A. Smolin, Bei Zeng
New constructions of codes for asymmetric channels via concatenation. ISIT (2012)
Graeme Smith, Steffen Helke
Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism. TASE (2011)
Graeme Smith, John A. Smolin, Jon Yard
Gaussian bosonic synergy: quantum communication via realistic channels of zero quantum capacity CoRR (2011)
Graeme Smith, Gary Marsden
Providing media download services in African taxis. SAICSIT (2011)
Peter W. Shor, Graeme Smith, John A. Smolin, Bei Zeng
High Performance Single-Error-Correcting Quantum Codes for Amplitude Damping. IEEE Trans. Inf. Theory 57 (10) (2011)
Zheng Fu, Graeme Smith
Property transformation under specification change. Frontiers Comput. Sci. China 5 (1) (2011)
Jianxin Chen, Toby S. Cubitt, Aram W. Harrow, Graeme Smith
Super-duper-activation of the zero-error quantum capacity. ISIT (2010)
Sebastian Eder, Graeme Smith
An Approach to Formal Verification of Free-Flight Separation. SASO Workshops (2010)
Aaron Sampson, Graeme Smith
Gravity Points in Potential-Field Approaches to Self Organisation. SASO Workshops (2010)
Eerke A. Boiten, Michael J. Butler, John Derrick, Graeme Smith
Editorial. Formal Aspects Comput. 22 (1) (2010)
Graeme Smith
Quantum Channel Capacities CoRR (2010)
Graeme Smith
Quantum channel capacities. ITW (2010)
Jeff W. Sanders, Graeme Smith
Assuring Adaptive Behaviour in Self-Organising Systems. SASO Workshops (2010)
Graeme Smith, Kirsten Winter
Model checking action system refinements. Formal Aspects Comput. 21 (1-2) (2009)
Graeme Smith, Jeffrey W. Sanders
Formal Development of Self-organising Systems. ATC (2009)
Jeff W. Sanders, Graeme Smith
Refining Emergent Properties. Electron. Notes Theor. Comput. Sci. 259 (2009)
Toby S. Cubitt, Graeme Smith
An Extreme form of Superactivation for Quantum Zero-Error Capacities. CoRR (2009)
Andrew W. Cross, Graeme Smith, John A. Smolin, Bei Zeng
Codeword Stabilized Quantum Codes. IEEE Trans. Inf. Theory 55 (1) (2009)
Tim McComb, Graeme Smith
Introducing Objects through Refinement. FM (2008)
Graeme Smith
Private classical capacity with symmetric assistance. ISIT (2008)
Graeme Smith, John A. Smolin
Additive extensions of a quantum channel. ITW (2008)
Debbie W. Leung, Graeme Smith
Communicating Over Adversarial Quantum Channels Using Quantum List Codes. IEEE Trans. Inf. Theory 54 (2) (2008)
Graeme Smith, Tim McComb
Refactoring Real-time Specifications. Electron. Notes Theor. Comput. Sci. 214 (2008)
John Derrick, Graeme Smith
Using Model Checking to Automatically Find Retrieve Relations. Electron. Notes Theor. Comput. Sci. 201 (2008)
Eerke A. Boiten, John Derrick, Graeme Smith
Preface. Electron. Notes Theor. Comput. Sci. 201 (2008)
Tim McComb, Graeme Smith
A Minimal Set of Refactoring Rules for Object-Z. FMOODS (2008)
Zheng Fu, Graeme Smith
Towards More Flexible Development of Z Specifications. TASE (2008)
Graeme Smith, John A. Smolin, Andreas J. Winter
The Quantum Capacity With Symmetric Side Channels. IEEE Trans. Inf. Theory 54 (9) (2008)
Andrew W. Cross, Graeme Smith, John A. Smolin, Bei Zeng
Codeword stabilized quantum codes. ISIT (2008)

Graeme Smith.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Graeme Smith