Home > Research > Publications & Outputs
  1. Published

    Verification of Policies in Human Cyber-Physical Systems: the Role and Importance of Resilience

    Gouglidis, A. & Hutchison, D., 10/04/2018.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  2. Published

    Verification of Resilience Policies that Assist Attribute Based Access Control

    Gouglidis, A., Hu, V. C., Busby, J. S. & Hutchison, D., 24/03/2017, ABAC '17 Proceedings of the 2nd ACM Workshop on Attribute-Based Access Control. New York: ACM, p. 43-52 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  3. Published

    Verification of secure inter-operation properties in multi-domain RBAC systems

    Gouglidis, A., Mavridis, I. & Hu, V. C., 06/2013, Software Security and Reliability-Companion (SERE-C), 2013 IEEE 7th International Conference on . IEEE, p. 35-44 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  4. Published

    Verification of the digital discrimination of neutrons and γ rays using pulse gradient analysis by digital measurement of time of flight.

    Aspinall, M., D’Mellow, B., Mackin, R. O., Joyce, M. J., Hawkes, N. P., Thomas, D. J., Jarrah, Z., Peyton, A. J., Nolan, P. J. & Boston, A. J., 21/12/2007, In: Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. 583, 2-3, p. 432-438 7 p.

    Research output: Contribution to journalJournal articlepeer-review

  5. Published

    Verifying emission factors and national POPs emission inventories for the UK using measurements and modelling at two rural locations

    Lohmann, R., Lee, R. G. M., Abbott, J., Coleman, P. & Jones, K. C., 2006, In: Journal of Environmental Monitoring. 8, 1, p. 79-88 10 p.

    Research output: Contribution to journalJournal articlepeer-review

  6. Published

    Verifying semantic conformance of state machine-to-java code generators

    Rahim, L. A. & Whittle, J., 2010, Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. Petriu, D. C., Rouquette, N. & Haugen, Ø. (eds.). Berlin: Springer Verlag, p. 166-180 15 p. (Lecture Notes in Computer Science; vol. 6394).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  7. Published

    VERITAS: Mind-mapping in Virtual Reality

    Sims, R. & Karnik, A., 28/06/2021, 2021 7th International Conference of the Immersive Learning Research Network (iLRN). IEEE, 8 p. (2021 7th International Conference of the Immersive Learning Research Network (iLRN) ).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  8. Published

    Vermamoeba vermiformis does not propagate Legionella pneumophila subsp. pascullei in a simulated laboratory dental-unit waterline system

    Dillon, M., Singhrao, S., Achilles-Day, U., Pearce, M., Morton, L. H. G. & Crean, S., 05/2014, In: International Biodeterioration and Biodegradation. 90, p. 1-7 7 p.

    Research output: Contribution to journalJournal articlepeer-review

  9. Published

    Vermeer: direct interaction with a 360176; viewable 3D display

    Butler, A., Hilliges, O., Izadi, S., Hodges, S., Molyneaux, D., Kim, D. & Kong, D., 2011, UIST '11 Proceedings of the 24th annual ACM symposium on User interface software and technology. New York, NY, USA: ACM, p. 569-576 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  10. Published

    Vernacular accounts of 'national identity' in post-devolution Scotland and England.

    Condor, S. G. & Abell, J., 2006, Devolution and identity. Wilson, J. & Stapleton, K. (eds.). London: Ashgate, p. 51-75 25 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  11. Forthcoming

    Vernacular narratives of well-being and the practice of photo-a-day

    Cox, A. & Brewster, L., 21/09/2020, (Accepted/In press) In: Storytelling, Self, Society: An Interdisciplinary Journal of Storytelling Studies.

    Research output: Contribution to journalJournal articlepeer-review

  12. Published

    Vernacular writing on the web

    Barton, D., 05/2010, The anthropology of writing: understanding textually-mediated worlds. Barton, D. & Papen, U. (eds.). London: Continuum, p. 109-125 16 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  13. Published

    Vernier hybrid machines for compact drive applications.

    Spooner, E., Taverner, P. J., Mueller, M. A., Baker, N. J. & Brooking, P. R. M., 2004, In: Proceedings of the 2nd IEE international conference on power electronics, machines and drives. 1, 31, p. 452-457 6 p.

    Research output: Contribution to journalJournal article

  14. Published

    Vers fran'ois'pas assez limez pour estre mis en lumiere.

    Quainton, M. D., 2004, Etienne de la Bo'tie. Sage r'volutionnaire et po'te p'rigourdin. Actes du Colloque International: Duke University. Champion, 89 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  15. Published

    Vers und lecture graphique des tragiques d'Aubigne.

    Quainton, M. D., 1999, Poétiques d’Aubigné. Geneva: Droz, p. 169-190 22 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  16. Published

    Vers une magie numérique non rétinienne

    Nolan, S., 26/06/2020, Magie numérique: Les Arts trompeurs. Machines. Magie. Médias. Almiron, M., Bazou, S. & Pisano, G. (eds.). Lille: Presses Universitaires du Septentrion

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)peer-review

  17. Published

    Versailles and after. [Chinese translation]

    Henig, R. B., 2001, Unknown Publisher.

    Research output: Book/Report/ProceedingsBook

  18. Published

    Versatile biomimetic conductive polypyrrole films doped with hyaluronic acid of different molecular weights

    Kim, S., Jang, Y., Jang, M., Lim, A., Hardy, J. G., Park, H. S. & Lee, J. Y., 15/10/2018, In: Acta Biomaterialia. 80, p. 258-268 11 p.

    Research output: Contribution to journalJournal articlepeer-review

  19. Published

    Versatile manufacturing companies: an empirical study

    Amaro, G. M., Kingsman, B. G. & Hendry, L., 1996, Manufacturing Strategy: Operations Strategy in Global Context: Papers from the 3rd International Conference of the European Operations Management Association (London) - 1996. N/A: unknown, p. 27-32 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  20. Published

    Verschlossene Türen. Wie Forschungspolitik gemacht wird – in Österreich und anderswo.

    Wodak, R., 2004, In: Jüdisches Echo. 53, p. 256-258 3 p.

    Research output: Contribution to journalJournal articlepeer-review

  21. Published

    Verse epitaphs and the memorialisation of women in Reformation England

    Hyde, J., 11/2016, In: Literature Compass. 13, 11, p. 701-710 10 p.

    Research output: Contribution to journalJournal articlepeer-review

  22. Published

    Versioning the web

    Kirby, A., Rayson, P., Rodden, T., Sommerville, I., Dix, A. & Reidar, C. (ed.), 05/1997, p. 163-173. 11 p.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  23. Published

    Versions of Ecotopia in News from Nowhere

    Pinkney, T., 2010, William Morris in the Twenty-First Century. Bennett, P. & Miles, R. (eds.). Oxford: Peter Lang, p. 93-106 14 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)

  24. Published

    Versions of Vygotsky.

    Gillen, J., 06/2000, In: British Journal of Educational Studies. 48, 2, p. 183-198 16 p.

    Research output: Contribution to journalJournal articlepeer-review

  25. Published

    Versions, verse, and verve: Jean-Paul Rappeneau's Cyrano de Bergerac.

    Pidduck, J., 2000, French film: text and context. Hayward, S. & Vincendeau, G. (eds.). London: Routledge, p. 281-296 16 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

Back to top