If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2021

    Entanglement Based Quantum Networks: Protocols, AI control plane coexistence with classical communication

    Joshi, S. K., Huang, Z., Fletcher, A., Solomons, N., Puthoor, I. V., Pelet, Y., Aktas, D., Lupo, C., Quintavalle, A. O., Wengerowsky, S., Tessinari, R. S., Alia, O., Wang, R., Clark, M., Venkatachalam, N., Hugues-Salas, E., Kanellos, G. T., Lončarić, M., Neumann, S. P., Liu, B., & 11 othersScheidl, T., Samec, Z., Kling, L., Qiu, A., Nejabati, R., Simeonidou, D., Andersson, E., Pirandola, S., Ursin, R., Stipcevic, M. & Rarity, J. G., 30 Sep 2021, 2021 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC). IEEE, 9542689

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Protocols beyond just QKD on an eight-user quantum network

    Joshi, S. K., Huang, Z., Fletcher, A., Solomons, N., Puthoor, I. V., Pelet, Y., Aktas, D., Lupo, C., Quintavalle, A. O., Wengerowsky, S., Lončarić, M., Neumann, S. P., Liu, B., Scheidl, T., Samec, Ž., Kling, L., Qiu, A., Andersson, E., Pirandola, S., Ursin, R., & 2 othersStipčević, M. & Rarity, J. G., 9 May 2021, CLEO: Applications and Technology 2021. OPTICA Publishing Group, AM4O.3

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2015

    Equational reasoning about quantum protocols

    Puthoor, I. V. & Gay, S. J., 2015, Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 155-170 16 p. (Lecture Notes in Computer Science; vol. 9138).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2014

    Verification of Linear Optical Quantum Computing using Quantum Process Calculus

    Franke-Arnold, S., Gay, S. J. & Puthoor, I., 2014, Proceedings of Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics. Borgström, J. & Crafa, S. (eds.). Vol. 160. p. 111-129 (Electronic Proceedings in Theoretical Computer Science; vol. 160).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    2 Citations (Scopus)
  • 2013

    Quantum Process Calculus for Linear Optical Quantum Computing

    Franke-Arnold, S., Gay, S. J. & Puthoor, I., 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, Vol. 7948. p. 234-246 (Lecture Notes in Computer Science; vol. 7948).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Citations (Scopus)
  • 2012

    Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols

    Puthoor, I. & Gay, S. J., 2012, Proceedings of the 9th International Workshop on Quantum Physics and Logic. Vol. 158. p. 15-28 (Electronic Proceedings in Theoretical Computer Science; vol. 158).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    1 Citation (Scopus)