Home > Publications

Publications

41526 - 41550 out of 43,238Page size: 25
  1. A framework for predicting soft-fruit yields and phenology using embedded, networked microsensors, coupled weather models and machine-learning techniques

    Lee, M. A., Monteiro, A., Barclay, A., Marcar, J., Miteva-Neagu, M. & Parker, J., Jan 2020, In: Computers and Electronics in Agriculture. 168, 105103.

    Research output: Contribution to journalArticlepeer-review

  2. A framework for predicting personal exposures to environmental hazards

    Zidek, J. V., Shaddick, G., Meloche, J., Chatfield, C. & White, R., Dec 2007, In: Environmental and Ecological Statistics. 14, 4, p. 411-431 21 p.

    Research output: Contribution to journalArticlepeer-review

  3. A Framework for Improving the Sharing of Manufacturing Knowledge through Micro-Blogging

    Evans, R. D., Gao, J. X., Owodunni, O., Shah, S., Mahdikhah, S., Messaadia, M. & Baudry, D., 24 Sep 2014, Advances in Production Management Systems: Innovative and Knowledge-Based Production Management in a Global-Local World - IFIP WG 5.7 International Conference, APMS 2014, Proceedings. PART 1 ed. Springer New York LLC, p. 19-26 8 p. (IFIP Advances in Information and Communication Technology; vol. 438, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Published

    A framework for exploring the policy implications of UK medical tourism and international patient flows

    Lunt, N. T., Mannion, R. & Exworthy, M., Feb 2013, In: Social Policy and Administration. 47, 1, p. 1-25

    Research output: Contribution to journalArticlepeer-review

  5. Published

    A Framework for Enforcing Constrained RBAC Policies

    Crampton, J. & Khambhammettu, H., 2009, Proceedings of 12th IEEE International Conference on Computational Science and Engineering. IEEE Computer Society Press, p. 195--200

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Published

    A framework for design and analysis of asymmetric fingerprinting protocols

    Martin, K. M. & Poh, G. S., 2007, Proceedings of Third International Symposium on Information Assurance and Security IAS 2007. IEEE Computer Society Press, p. 457-461 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. E-pub ahead of print

    A Framework for Cloud ERP System Implementation in Developing Countries: Learning from Lower Local Governments in Uganda

    Mpanga, D. & Elbanna, A., 19 May 2019, (E-pub ahead of print) IFIP WG 8.6 Conference 2019. p. 274-292 19 p. (AICT).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Published

    A framework for benchmarking small business consumers' need for and use of legal services

    Pleasence, P., Balmer, N., Blackburn, R. A. & Wainwright, T., 2012, 161 p. Cambridge : Legal Services Board.

    Research output: Other contribution

  9. Published

    A framework for audit in clinical psychology

    Berger, M., 1991, In: Clinical Psychology Forum.

    Research output: Contribution to journalArticlepeer-review

  10. Published

    A four-element framework for research on the composite materials supply chain

    Mastrocinque, E., Coronado Mondragon, A. E. & Hogg, P., 16 Jun 2015, Engineering Technology, Engineering Education and Engineering Management: Proceedings of the International Conference on Engineering Technologies, Engineering Education and EngineeringManagement (ETEEEM 2014), Hong Kong, 15-16 November 2014. Tan, D. (ed.). CRC Press, p. 423-426 4 p. 94

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Unpublished

    A Fountain for Memory: The Trevi Flow of Power and Transcultural Performance

    Krist, P., 2015, (Unpublished) 284 p.

    Research output: ThesisDoctoral Thesis

  12. Published

    A fossil lycopsid forest succession in the classic Joggins section of Nova Scotia: paleoecology of a disturbance-prone Pennsylvanian wetland.

    Calder, J. H., Gibling, M. R., Scott, A. C., Davies, S. J. & Herbert, B. L., 2006, Wetlands through Time. . Greb, S. J. & DiMichele, W. A. (eds.). Geological Society of America Special Publication , Vol. 399. p. 169-194 26 p. (Geological Society of America Special Paper.; vol. 399).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  13. Published

    A forward-modelling analysis of the controls on sequence stratigraphical geometries

    Burgess, P. & Allen, P., 1996, Sequence Stratigraphy in British Geology. Vol. 103.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  15. 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 proceedingConference contribution

  16. 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 proceedingConference contribution

  17. 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 journalArticle

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

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

  20. 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 proceedingConference contribution

  21. 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 conferencePaperpeer-review

  22. 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 proceedingOther contribution

  23. 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 proceedingOther contribution

  24. 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 proceedingConference contribution

  25. Published

    A Fork Model of Total Quality Management

    Mosadegh Rad, A., 2004.

    Research output: Contribution to conferencePaper