Home > Royal Holloway home > Research > Profile > Publications
  1. Preprint › Research
  2. Published

    Combatting the Effects of Disorder in Quantum State Transfer

    Keele, C. & Kay, A., 24 Mar 2022, 032612 ed., Physical Review A.

    Research output: Working paperPreprint

  3. Published

    Noise reducing encoding strategies for spin chains

    Keele, C. & Kay, A., 24 Mar 2022, 032613 ed., Physical Review A.

    Research output: Working paperPreprint

  4. Conference article › Research › Peer-reviewed
  5. Published

    4th international workshop on ontologies and conceptual modeling (Onto.Com)

    De Cesare, S., Gailly, F., Guizzardi, G., Lycett, M., Partridge, C. & Pastor, O., 2016, In: CEUR Workshop Proceedings. 1660

    Research output: Contribution to journalConference articlepeer-review

  6. Published

    A posteriori error bounds for joint matrix decomposition problems

    Colombo, N. & Vlassis, N., Dec 2016, In: ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. p. 4950-4957 8 p.

    Research output: Contribution to journalConference articlepeer-review

  7. Forthcoming

    A Session Subtyping Tool

    Lange, J., Bravetti, M., Bacchiani, L. & Zavattaro, G., 21 Apr 2021, (Accepted/In press) In: Lecture Notes in Computer Science.

    Research output: Contribution to journalConference articlepeer-review

  8. Published

    Amending contracts for choreographies

    Bocchi, L., Lange, J. & Tuosto, E., 31 Jul 2011, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 59, p. 111-129 19 p.

    Research output: Contribution to journalConference articlepeer-review

  9. Forthcoming

    Automated Verification of Go Programs via Bounded Model Checking

    Dilley, N. & Lange, J., 8 Jul 2021, (Accepted/In press) In: IEEE/ACM International Conference on Automated Software Engineering.

    Research output: Contribution to journalConference articlepeer-review

  10. Published

    Bayesian semi-supervised learning with graph Gaussian processes

    Ng, Y. C., Colombo, N. & Silva, R., 3 Dec 2018, In: ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. p. 1690-1701 12 p.

    Research output: Contribution to journalConference articlepeer-review

  11. Published

    Bird Song Synthesis Based on Hidden Markov Models

    Bonada, J., Lachlan, R. & Blaauw, M., Sep 2016, In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. 08-12-September-2016, p. 2582-2586 5 p.

    Research output: Contribution to journalConference articlepeer-review

  12. Published

    Bounded verification of message-passing concurrency in Go using Promela and Spin

    Dilley, N. & Lange, J., 3 Apr 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 314, p. 34-45 12 p.

    Research output: Contribution to journalConference articlepeer-review

Previous 1 2 3 4 5 6 7 8 ...4221 Next