Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Browse by Warwick Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Official Date | Item Type | Funder | No Grouping
Jump to: 2014 | 2013 | 2007
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. ISSN 0302-9743. doi:10.1007/978-3-642-36742-7_33

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 Mon Aug 15 00:58:58 2022 BST.
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us