Number of items: 4.
2014
Ardeshir-Larijani, Ebrahim
(2014)
Automated equivalence checking of quantum information systems.
PhD thesis, University of Warwick.
Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal
(2014)
Verification of concurrent quantum protocols by equivalence checking.
In: ΓbrahΓ‘m, Erika and Havelund, Klaus, (eds.)
Tools and Algorithms for the Construction and Analysis of Systems.
Lecture Notes in Computer Science, Volume 8413
.
Springer Berlin Heidelberg, pp. 500-514.
ISBN 9783642548611
2013
Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal
(2013)
Equivalence checking of quantum protocols.
In: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Rome, Italy, 16-24 March 2013. Published in: Tools and Algorithms for the Construction and Analysis of Systems, Proceedings, Volume 7795
pp. 478-492.
ISBN 9783642367410.
doi:10.1007/978-3-642-36742-7_33
ISSN 0302-9743.
2007
Ardeshir-Larijani, Ebrahim and Sarbazi-Azad, H.
(2007)
Parallel hermite interpolation on the pyramid.
In: 22nd International Symposium on Computer and Information Sciences (ISCIS 2007), Ankara, Turkey, 7-9 Nov 2007. Published in: 22nd international symposium on Computer and Information Sciences, 2007. iscis 2007.
pp. 1-5.
ISBN 9781424413638.
This list was generated on Wed Jun 7 19:23:04 2023 BST.