Graeme Smith

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2022
Generic nonadditivity of quantum capacity in simple channels.
CoRR, 2022

On the separation of correlation-assisted sum capacities of multiple access channels.
Proceedings of the IEEE International Symposium on Information Theory, 2022

The platypus of the quantum channel zoo.
Proceedings of the IEEE International Symposium on Information Theory, 2022

2020
Optimized Measures of Bipartite Quantum Correlation.
IEEE Trans. Inf. Theory, 2020

Monotonicity Under Local Operations: Linear Entropic Formulas.
IEEE Trans. Inf. Theory, 2020

A crowdsourced set of curated structural variants for the human genome.
PLoS Comput. Biol., 2020

A Tight Uniform Continuity Bound for Equivocation.
Proceedings of the IEEE International Symposium on Information Theory, 2020

2019
Playing Games with Multiple Access Channels.
CoRR, 2019

2018
Useful States and Entanglement Distillation.
IEEE Trans. Inf. Theory, 2018

2017
Quantum and private capacities of low-noise channels.
Proceedings of the 2017 IEEE Information Theory Workshop, 2017

Degradable states and one-way entanglement distillation.
Proceedings of the 2017 IEEE International Symposium on Information Theory, 2017

2016
Corrections to "The Entropy Power Inequality for Quantum Systems".
IEEE Trans. Inf. Theory, 2016

Uniform Additivity in Classical and Quantum Information.
CoRR, 2016

2015
New Constructions of Codes for Asymmetric Channels via Concatenation.
IEEE Trans. Inf. Theory, 2015

2014
The Entropy Power Inequality for Quantum Systems.
IEEE Trans. Inf. Theory, 2014

Quantum de Finetti theorem measured with fully one-way LOCC norm.
CoRR, 2014

2013
Entanglement distillation by extendible maps.
Quantum Inf. Comput., 2013

Oversimplifying quantum factoring.
Nat., 2013

Bound entangled states with secret key and their classical counterpart
CoRR, 2013

2012
An Extreme Form of Superactivation for Quantum Zero-Error Capacities.
IEEE Trans. Inf. Theory, 2012

The entropy power inequality for quantum systems
CoRR, 2012

Limits on classical communication from quantum entropy power inequalities
CoRR, 2012

2011
High Performance Single-Error-Correcting Quantum Codes for Amplitude Damping.
IEEE Trans. Inf. Theory, 2011

Gaussian bosonic synergy: quantum communication via realistic channels of zero quantum capacity
CoRR, 2011

Providing media download services in African taxis.
Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011

2010
Quantum channel capacities.
Proceedings of the 2010 IEEE Information Theory Workshop, 2010

Super-duper-activation of the zero-error quantum capacity.
Proceedings of the IEEE International Symposium on Information Theory, 2010

2009
Codeword Stabilized Quantum Codes.
IEEE Trans. Inf. Theory, 2009

2008
Extending Formal Methods for Software-Intensive Systems.
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

The Quantum Capacity With Symmetric Side Channels.
IEEE Trans. Inf. Theory, 2008

Communicating Over Adversarial Quantum Channels Using Quantum List Codes.
IEEE Trans. Inf. Theory, 2008

Additive extensions of a quantum channel.
Proceedings of the 2008 IEEE Information Theory Workshop, 2008

Degenerate quantum codes and the quantum channel capacity problem.
Proceedings of the 2008 IEEE Information Theory Workshop, 2008

Private classical capacity with symmetric assistance.
Proceedings of the 2008 IEEE International Symposium on Information Theory, 2008

2006
Optimal Superdense Coding of Entangled States.
IEEE Trans. Inf. Theory, 2006

2004
A Framework for Modelling and Analysing Mobile Systems.
Proceedings of the Computer Science 2004, 2004

2002
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems.
Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Introducing Reference Semantics via Refinement.
Proceedings of the Formal Methods and Software Engineering, 2002

2000
Recursive Schema Definitions in Object-Z.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

The object-Z specification language.
Advances in formal methods 1, Kluwer, ISBN: 978-0-7923-8684-1, 2000

1997
The Second ISEW Cleanroom Workshop.
Proceedings of the Pulling Together, 1997

1996
First ISEW Cleanroom workshop summary.
ACM SIGSOFT Softw. Eng. Notes, 1996

1995
Extending <i>W</i> for Object-Z.
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Reasoning about Object-Z Specifications.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994
An Object-Oriented Development Framework for Z.
Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

A Development Framework for Object-Oriented Specification and Refinement.
Proceedings of the TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, 1994

Formal definitions of behavioural compatibility for active and passive objects.
Proceedings of the First Asia-Pacific Software Engineering Conference, 1994


  Loading...