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

Group by: Item Type | No Grouping

Number of items: 15.

Article

Amtoft, Torben, Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867 and Clark, David (2020) Correctly slicing extended finite state machines. In: From lambda calculus to cybersecurity through program analysis - essays dedicated to Chris Hankin on the occasion of his retirement. Di Pierro, Alessandra, Malacaria, Pasquale and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962, eds. Theoretical Computer Science and General Issues (12065) . Springer International Publishing, Switzerland, pp. 149-197. pbk-ISBN 9783030411022, e-ISBN 9783030411039. [Book Section] (doi:10.1007/978-3-030-41103-9_6)

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (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. [Book Section] (doi:10.1007/978-3-642-36742-7_33)

Gay, Simon J., Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 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. ISBN 9783540705437. [Book Section] (doi:10.1007/978-3-540-70545-1_51)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Boender, Jaap, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Poly, Guillaume and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2020) Describing and simulating concurrent quantum systems. Biere, Armin and Parker, David, eds. Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 20), 27-30 Apr 2020, Dublin. ISBN 9783030452360, e-ISBN 9783030452377. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-030-45237-7_16)

Di Pierro, Alessandra, Mengoni, Riccardo, Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 and Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 (2017) Hamming distance kernelisation via topological quantum computation. Theory and Practice of Natural Computing TPNC 2017. Lecture Notes in Computer Science, vol 10687. In: 6th International Conference on the Theory and Practice of Natural Computing (TPNC 2017, 18-20 Dec 2017, Prague, Czech Republic. ISBN 9783319710686. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-71069-3_21)

Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Chen, Taolue and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2017) A proof-theoretic trust and reputation model for VANET. 2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). In: S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection, 29 Apr 2017, Paris, France. ISBN 9781538622445. [Conference or Workshop Item] (doi:10.1109/EuroSPW.2017.64)

Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2017) Quantum Bootstrap Aggregation. Quantum Interaction: 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers. In: Quantum Interaction, 20-22 Jul 2016, San Francisco, CA, USA. ISBN 9783319-522883. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-52289-0_9)

Boender, Jaap, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2015) Formalization of quantum protocols using Coq. EPTCS 195: Proceedings 12th International Workshop on Quantum Physics and Logic. In: The 12th International Workshop on Quantum Physics and Logic (QPL 2015), 15-17 Jul 2015, Oxford, United Kingdom. . ISSN 2075-2180 [Conference or Workshop Item]

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (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: TACAS 2014: 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems,, 5-13 Apr 2014, Grenoble, France. ISBN 9783642548611, e-ISBN 9783642548628. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-642-54862-8_42)

This list was generated on Fri Sep 22 04:07:49 2023 BST.

Export as	RSS 1.0 RSS 2.0