Items where Author / Artist / Editor is "Nagarajan, Rajagopal"

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

Article

Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516, Mengoni, Riccardo and Nagarajan, Rajagopal (2018) Quantum error-correcting output codes. International Journal of Quantum Information, 16 (8). p. 1840003. ISSN 1793-6918 (doi:10.1142/s0219749918400038)

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)

Davidson, Tim, Gay, Simon J., Mlnařík, Hynek, Nagarajan, Rajagopal and Papanikolaou, Nikolaos K. (2012) Model checking for communicating quantum processes. International Journal of Unconventional Computing, 8 (1). pp. 73-98. ISSN 1548-7199

Müller, Markus, Rogers, Caroline and Nagarajan, Rajagopal (2009) Lossless quantum prefix compression for communication channels that are always open. Physical Review A, 79 (1). ISSN 1050-2947 (doi:10.1103/PhysRevA.79.012302)

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. 9783642367410. (doi:10.1007/978-3-642-36742-7_33)

Gay, Simon J. and Nagarajan, Rajagopal (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. . (doi:10.1007/978-3-642-38164-5_18)

Gay, Simon J., Nagarajan, Rajagopal 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. 9783540705437. (doi:10.1007/978-3-540-70545-1_51)

Conference or Workshop Item

Di Pierro, Alessandra, Mengoni, Riccardo, Nagarajan, Rajagopal and Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 (2017) Hamming distance kernelisation via topological quantum computation. In: 6th International Conference on the Theory and Practice of Natural Computing (TPNC 2017, 18-20 Dec 2017, Prague, Czech Republic. (doi:10.1007/978-3-319-71069-3_21)

Primiero, Giuseppe, Raimondi, Franco, Chen, Taolue and Nagarajan, Rajagopal (2017) A proof-theoretic trust and reputation model for VANET. In: S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection, 29 Apr 2017, Paris, France. (doi:10.1109/EuroSPW.2017.64)

Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 and Nagarajan, Rajagopal (2017) Quantum Bootstrap Aggregation. In: Quantum Interaction, 20-22 Jul 2016, San Francisco, CA, USA. (doi:10.1007/978-3-319-52289-0_9)

Boender, Jaap, Kammueller, Florian and Nagarajan, Rajagopal (2015) Formalization of quantum protocols using Coq. In: The 12th International Workshop on Quantum Physics and Logic (QPL 2015), 15-17 Jul 2015, Oxford, United Kingdom.

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal (2014) Verification of concurrent quantum protocols by equivalence checking. In: 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, 5-13 Apr 2014, Grenoble, France. (doi:10.1007/978-3-642-54862-8_42)

Boender, Jaap, Kammueller, Florian and Nagarajan, Rajagopal (2014) Verification of quantum protocols using Coq. In: 17th Conference on Quantum Information Processing (QIP), 3-7 Feb 2014, Barcelona, Spain.

This list was generated on Thu Nov 14 05:07:22 2019 GMT.