Author of the publication

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.

 

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)The platypus of the quantum channel zoo., , , , and . ISIT, page 2433-2438. IEEE, (2022)On the separation of correlation-assisted sum capacities of multiple access channels., , , and . ISIT, page 2756-2761. IEEE, (2022)A Dafny-based approach to thread-local information flow analysis.. FormaliSE, page 86-96. IEEE, (2023)Bound entangled states with secret key and their classical counterpart, , and . CoRR, (2013)On the Separation of Correlation-Assisted Sum Capacities of Multiple Access Channels., , , and . IEEE Trans. Inf. Theory, 69 (9): 5805-5844 (September 2023)A Framework for Correctness Criteria on Weak Memory Models., and . FM, volume 9109 of Lecture Notes in Computer Science, page 178-194. Springer, (2015)Specification, Refinement and Verification of Concurrent Systems---An Integration of Object-Z and CSP, and . Form. Methods Syst. Des., 18 (3): 249--284 (2001)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)On Directional Bias for Network Coverage., , and . BIC-TA, volume 472 of Communications in Computer and Information Science, page 384-388. Springer, (2014)