Home > Publications

Publications

1601 - 1700 out of 42,610Page size: 100
  1. Published

    A dish served cold: targeting revenge in revenge pornography

    Dymock, A., Sep 2019, In: Legal Studies. 39, 3, p. 361-377 17 p.

    Research output: Contribution to journalArticlepeer-review

  2. Published

    A Disputed Fragment of Epictetus in Marcus Aurelius

    Sellars, J., 20 Feb 2018, In: Mnemosyne. 71, 2, p. 331-335 5 p.

    Research output: Contribution to journalArticlepeer-review

  3. Unpublished
  4. Published

    A Distributed Treatment of Exceptions in Multiagent Contracts (Preliminary Report)

    Kafali, O. & Yolum, P., 2011, Proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies (DALT).

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

  5. Published

    A domestication-associated gene, CsLH, encodes a phytochrome B protein that regulates hypocotyl elongation in cucumber.

    Liu, B., Weng, J., Guan, D., Zhang, Y., Niu, Q., Lopez Juez, E., Lai, Y., Garcia-Mas, J. & Huang, D., 16 Jun 2021, In: Molecular Horticulture. 1, 3.

    Research output: Contribution to journalArticlepeer-review

  6. Published

    A Dominant Tectonic Signal in High-Frequency, Peritidal Carbonate Cycles? A Regional Analysis of Liassic Platforms from Western Tethys

    Bosence, D., Procter, E., Aurell, M., Kahla, A. B., Boudagher-Fadel, M., Casaglia, F., Cirilli, S., Mehdie, M., Nieto, L., Rey, J., Scherreiks, R., Soussi, M. & Waltham, D., 1 Jun 2009, In: Journal of Sedimentary Research. 79, 6, p. 389-415 27 p.

    Research output: Contribution to journalArticlepeer-review

  7. Published

    A Double Sorrow: Troilus and Criseyde

    Greenlaw, L., 6 Mar 2014, London: Faber and Faber. 240 p.

    Research output: Book/ReportBook

  8. Published

    A Double Sorrow

    Greenlaw, L., 26 Feb 2014

    Research output: Non-textual formPerformance

  9. A double standard when group members behave badly: Transgression credit to ingroup leaders

    Abrams, D., de Moura, G. R. & Travaglino, G. A., Nov 2013, In: Journal of Personality and Social Psychology. 105, 5, p. 799-815 17 p.

    Research output: Contribution to journalArticlepeer-review

  10. Published

    A Doubling of the Offence? ‘Extreme’ Pornography and Cultural Harm

    Dymock, A., 9 May 2018, Zemiology: Reconnecting Crime and Social Harm. Boukli, A. & Kotzé, J. (eds.). 1 ed. Palgrave Macmillan, p. 165-182 18 p. (Critical Criminological Perspectives).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. Forthcoming
  12. Published

    A DRAMATIC DECREASE IN THE GROWTH-RATE OF ATMOSPHERIC METHANE IN THE NORTHERN-HEMISPHERE DURING 1992

    DLUGOKENCKY, E. J., MASAIRE, K. A., LANG, P. M., TANS, P. P., STEELE, L. P. & NISBET, E. G., 1 Jan 1994, In: Geophysical Research Letters. 21, 1, p. 45-48 4 p.

    Research output: Contribution to journalArticlepeer-review

  13. Published

    A DRAMATIC DECREASE IN THE GROWTH-RATE OF ATMOSPHERIC METHANE IN THE NORTHERN-HEMISPHERE DURING 1992 - REPLY

    DLUGOKENCKY, E. J., MASARIE, K. A., LANG, P. M., TANS, P. P., STEELE, L. P. & NISBET, E. G., 1 Nov 1994, In: Geophysical Research Letters. 21, 22, p. 2447-2448 2 p.

    Research output: Contribution to journalComment/debatepeer-review

  14. Published

    A DRAMATIC DECREASE IN THE GROWTH-RATE OF ATMOSPHERIC METHANE IN THE NORTHERN-HEMISPHERE DURING 1992 (VOL 21, PG 45, 1994)

    DLUGOKENCKY, E. J., MASARIE, K. A., LANG, P. M., TANS, P. P., STEELE, L. P. & NISBET, E. G., 15 Mar 1994, In: Geophysical Research Letters. 21, 6, p. 507-507 1 p.

    Research output: Contribution to journalArticlepeer-review

  15. Published

    A Duality in Space Usage between Left-to-Right and Right-to-Left Exponentiation

    Walter, C. D., 2012, CT-RSA. Dunkelman, O. (ed.). Springer, Vol. 7178. p. 84-97 (Lecture Notes in Computer Science).

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

  16. Published

    A dual-marker system for quantitative studies of myoblast transplantation in the mouse

    Beauchamp, J. R., Pagel, C. N. & Partridge, T. A., 27 Jun 1997, In: Cell transplantation. 63, 12, p. 1794-1797 4 p.

    Research output: Contribution to journalArticlepeer-review

  17. Published

    A Duet Without You

    Parkinson, T., 11 Jun 2015

    Research output: Non-textual formComposition

  18. Published

    A duplex endpoint PCR assay for rapid detection and differentiation of Leptospira strains

    Benacer, D., Mohd Zain, SM., Lewis, J., Khalid, MKNM. & Thong, KL., Mar 2017, In: Review of the Brazilian Society of Tropical Medicine. 50, 2, p. 239-242 4 p.

    Research output: Contribution to journalArticlepeer-review

  19. Published

    A Dynamic and Ubiquitous Smart Card Security Assurance and Validation Mechanism

    Akram, R. N., Markantonakis, K. & Mayes, K., 1 Sep 2010, 25th IFIP International Information Security Conference (SEC 2010). Rannenberg, K. & Varadharajan, V. (eds.). Brisbane, Australia: Springer, p. 161-171 11 p. (IFIP AICT Series).

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

  20. Published

    A Dynamic Distributed Architecture for Preserving Privacy of Medical IoT Monitoring Measurements

    Darwish, S., Nouretdinov, I. & Wolthusen, S., 2018, 16th International Conference On Smart homes and health Telematics (ICOST'2018). Springer, p. 146-157 12 p. (Lecture Notes in Computer Science).

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

  21. Published

    A dynamic model of the black economy

    Anderberg, D., 2005, In: FINANZARCHIV. 61, 4, p. 447-461 15 p.

    Research output: Contribution to journalArticlepeer-review

  22. Published

    A dynamical perspective of CTL cross-priming and regulation: implications for cancer immunology

    Wodarz, D. & Jansen, V. A. A., 1 May 2003, In: Immunology Letters. 86, 3, p. 213-27 15 p.

    Research output: Contribution to journalArticlepeer-review

  23. Published

    A eukaryote assemblage intercalated with Marinoan glacial deposits in South Australia

    le Heron, D., Alderton, D., Collinson, M., Grassineau, N., Dan, S. & Trundley, A. E., May 2016, In: Journal of the Geological Society. 173, 3, p. 560-568 9 p.

    Research output: Contribution to journalArticlepeer-review

  24. Published

    A Europe Wide Web? Political Parties’ Websites in the 2009 European Parliament Elections

    Vaccari, C., 2014, Political Campaigning in the Information Age. Solo, A. (ed.). Hershey, PA: IGI Global, p. 66-87 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. Published

    A European Geography

    Unwin, T. (ed.), 1998, London: Addison, Wesley, Longman. 387 p.

    Research output: Book/ReportBook

  26. Published

    A European monitoring protocol for the stag beetle, a saproxylic flagship species

    Campanaro, A., Zapponi, L., Hardersen, S., Mendez, M., Al Fulaij, N., Audisio, P., Bardiani, M., Carpaneto, G. M., Corezzola, S., Della Rocca, F., Harvey, D., Hawes, C., Kadej, M., Karg, J., Rink, M., Smolis, A., Sprecher-Uebersax, E., Thomaes, A., Toni, I., Vrezec, A. & 3 others, Zauli, A., Zilioli, M. & Chiari, S., Nov 2016, In: Insect Conservation and Diversity. 9, 6, p. 574-584 11 p.

    Research output: Contribution to journalArticlepeer-review

  27. Published

    A Face Centered Cubic Key Agreement Mechanism for Mobile Ad Hoc Networks

    Askoxylakis, I. G., Markantonakis, K., Tryfonas, T., May, J. & Traganitis, A., 2009, Mobile Lightweight Wireless Systems. Granelli, F., Skianis, C., Chatzimisios, P., Xiao, Y., Redana, S., Akan, O., Bellavista, P., Cao, J., Dressler, F., Ferrari, D., Gerla, M., Kobayashi, H., Palazzo, S., Sahni, S., Shen, X., Stan, M., Xiaohua, J., Zomaya, A. & Coulson, G. (eds.). Springer Berlin / Heidelberg, Vol. 13. p. 103-113 11 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering).

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

  28. Published

    A Fact Gathering and Analysis Tool

    Rego, H. B., Layzell, P. J. & Reis, J., 1989, Lima, Proc. CASE'89, Supplementary Volume. p. 335-338 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  29. Published

    A Fair and Anonymous E-commerce Scheme based on Compatible Keys and Digital Coins

    Zhang, Q., Markantonakis, K. & Mayes, K., 2007, A Fair and Anonymous E-commerce Scheme based on Compatible Keys and Digital Coins. China: Springer-Verlag

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

  30. Published

    A Fair Biometric Enabled M-Payment Solution with Anonymity Support

    Zhang, Q., Mayes, K. & Markantonakis, K., 2005, A Fair Biometric Enabled M-Payment Solution with Anonymity Support. Springer-Verlag

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

  31. Published

    A fair certification protocol

    Mitchell, C. J. & Rantos, K., 1999, In: Computer Communication Review. 29, 3, p. 47-49 3 p.

    Research output: Contribution to journalArticlepeer-review

  32. Published

    A fallen idol? Japanese management in the 90s

    Haslam, C., Williams, K., Johal, S. & Williams, J., 1996, In: Asia Pacific Business Review. 2, 4, p. 21-43

    Research output: Contribution to journalArticlepeer-review

  33. Published
  34. Published

    A False Document? Andreï Makine's Le Testament français and the Postmodern Theory of History

    Duffy, H., 2014, In: Irish Journal of French Studies. 14, p. 137-159 23 p.

    Research output: Contribution to journalArticlepeer-review

  35. Published

    A 'family of galleries': repositioning the Tate Gallery

    Chong, D., 1999, In: Museum Management and Curatorship. 18, 2, p. 145-157

    Research output: Contribution to journalArticlepeer-review

  36. Published

    A family with PTEN mutations with malignancy and an unusually high number of offspring with autism spectrum disorder: a case report

    Gruhl, S., Sharma, P. & Han, T., 28 Nov 2018, In: Journal of Medical Case Reports. 12, p. 1-6 6 p., 353.

    Research output: Contribution to journalArticlepeer-review

  37. Published

    A Fantasy of Justice

    O'Brien, J. & Kapitaniak, P. (ed.), 2003, Montaigne et Shakespeare: Vers un nouvel humanisme. Montpellier: Société Française Shakespeare, p. 245-58

    Research output: Chapter in Book/Report/Conference proceedingChapter

  38. Published

    A Farewell to Arms? Criticism of Warfare in Late Fourteenth-Century England

    Saul, N., 2002, Fourteenth Century England II. Given-Wilson, C. (ed.). p. 131-146

    Research output: Chapter in Book/Report/Conference proceedingChapter

  39. Published

    A FAST Front End Application

    Stathis, K., 1 Apr 1994, Proceedings of the 2nd International Conference on the Practical Applications of Prolog (PAP'94). Sterling, L. (ed.). p. 537-548 12 p.

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

  40. Published

    A Fast Glimpse of Knowledge-Based Front-Ends as Games

    Stathis, K. & Sergot, M. J., 1 Oct 1996, Proc. of 1st International Conference on Successes and Failures of Knowledge-Based Systems in Real World Applications. Batanov, D. & Brezillon, P. (eds.). Bangkok, Thailand: AIT Press, p. 19-33 15 p.

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

  41. Published

    A Fast Independent Component Analysis Algorithm for Quaternion Valued Signals

    Cheong Took, C., 2011, In: ieee Transactions on neural networks. 22, 12, p. 1967-1978

    Research output: Contribution to journalArticlepeer-review

  42. Published

    A fast modular exponentiation for RSA on systolic arrays

    Han, Y., Mitchell, C. J. & Gollmann, D., 1997, In: International Journal of Computer Mathematics. 63, p. 215-226 12 p.

    Research output: Contribution to journalArticlepeer-review

  43. Published

    A Faster Fixed-Parameter Approach to Drawing Binary Tanglegrams

    Böcker, S., Hüffner, F., Truss, A. & Wahlström, M., 2009, Parameterized and Exact Computation : 4th International Workshop, IWPEC 2009. Chen, J. & Fomin, F. V. (eds.). Copenhagen, Denmark: Springer, Vol. 5917. p. 38-49 12 p. (Lecture Notes in Computer Science).

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

  44. Published

    A Father, a Daughter and a Procurator: Authority and resistance in the prison memoir of perpetua of carthage

    Cooper, K., Nov 2011, In: Gender and History. 23, 3, p. 685-702 18 p.

    Research output: Contribution to journalArticlepeer-review

  45. Published

    A Feasibility study of a neutrino source based on a muon storage ring

    Muon Collider/Neutrino Factory Collaboration, 2001, In: SLAC-REPRINT-2000-054.

    Research output: Contribution to journalArticlepeer-review

  46. Published

    A feasibility study of the use of continuous subcutaneous insulin infusion in a diabetic clinic: patients' choice of treatment

    Knight, G., Boulton, AJM., Drury, J., Gamsu, DS., Moses, JL., Bradley, C. & Ward, JD., 1984, In: Diabetic Medicine. 1, 4, p. 267-72 6 p.

    Research output: Contribution to journalArticlepeer-review

  47. Published

    A feasibility study of the use of reactive tracers to determine outdoor daytime OH radical concentrations within the urban environment.

    White, I. R., Martin, D., Petersson, K. F., Henshaw, S. J., Nickless, G., Lloyd-Jones, G. C., Clemitshaw, K. C. & Shallcross, D. E., 2014, In: Atmospheric Science Letters. 15, p. 178-185 8 p., DOI: 10.1002/asl2.487.

    Research output: Contribution to journalArticlepeer-review

  48. Published

    A Feed-Forward Neural Network for Increasing the Hopfield-Network Storage Capacity

    Zhao, S., Chen, B., Wang, H., Luo, Z. & Zhang, T., 6 May 2022, In: International Journal of Neural Systems. 16 p.

    Research output: Contribution to journalArticlepeer-review

  49. Published

    A Feminist Educator's Peregrination Through Sociology

    Deem, R., 1994, Lancaster University.

    Research output: Other contribution

  50. Published

    A feminist reading of Foreign policy under Trump: Mother of All Bombs, wall and the “locker room banter”

    Eroukhmanoff, C., 2017, In: Critical Studies on Security. 5, 2, p. 177-181 5 p.

    Research output: Contribution to journalSpecial issuepeer-review

  51. Published

    A Fermi Gamma-Ray Burst Monitor Search for Electromagnetic Signals Coincident with Gravitational-wave Candidates in Advanced LIGO's First Observing Run

    Burns, E., Ashton, G., LIGO Scientific Collaboration & Virgo Collaboration, 24 Jan 2019, In: Astrophysical Journal. 871, 1, 90.

    Research output: Contribution to journalArticlepeer-review

  52. Published

    A Fibre Coupled, Low Power Laserwire Emittance Scanner at CERN LINAC4

    Gibson, S., Boorman, G., Bosco, A., Kruchinin, K., Hofmann, T., Roncarolo, F., Pozimski, J., Gabor, C. & Letchford, A., 20 Jun 2014, 5th International Particle Accelerator Conference: 15-20 June 2014 Dresden, Germany. p. 3725-3728 4 p. THPME190

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

  53. Published

    A field evaluation of the VIPER system: A new technique for eliciting eyewitness identification evidence

    Memon, A., Havard, C., Clifford, B., Gabbert, F. & Watt, M., 2011, In: Psychology, Crime and Law. 17, 8, p. 711-729

    Research output: Contribution to journalArticlepeer-review

  54. In preparation

    A field trip through spin ice

    Sala, G., Castelnovo, C., Moessner, R., sondhi, S., Kitagawa, K., Takigawa, M., Higashinaka, R. & Maeno, Y., 2012, (In preparation) In: Physical Review Letters.

    Research output: Contribution to journalArticlepeer-review

  55. Published

    A Fifteenth-Century Middle English Sermon on the Decline of the World and the Age of Stone

    Bennett, A., 2011, In: Medium Aevum. 80, 2, p. 271-300

    Research output: Contribution to journalArticlepeer-review

  56. Published

    A finite de Finetti theorem for infinite-dimensional systems

    D'Cruz, C., Osborne, T. J. & Schack, R., 2007, In: Physical Review Letters. 98, p. 160406 1 p.

    Research output: Contribution to journalArticlepeer-review

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

  58. 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/ReportBook

  59. 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/ReportBook

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

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

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

  63. 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 journalLiterature reviewpeer-review

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

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

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

  67. Published

    A Forgotten Gem: Marlen Haushofer, Die Wand

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

    Research output: Contribution to non-peer-reviewed publicationInternet publication

  68. Published

    A Fork Model of Total Quality Management

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

    Research output: Contribution to journalArticlepeer-review

  69. Published

    A Fork Model of Total Quality Management

    Mosadegh Rad, A., 2004.

    Research output: Contribution to conferencePaper

  70. Published

    A Fork Model of Total Quality Management

    Mosadegh Rad, A., 2002.

    Research output: Contribution to conferencePaper

  71. 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

  72. 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

  73. 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

  74. 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

  75. 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

  76. 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

  77. 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

  78. 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

  79. 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

  80. 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

  81. 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

  82. 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

  83. 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

  84. Unpublished

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

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

    Research output: ThesisDoctoral Thesis

  85. 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

  86. Published

    A framework for audit in clinical psychology

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

    Research output: Contribution to journalArticlepeer-review

  87. 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

  88. 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

  89. 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

  90. 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

  91. 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

  92. 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

  93. 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

  94. Published

    A Framework for the Cryptographic Enforcement of Information Flow Policies

    Alderman, J., Crampton, J. & Farley, N., 7 Jun 2017, Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies. ACM, p. 143-154 12 p.

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

  95. E-pub ahead of print

    A framework for understanding the empowerment effects of telecentres on rural communities in developing countries

    Kapondera, S. K., Bernadi, R. & Panteli, N., 26 Apr 2019, (E-pub ahead of print) Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperation as a Catalyst for ICT4D: 15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1–3, 2019, Proceedings, Part I. Nielsen, P. & Kimaro, H. C. (eds.). Springer, p. 104-115 12 p. (IFIP Advances in Information and Communication Technology; vol. 551).

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

  96. Published

    A Fresco Portrait of Virgil at Lucignano

    Houghton, L., 2003, In: Journal of the Warburg and Courtauld Institutes. 66, p. 1-28

    Research output: Contribution to journalArticlepeer-review

  97. Published

    A Full Operational Semantics for Asynchronous Relational Networks

    Vissani, I., Lopez Pombo, C., Tutu, I. & Fiadeiro, J. L., 30 Dec 2015, Recent Advances in Algebraic Development Techniques. Springer, p. 131-150 20 p. (Lecture Notes in Computer Science; vol. 9463).

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

  98. Published

    A Functional Approach to Clinical Practise: Introducing the International Classification of Functions and its Implications for Clinical Psychology

    Berger, M., 2008, In: Leicester: British Psychological Society.

    Research output: Contribution to journalArticle

  99. E-pub ahead of print

    A Functional Perspective on Machine Learning via Programmable Induction and Abduction

    Cheung, S., Davariu, V., Ghica, D., Muroya, K. & Rowe, R., 24 Apr 2018, (E-pub ahead of print) FLOPS 2018: Functional and Logic Programming. Springer, Vol. 10818. p. 84-98 15 p. (Lecture Notes in Computer Science).

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

  100. Published

    A fundamental limitation of conjunctive codes in PDP models of cognition: Comments on Botvinick and Plaut

    Bowers, J. S., Damian, M. F. & Davis, C. J., 2009, In: Psychological Review. 116, p. 986-997

    Research output: Contribution to journalArticlepeer-review