Home > Research > Publications & Outputs

Research

Publications and Research Outputs

Advanced search »

88541 - 88550 out of 98,929Page size: 10
  1. 2021
  2. Published

    DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

    Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 4/11/2021, 2021 IEEE European Symposium on Security and Privacy, (Euro S & P) 2021. IEEE, p. 523-542 20 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  3. Published

    Graphene’s non-equilibrium fermions reveal Doppler-shifted magnetophonon resonances accompanied by Mach supersonic and Landau velocity effects

    Greenaway, M. T., Kumaravadivel, P., Wengraf, J., Ponomarenko, L. A., Berdyugin, A. I., Li, J., Edgar, J. H., Kumar, R. K., Geim, A. K. & Eaves, L., 4/11/2021, In: Nature Communications. 12, 1, 6 p., 6392.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  4. Published

    Mining the Past: how 'History Scripting' Strategies can Help Family Businesses Achieve Competitive Advantages

    De Massis, A., Ge, B. & Kotlar, J., 4/11/2021

    Research output: Exhibits, objects and web-based outputs › Web publication/site

  5. Published

    Otto Preminger: Interviews

    Bettinson, G., 4/11/2021, Jackson, Mississippi: University Press of Mississippi. 220 p. (Conversations with Filmmakers Series)

    Research output: Book/Report/Proceedings › Book

  6. Published

    Written evidence submitted by Professor David Tyfield and Dr Andy Yuille (Lancaster University) and Professor Matthew Cotton and Dr Nicholas Gray (Teesside University), all in personal capacity, to the Environmental Audit Committee: Inquiry on carbon border adjustment mechanism

    Yuille, A., Tyfield, D., Cotton, M. & Gray, N., 4/11/2021, 6 p. London : Environmental Audit Committee.

    Research output: Other contribution

  7. Forthcoming

    A Deep Learning-based Privacy-Preserving Model for Smart Healthcare in Internet of Medical Things using Fog Computing

    Moqurrab, S. A., Anjum, A., Tariq, N., Asheralieva, A., Malik, S. U. R., Malik, H., Pervaiz, H. & Singh Gill, S., 5/11/2021, (Accepted/In press) In: Wireless Personal Communications.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  8. Published

    Framework for the use of systematic review in chemical risk assessment

    World Health Organization, 5/11/2021, World Health Organization. 65 p.

    Research output: Book/Report/Proceedings › Commissioned report

  9. Published

    Governing Complexity in the 21st Century

    Harrison, N. & Geyer, R., 5/11/2021, London: Routledge. 228 p.

    Research output: Book/Report/Proceedings › Book

  10. Published

    History, Complexity, and Governance

    Rowley, J., Geyer, R. & Harrison, N. E., 5/11/2021, Governing Complexity in the 21st Century. Harrison, N. E. & Geyer, R. (eds.). Routledge, (Complexity in Social Science).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  11. Published

    Mad Studies and Disability Studies

    Morgan, H., 5/11/2021, The Routledge International Handbook of Mad Studies. Beresford, P. & Russo, J. (eds.). Abingdon: Routledge

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Previous 1...8851 8852 8853 8854 8855 8856 8857 8858 ...9893 Next

Back to top