Home > Research > Security Lancaster > Publications & Outputs

Research

View graph of relations

Security Lancaster

321 - 330 out of 3,575Page size: 10
RSS feed of this list
  1. 2020
  2. Published

    Extracting Safe Thread Schedules from Incomplete Model Checking Results

    Metzler, P., Suri, N. & Weissenbacher, G., 31/10/2020, In: International Journal on Software Tools for Technology Transfer. 22, p. 565-581 17 p.

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

  3. Published

    A formally verified SMT approach to true concurrency

    Bowles, J. & Caminati, M. B., 24/10/2020, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020.

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

  4. Published

    Resource Cube: Multi-Virtual Resource Management for Integrated Satellite-Terrestrial Industrial IoT Networks

    Chen, D., Yang, C., Gong, P., Chang, L., Shao, J., Ni, Q., Anpalagan, A. & Guizani, M., 22/10/2020, In: IEEE Transactions on Vehicular Technology. 69, 10, p. 11963-11974 12 p.

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

  5. Published

    Genetic Improvement @ ICSE 2020

    Langdon, W. B., Petke, J., Fredericks, E., Lee, S., Winter, E., Basios, M., Cohen, M. B., Blot, A., Wagner, M., Bruce, B. R., Yoo, S., Gerasimou, S., Krauss, O., Huang, Y. & Gerten, M. C., 19/10/2020, In: ACM SIGSOFT Software Engineering Notes. 45, 4, p. 24-30 7 p.

    Research output: Contribution to Journal/Magazine › Journal article

  6. Published

    SCADA-agnostic Power Modelling for Distributed Renewable Energy Sources

    Althobaiti, A., Jindal, A. & Marnerides, A., 9/10/2020, 2020 IEEE 21st International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM). IEEE, p. 379-384 6 p.

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

  7. Published

    Uncontrolled Randomness in Blockchains: Covert Bulletin Board for Illicit Activity

    Al-Salami, N. & Zhang, B., 6/10/2020, 2020 IEEE/ACM 28th International Symposium on Quality of Service (IWQoS). IEEE, 10 p.

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

  8. Published

    Evaluating the Efficacy of a Mobile App (Drinks:Ration) and Personalized Text and Push Messaging to Reduce Alcohol Consumption in a Veteran Population: Protocol for a Randomized Controlled Trial

    Leightley, D., Rona, R. J., Shearer, J., Williamson, C., Gunasinghe, C., Simms, A., Fear, N. T., Goodwin, L. & Murphy, D., 2/10/2020, In: JMIR Research Protocols. 9, 10, 15 p., e19720.

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

  9. Published

    Personality and language

    Caplan, J. E., Adams, K. & Boyd, R. L., 1/10/2020, The Wiley Encyclopedia of Personality and Individual Differences: Models and Theories. Carducci, B. J. & Nave, C. S. (eds.). John Wiley & Sons, p. 311-316 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Entry for encyclopedia/dictionary

  10. Published

    Transformers: Intrusion Detection Data In Disguise

    Boorman, J., Prince, D. & Green, B., 18/09/2020.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  11. Published

    Hospital admissions for non-communicable disease in the UK military and associations with alcohol use and mental health: a data linkage study

    Goodwin, L., Leightley, D., Chui, Z. E., Landau, S., McCrone, P., Hayes, R. D., Jones, M., Wessely, S. & Fear, N. T., 10/09/2020, In: BMC Public Health. 20, 17 p., 1236.

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

Previous 1...29 30 31 32 33 34 35 36 ...358 Next

Back to top