University of Hertfordshire

Publications

  1. Statically Verified Refinements for Multiparty Protocols

    Zhou, F., Ferreira, F., Hu, R., Neykova, R. & Yoshida, N., 1 Oct 2020, (Accepted/In press) In : Proceedings of the ACM on Programming Languages.

    Research output: Contribution to journalArticle

  2. Seasonal Variation of Physical Performance and Inter- limb Asymmetry in Professional Cricket Athletes

    Bishop, C., Weldon, A., Hughes, J., Brazier, J., Loturco, I., Turner, A. & Read, P., 25 Oct 2020, (Accepted/In press) In : Journal of Strength and Conditioning Research.

    Research output: Contribution to journalArticle

  3. Retrieval of SDSS J1416+1348AB

    Gonzales, E., Burningham, B., Faherty, J., Cleary, C., Visscher, C., Marley, M., Lupu, R. & Freedman, R., 2 Oct 2020, (Accepted/In press) In : The Astrophysical Journal.

    Research output: Contribution to journalArticle

  4. On the Boundaries of the m=2 Amplituhedron

    Lukowski, T., 15 Feb 2020, (Accepted/In press) In : ANNALES DE L’INSTITUT HENRI POINCARÉ D.

    Research output: Contribution to journalArticle

  5. Featherweight Go

    Griesemer, R., Hu, R., Kokke, W., Lange, J., Taylor, I. L., Toninho, B., Wadler, P. & Yoshida, N., 1 Oct 2020, (Accepted/In press) In : Proceedings of the ACM on Programming Languages.

    Research output: Contribution to journalArticle

  6. Enhanced follicular delivery of finasteride to human scalp skin using heat and chemical penetration enhancers

    McAuley, W., Farah, H. & Brown, M., 14 Apr 2020, (Accepted/In press) In : Pharmaceutical Research.

    Research output: Contribution to journalArticle

  7. BEYOND THE PURPLE DRANK. STUDY OF PROMETHAZINE ABUSE ACCORDING TO THE EUROPEAN MEDICINES AGENCY (EMA) ADVERSE DRUG REACTIONS (ADR) REPORTS.

    Chiappini, S., Schifano, F., Corkery, J. M. & Guirguis, A., 8 Aug 2020, (Accepted/In press) In : Journal of Psychopharmacology. JOP-2020-4294.R1.

    Research output: Contribution to journalArticle