Home > Publications

Publications

Advanced search »

41251 - 41275 out of 42,939Page size: 25
Sort by: Title
  1. Published

    A Formally Verified Mutual Authentication Protocol for Low-Cost RFID Tags

    Abu Ghazalah, S., Markantonakis, K. & Mayes, K., Dec 2014, In: International Journal of RFID Security and Cryprography (IJRFIDSC). 3, 2, p. 156-169 14 p.

    Research output: Contribution to journal › Article › peer-review

  2. Published

    A formal transformation and refinement method for re-engineering concurrent programs

    Younger, E., Bennett, K. & Luo, Z., 1997, Proc of IEEE Inter. Conf. on Software Maintenance.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  3. Published

    A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification

    Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G., Wenzler, N. & Würtele, T., 30 Jul 2021, In: IACR Cryptology ePrint Archive.

    Research output: Contribution to journal › Article

  4. Forthcoming

    A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification

    Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G., Wenzler, N. & Würtele, T., 3 Jul 2021, (Accepted/In press) 43rd IEEE Symposium on Security and Privacy (S&P 2022). Institute of Electrical Engineers

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  5. Published

    A formal model of agent-oriented virtual organisations and their formation

    McGinnis, J., Stathis, K. & Toni, F., 29 Dec 2011, In: Multiagent and Grid Systems. 7, 6, p. 291-310

    Research output: Contribution to journal › Article › peer-review

  6. Published

    A formal model for service-oriented interactions

    Fiadeiro, J., Lopes, A. & Abreu, J., 1 May 2012, In: Science of Computer Programming. 77, 5, p. 577-608 32 p.

    Research output: Contribution to journal › Article › peer-review

  7. E-pub ahead of print

    A Formal Model for Checking Cryptographic API Usage in JavaScript

    Mitchell, D. & Kinder, J., 15 Sep 2019, (E-pub ahead of print) ESORICS'19: Proceedings of the 24th European Symposium on Research in Computer Security. Springer, Vol. 11735. p. 341-360 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  8. Published

    A Formal Framework of Virtual Organisations as Agent Societies

    McGinnis, J., Stathis, K. & Toni, F., 25 Jan 2010, p. 1-14. 14 p.

    Research output: Contribution to conference › Paper › peer-review

  9. Published

    A formal approach to service component architecture

    Fiadeiro, J. L., Bocchi, L. & Lopes, A., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4184 LNCS. p. 193-213 21 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other contribution

  10. Published

    A formal approach to event-based architectures

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3922 LNCS. p. 18-32 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other contribution

  11. Published

    A Formal Adversary Capability Model for SCADA Environments

    Mcevoy, R. & Wolthusen, S. D., 2010, Proceedings of the 5th International Workshop on Critical Information Infrastructures Security (CRITIS 2010). Springer-Verlag, p. 93-103

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  12. Published

    A Fork Model of Total Quality Management

    Mosadegh Rad, A., 2002, In: Tadbir. 130, p. 77-82

    Research output: Contribution to journal › Article › peer-review

  13. Published

    A Fork Model of Total Quality Management

    Mosadegh Rad, A., 2004.

    Research output: Contribution to conference › Paper

  14. Published

    A Fork Model of Total Quality Management

    Mosadegh Rad, A., 2002.

    Research output: Contribution to conference › Paper

  15. Published

    A Forgotten Gem: Marlen Haushofer, Die Wand

    Jeremiah, E., 11 Apr 2011, New Books in German.

    Research output: Contribution to non-peer-reviewed publication › Internet publication

  16. Published

    A forespore checkpoint for mother cell gene expression during development in B. subtilis

    Cutting, S., Oke, V., Driks, A., Losick, R., Lu, S. & Kroos, L., 27 Jul 1990, In: Cell. 62, 2, p. 239-250 12 p.

    Research output: Contribution to journal › Article › peer-review

  17. Published

    A 'Foreign' Queen in King Uther's Court: Fifteenth-Century Insular Xenophobia and Malory's Portrayal of Arthur's Mother

    Chriqui, S., 15 Jun 2016, In: South Atlantic Review. 81, 2, p. 72-92 20 p.

    Research output: Contribution to journal › Article › peer-review

  18. Published

    A FLUID INCLUSION STUDY ON THE TUNGSTEN SKARNS OF COSTABONNE (PYRENEES) - SOME RESULTS ON OVERALL CHEMISTRY AND DAUGHTER MINERALS

    SANTARELLI, F., ALDERTON, D. & GUY, B., 30 Sep 1988, In: COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE II. 307, 10, p. 1231-1236 6 p.

    Research output: Contribution to journal › Article › peer-review

  19. Published

    A fluid inclusion and stable isotope study of 200 Ma of fluid evolution in the Galway Granite, Connemara, Ireland

    OReilly, C., Jenkin, G. R. T., Feely, M., Alderton, D. H. M. & Fallick, A. E., Oct 1997, In: Contributions to Mineralogy and Petrology. 129, 2-3, p. 120-142 23 p.

    Research output: Contribution to journal › Literature review › peer-review

  20. Published

    A flexible object-oriented system for teaching and learning structured IR

    de Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 2007, Proceedings of the First International Workshop on Teaching and Learning of Information Retrieval. London (UK), 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  21. Published

    A first-principles study of the vibrational properties of crystalline tetracene under pressure

    Abdulla, M., Refson, K., Friend, R. H. & Haynes, P. D., 2 Sep 2015, In: Journal of Physics: Condensed Matter. 27, 37, p. 1-10 11 p., 375402.

    Research output: Contribution to journal › Article › peer-review

  22. Published

    A first evaluation of the spatial gradients in δ18O recorded by European Holocene speleothems

    McDermott, F., Atkinson, T. C., Fairchild, I. J., Baldini, L. M. & Mattey, D. P., Dec 2011, In: Global and Planetary Change. 79 , 3-4, p. 275–287

    Research output: Contribution to journal › Article › peer-review

  23. Published

    A First Course in Formal Logic and its Applications in Computer Science

    Dowsing, R., Rayward-Smith, V. J. & Walter, C. D., 1986, Blackwell Scientific Publications, Oxford.

    Research output: Book/Report › Book

  24. Published

    'A Fire Ceremony' in The Forward Book of Poetry 2012

    Potts, K., 6 Oct 2011, London: Faber and Faber. 1 p.

    Research output: Book/Report › Book

  25. Published

    A finitely presented simple group with unsolvable conjugacy problem

    Scott, E., 1984, In: Journal of Algebra. 90, p. 333-353

    Research output: Contribution to journal › Article › peer-review

Previous 1...1647 1648 1649 1650 1651 1652 1653 1654 ...1718 Next

Find an expert

Research
Publications
Projects
Activities
Researchers
Departments and groups