# Graeme Smith

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

## Bibliography

2022

CoRR, 2022

On the separation of correlation-assisted sum capacities of multiple access channels.

Proceedings of the IEEE International Symposium on Information Theory, 2022

Proceedings of the IEEE International Symposium on Information Theory, 2022

2020

IEEE Trans. Inf. Theory, 2020

IEEE Trans. Inf. Theory, 2020

PLoS Comput. Biol., 2020

Proceedings of the IEEE International Symposium on Information Theory, 2020

2019

CoRR, 2019

2018

IEEE Trans. Inf. Theory, 2018

2017

Proceedings of the 2017 IEEE Information Theory Workshop, 2017

Proceedings of the 2017 IEEE International Symposium on Information Theory, 2017

2016

IEEE Trans. Inf. Theory, 2016

CoRR, 2016

2015

IEEE Trans. Inf. Theory, 2015

2014

IEEE Trans. Inf. Theory, 2014

CoRR, 2014

2013

Quantum Inf. Comput., 2013

Nat., 2013

CoRR, 2013

2012

IEEE Trans. Inf. Theory, 2012

CoRR, 2012

CoRR, 2012

2011

IEEE Trans. Inf. Theory, 2011

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

CoRR, 2011

Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011

2010

Proceedings of the 2010 IEEE Information Theory Workshop, 2010

Proceedings of the IEEE International Symposium on Information Theory, 2010

2009

IEEE Trans. Inf. Theory, 2009

2008

Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

IEEE Trans. Inf. Theory, 2008

IEEE Trans. Inf. Theory, 2008

Proceedings of the 2008 IEEE Information Theory Workshop, 2008

Proceedings of the 2008 IEEE Information Theory Workshop, 2008

Proceedings of the 2008 IEEE International Symposium on Information Theory, 2008

2006

IEEE Trans. Inf. Theory, 2006

2004

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

Proceedings of the Formal Methods and Software Engineering, 2002

2000

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

Proceedings of the Pulling Together, 1997

1996

ACM SIGSOFT Softw. Eng. Notes, 1996

1995

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994

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

Proceedings of the First Asia-Pacific Software Engineering Conference, 1994