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. Standing on the shoulders of giants: New mass and distance estimates for Betelgeuse through combined evolutionary, asteroseismic, and hydrodynamical simulations with MESA

    Joyce, M., Leung, S-C., Molnár, L., Ireland, M. J., Kobayashi, C. & Nomoto, K., 16 Jun 2020, (Accepted/In press) In : The Astrophysical Journal.

    Research output: Contribution to journalArticle

  3. 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

  4. Link between radio-loud AGNs and host-galaxy shape

    Zheng, X. C., Röttgering, H. J. A., Best, P. N., Wel, A. V. D., Hardcastle, M. J., Williams, W. L., Bonato, M., Prandoni, I., Smith, D. J. B. & Leslie, S. K., 15 Oct 2020, (Accepted/In press) In : Astronomy & Astrophysics.

    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. Cosmic Rates of Black Hole Mergers and Pair-Instability Supernovae from Chemically Homogeneous Binary Evolution

    Buisson, L. D., Marchant, P., Podsiadlowski, P., Kobayashi, C., Abdalla, F. B., Taylor, P., Mandel, I., Mink, S. E. D., Moriya, T. J. & Langer, N., 13 Oct 2020, (Accepted/In press) In : Monthly Notices of the Royal Astronomical Society.

    Research output: Contribution to journalArticle

  8. 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