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 journalArticlepeer-review

  3. AstroVaDEr: Astronomical Variational Deep Embedder for Unsupervised Morphological Classification of Galaxies and Synthetic Image Generation

    Spindler, A., Geach, J. E. & Smith, M. J., 19 Nov 2020, (Accepted/In press) In: Monthly Notices of the Royal Astronomical Society.

    Research output: Contribution to journalArticlepeer-review

  4. Can Kratom (Mitragyna speciosa) Alleviate COVID-19 Pain? A Case Study

    Metastasio, A., Prevete, E., Singh, D., Grundmann, O., Prozialeck, W. C., Veltri, C., Bersani, G. & Corazza, O., 19 Nov 2020, In: Frontiers in Psychiatry. 11, 6 p., 594816.

    Research output: Contribution to journalArticlepeer-review

  5. Integrating molecular modelling methods to advance influenza A virus drug discovery

    Patel, H. & Kukol, A., 19 Nov 2020, In: Drug Discovery Today.

    Research output: Contribution to journalArticlepeer-review

  6. Constructions and Purposes of School Leadership in the UK

    Woods, P., Torrance, D., Donnelly, C., Hamilton, T., Jones, K. & Potter, I., 18 Nov 2020, (Accepted/In press) In: School Leadership and Management.

    Research output: Contribution to journalArticlepeer-review

  7. Low-power, high-linearity transconductor with a high tolerance for process and temperature variations

    Zhao, J., Sun, Y., Nie, G., Simpson, O. & Xu, W., 18 Nov 2020, In: IET Circuits, Devices & Systems. 14, 8, p. 1295-1304 10 p.

    Research output: Contribution to journalArticlepeer-review

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

  9. 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 journalArticlepeer-review

  10. Adaptive Neural Network-Based Robust H∞ Tracking Control of a Quadrotor UAV Under Wind Disturbances

    Bellahcene, Z., Bouhamida, M., Denai, M. & Assali, K., 17 Nov 2020, In: International Journal of Automation and Control.

    Research output: Contribution to journalArticlepeer-review

Previous 1...5 6 7 8 9 10 11 12 ...77 Next