Home > Publications

Publications

40491 - 40500 out of 41,642Page size: 10
  1. Abstract › Research › Peer-reviewed
  2. Unpublished

    Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic

    Rowe, R., 7 Aug 2016, (Unpublished).

    Research output: Contribution to conferenceAbstractpeer-review

  3. Unpublished

    Comparing quality of life following simultaneous pancreas and kidney transplantation and kidney only transplantation: A qualitative interview sub-study of the ATTOM programme

    Gibbons, A., Cinnirella, M., Draper, H., Ravanan, R., Watson, C., Forsythe, J., Metcalfe, W., Tomson, C., Fogarty, D., Dudley, C., Cairns, J., Johnson, R., Roderick, P., Oniscu, G., Bradley, A. & Bradley, C., Mar 2015, (Unpublished).

    Research output: Contribution to conferenceAbstractpeer-review

  4. Unpublished

    Coping with the consequences of chemotherapy: The experience of women with breast cancer

    Gibbons, A. & Groarke, A., 2012, (Unpublished).

    Research output: Contribution to conferenceAbstractpeer-review

  5. Published

    Cover-free codes and frequency hopping multiple access

    Nyirenda, M., Ng, S-L. & Martin, K. M., Apr 2015.

    Research output: Contribution to conferenceAbstractpeer-review

  6. Unpublished

    Creating home in celebrations: A case study of the Filipino migrant workers’ religious lives in Macau

    Tam, T-I. D., 3 Sep 2021, (Unpublished).

    Research output: Contribution to conferenceAbstractpeer-review

  7. Forthcoming

    Creative Processes in Service-Oriented Computing

    Chirita, C-E. & Luiz Fiadeiro, J., Jul 2016, (Accepted/In press).

    Research output: Contribution to conferenceAbstractpeer-review

  8. Published

    Design of Fast Chip Calorimetry Accessory for In-situ X-ray Nanobeam Experiments

    Odarchenko, Y., Rosenthal, M., Doblas, D., Hernandez, J., G, P., Di Cola, E., Burghammer, M., Soloviev, M. & Ivanov, D. A., 2014.

    Research output: Contribution to conferenceAbstractpeer-review

  9. Forthcoming

    Digi-housekeeping: A New Form of Digital Labour?

    Whiting, R., Roby, H., Symon, G. & Chamakiotis, P., 2015, (Accepted/In press).

    Research output: Contribution to conferenceAbstractpeer-review

  10. Published

    Dike-segment propagation, arrest, and eruption at Fagradalsfjall, Iceland

    Gudmundsson, A., Bazargan, M., Hobe, A., Selek, B. & Tryggvason, A., 2021.

    Research output: Contribution to conferenceAbstractpeer-review

  11. Published

    Efficient State Merging in Symbolic Execution (Extended Abstract)

    Kuznetsov, V., Kinder, J., Bucur, S. & Candea, G., 2014, p. 45-46. 2 p.

    Research output: Contribution to conferenceAbstractpeer-review