University of Hertfordshire

Publications

  1. 2020
  2. Statically Verified Refinements for Multiparty Protocols

    Zhou, F., Ferreira, F., Hu, R., Neykova, R. & Yoshida, N., 20 Nov 2020, In : Proceedings of the ACM on Programming Languages.

    Research output: Contribution to journalArticle

  3. Reply to Russo et al

    Munblit, D., Nekliudov, N. A., Bugaeva, P., Blyuss, O., Timashev, P., Warner, J. O., Comberiati, P., Apfelbacher, C., Politov, M. E., Yavorovskiy, A., Avdeev, S., Kapustina, V. A., Fomin, V., Svistunov, A. A., Butnaru, D. & Glybochko, P., 18 Nov 2020, In : Clinical infectious diseases : an official publication of the Infectious Diseases Society of America.

    Research output: Contribution to journalArticle

  4. Understanding the use of prescription and OTC drugs in obtaining illicit highs and the pharmacist role in preventing abuse

    Chiappini, S., Guirguis, A., Corkery, J. & Schifano, F., 18 Nov 2020, In : The Pharmaceutical Journal. 305, 7943, 31 p.

    Research output: Contribution to journalArticle

  5. LeMMINGs. II. The e-MERLIN legacy survey of nearby galaxies. The deepest radio view of the Palomar sample on parsec scale

    Baldi, R. D., Williams, D. R. A., McHardy, I. M., Beswick, R. J., Brinks, E., Dullo, B. T., Knapen, J. H., Argo, M. K., Aalto, S., Alberdi, A., Baan, W. A., Bendo, G. J., Corbel, S., Fenech, D. M., Gallagher, J. S., Green, D. A., Kennicutt, R. C., Klöckner, H. -R., Körding, E., Maccarone, T. J. & 13 others, Muxlow, T. W. B., Mundell, C. G., Panessa, F., Peck, A. B., Pérez-Torres, M. A., Romero-Cañizales, C., Saikia, P., Shankar, F., Spencer, R. E., Stevens, I. R., Varenius, E., Ward, M. J. & Yates, J., 17 Nov 2020, In : Monthly Notices of the Royal Astronomical Society.

    Research output: Contribution to journalArticle

  6. Species-Specific Interactions of Bacillus Innocula and Arbuscular Mycorrhizal Fungi Symbiosis with Winter Wheat

    Wilkes, T., Warner, D., Edmonds-Brown, V. & Davies, K., 16 Nov 2020, In : Microorganisms. 8, 11, 19 p., 1795.

    Research output: Contribution to journalArticle

  7. The uptake and use of a minimum data set (MDS) for older people living and dying in care homes in England – a realist review protocol

    Musa, M., Akdur, G., Hanratty, B., Kelly, S., Gordon, A., Peryer, G., Spilsbury, K., Killett, A., Burton, J., Meyer, J., Fortescue, S., Towers, A-M., Irvine, L. & Goodman, C., 14 Nov 2020, In : BMJ Open. 10, 11, 7 p., e040397.

    Research output: Contribution to journalArticle

  8. Simulation in the time of COVID 19

    Moneypenny, M., Alinier, G., Attoe, C. & McCormack, S., 10 Nov 2020, In : BMJ Simulation & Technology Enhanced Learning. 6, p. Ai-Aii 2 p.

    Research output: Contribution to journalEditorial

  9. “Dance like nobody’s watching”: exploring the role of dance-based interventions in perceived well-being and bodily awareness in people with Parkinson’s.

    Hadley, R., Eastwood-Gray, O., Kiddier, M., Rose, D. & Ponzo, S., 5 Nov 2020, In : Frontiers in Psychology. 11, 11 p., 531567.

    Research output: Contribution to journalArticle

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