Items where Author / Artist / Editor is "Gay, Simon J."

Article

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2018) Automated equivalence checking of concurrent quantum systems. ACM Transactions on Computational Logic (TOCL), 19 (4) , 28. pp. 1-32. ISSN 1529-3785 [Article] (doi:10.1145/3231597)

Davidson, Tim, Gay, Simon J., Mlnařík, Hynek, Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 and Papanikolaou, Nikolaos K. (2012) Model checking for communicating quantum processes. International Journal of Unconventional Computing, 8 (1) . pp. 73-98. ISSN 1548-7199 [Article]

Book Section

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2013) Equivalence checking of quantum protocols. In: Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference Proceedings (TACAS 2013). Piterman, Nir and Smolka, Scott A., eds. Lecture Notes in Computer Science (7795) . Springer, Berlin, pp. 478-492. ISBN 9783642367410. [Book Section] (doi:10.1007/978-3-642-36742-7_33)

Gay, Simon J. and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2013) Techniques for formal modelling and analysis of quantum systems. In: Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Springer Verlag, pp. 264-276. . [Book Section] (doi:10.1007/978-3-642-38164-5_18)

Gay, Simon J., Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 and Papanikolaou, Nikolaos (2008) QMC: a model checker for quantum systems. In: Computer Aided Verification : 20th International Conference, (CAV 2008) Proceedings. Gupta, Aarti and Malik, Sharad, eds. Lecture Notes in Computer Science (5123) . Springer, Berlin, pp. 543-547. ISBN 9783540705437. [Book Section] (doi:10.1007/978-3-540-70545-1_51)

Conference or Workshop Item

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2014) Verification of concurrent quantum protocols by equivalence checking. Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. In: TACAS 2014: 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems,, 5-13 Apr 2014, Grenoble, France. ISBN 9783642548611, e-ISBN 9783642548628. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-642-54862-8_42)