Search research publications and outputs

  1. Multilinear Cryptography using Nilpotent Groups

    Kahrobaei, D., Tortora, A. & Tota, M., 23 Feb 2019, de Gruyter.

    Research output: Working paper

  2. Non-Markovian Reactivation of Quantum Relays

    Pirandola, S., Ottaviani, C., Jacobsen, C. S., Spedalieri, G., Braunstein, S. L., Gehring, T. & Andersen, U. L., 27 May 2015, p. 1-7, 7 p.

    Research output: Working paper

  3. On the Trustworthiness of Computing Systems

    Dobson, J. E., McDermid, J. A. & Randell, B., 1990.

    Research output: Working paper

  4. Optimal Performance of a Quantum Network

    Pirandola, S., 5 Jan 2016.

    Research output: Working paper

  5. Production of Hierarchic Checkpoint Structures

    McDermid, J. A., 1980, Royal Signals and Radar Establishment.

    Research output: Working paper

  6. Requirements and Constraints on Software Engineering Environments for Dependable Systems

    McDermid, J. A., Hocking, E. S., Shi, Q. & Dobson, J. E., 1990.

    Research output: Working paper

  7. Reuse as a Project Management Tool

    Burd, E. L. & McDermid, J. A., 1992.

    Research output: Working paper

  8. Security Models and Enterprise Models

    Dobson, J. E. & McDermid, J. A., 1989.

    Research output: Working paper

  9. Some Issues in The Formal Design of Redundant Systems

    McDermid, J. A. & Morgan, G., 1989.

    Research output: Working paper

  10. Specification and Design for Timeliness

    Kopetz, H., Fohler, G., Kantz, H., Schuetz, W., Zainlinger, R., Burns, A., McDermid, J. A. & Bhattacharyya, A., 1990.

    Research output: Working paper

  11. Super-Additivity and Entanglement Assistance in Quantum Reading

    Lupo, C. & Pirandola, S., 4 Mar 2016.

    Research output: Working paper

  12. The Analysis of Safety Arguments in the Specification of a Motor Speed Control Loop

    Clarke, S. J., Coombes, A. & McDermid, J. A., 1990.

    Research output: Working paper

  13. The Language of Causation for Describing the Behaviour of Systems

    Moffett, J. D., Hall, J. G. & McDermid, J. A., 19 Oct 2003.

    Research output: Working paper

  14. The Probe Project

    Blanchard, T. D. & McDermid, J. A., 1992.

    Research output: Working paper

  15. Thermal Quantum Metrology

    Spedalieri, G., Braunstein, S. L. & Pirandola, S., 18 Feb 2016.

    Research output: Working paper

  16. Toward Practical Dynamic Software Updating

    Neamtiu, I., Stoyle, G., Oriol, M. & Hicks, M., 2005, College Park: Citeseer.

    Research output: Working paper

  17. What is Integration and do IPSEs Provide It?

    Brown, A. W. & McDermid, J. A., 1991.

    Research output: Working paper