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.