Items where Author / Artist / Editor is "Ardeshir-Larijani, Ebrahim"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Article

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal (2018) Automated equivalence checking of concurrent quantum systems. ACM Transactions on Computational Logic (TOCL), 19 (4) . pp. 28-32. ISSN 1529-3785 (doi:10.1145/3231597)

Book Section

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal (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. (doi:10.1007/978-3-642-36742-7_33)

Conference or Workshop Item

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal (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: 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, 5-13 Apr 2014, Grenoble, France. ISBN 9783642548611. ISSN 0302-9743 (doi:10.1007/978-3-642-54862-8_42)

This list was generated on Fri Dec 13 05:03:16 2019 GMT.