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

Model Checking Z Specifications Using SAL., and . ZB, volume 3455 of Lecture Notes in Computer Science, page 85-103. Springer, (2005)Associated Paper: The Object-Z Specification Language., , , and . TOOLS (5), page 465-484. Prentice Hall, (1991)Animation of Object-Z Specifications Using a Z Animator., and . SEFM, page 191-. IEEE Computer Society, (2003)Gravity Points in Potential-Field Approaches to Self Organisation., and . SASO Workshops, page 110-115. IEEE Computer Society, (2010)A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems.. FME, volume 1313 of Lecture Notes in Computer Science, page 62-81. Springer, (1997)A Refinement Framework for Autonomous Agents., and . SBMF, volume 8195 of Lecture Notes in Computer Science, page 163-178. Springer, (2013)Invariant generation for linearizability proofs., and . SAC, page 1694-1699. ACM, (2016)A Framework for Correctness Criteria on Weak Memory Models., and . FM, volume 9109 of Lecture Notes in Computer Science, page 178-194. Springer, (2015)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)