( en | de | ru )

 

Disambiguation of "Smith, Graeme"

Author of the publication

copydeleteadd this publication to your clipboard
Entanglement distillation by extendible maps.

, , , and . Quantum Inf. Comput., 13 (9-10): 751-770 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Graeme Smith

Graeme Cokayne

Graeme Gange

Graeme Pope

Graeme Milligan

 

Other publications of authors with the same name

Extending W for Object-Z.. ZUM, volume 967 of Lecture Notes in Computer Science, page 276-295. Springer, (1995)Formal definitions of behavioural compatibility for active and passive objects.. APSEC, page 336-344. IEEE, (1994)An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems.. IFM, volume 2335 of Lecture Notes in Computer Science, page 267-285. Springer, (2002)Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP., and . Formal Methods Syst. Des., 18 (3): 249-284 (2001)Entanglement distillation by extendible maps., , , and . Quantum Inf. Comput., 13 (9-10): 751-770 (2013)On the separation of correlation-assisted sum capacities of multiple access channels., , , and . ISIT, page 2756-2761. IEEE, (2022)The platypus of the quantum channel zoo., , , , and . ISIT, page 2433-2438. IEEE, (2022)Refactoring Real-time Specifications., and . Refine@FM, volume 214 of Electronic Notes in Theoretical Computer Science, page 359-380. Elsevier, (2008)Preface., , and . REFINE@IFM, volume 201 of Electronic Notes in Theoretical Computer Science, page 1. Elsevier, (2007)Modelling concurrent objects running on the TSO and ARMv8 memory models., , and . Sci. Comput. Program., (2019)