Home > Publications

Publications

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

    A different kind of inquiry: Somalia vs. Afghanistan

    Dawson, G. & Carvin, S., 25 Jan 2010, Ottawa Citizen.

    Research output: Contribution to non-peer-reviewed publicationNewspaper article

  2. Published

    A Different Reality: Black and White Child Care Careers

    Barn, R., 1993, Prevention and Reunification in Childcare. Triseliotis, J. (ed.). London: Batsford

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Published

    A difficult choice for tiny pests: host-seeking behaviour in Xenos vesparum triungulins

    Manfredini, F., Massolo, A. & Beani, L., 2010, In: Ethology ecology & evolution. 22, 3, p. 247-256 10 p., 925480287.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    A dimensional summation account of polymorphous category learning

    Wills, A., Ellett, L., Milton, F., Croft, G. & Beesley, T., 13 Mar 2020, In: Learning & Behavior. 48, p. 66-83 18 p.

    Research output: Contribution to journalArticlepeer-review

  5. Published

    A direct measurement of the effects of Fermi energy oscillations in quasi-1D systems

    Macks, L. D., Barnes, C. H. W., Nicholls, J. T., Tribe, W. R., Ritchie, D. A., Rose, P. D., Linfield, E. H. & Pepper, M., Feb 2000, In: PHYSICA E-LOW-DIMENSIONAL SYSTEMS. 6, 1-4, p. 518-521 4 p.

    Research output: Contribution to journalArticlepeer-review

  6. Published

    A direct test of the unequal variance signal detection model of recognition memory.

    Mickes, L., Wixted, J. & Wais, P., 2007, In: Psychonomic Bulletin and Review.

    Research output: Contribution to journalArticlepeer-review

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

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

  9. Unpublished
  10. 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

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

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

  13. Published

    A Double Sorrow

    Greenlaw, L., 26 Feb 2014

    Research output: Non-textual formPerformance

  14. Published

    A Double Sorrow: Troilus and Criseyde

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

    Research output: Book/ReportBook

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

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

  17. Forthcoming
  18. 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

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

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

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

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

  23. Published

    A Duet Without You

    Parkinson, T., 11 Jun 2015

    Research output: Non-textual formComposition

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

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

  26. Published

    A Dynamic Bipolarity: The Royal Holloway Chapel Project, Scenography and Art History

    Crawley, G. & O'Neill, H., 2021, Scenography and Art History. von Rosen, A. & Kjellmer, V. (eds.). First ed. London: Bloomsbury Visual Arts, p. 65-84 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  28. A dynamic microsimulation model for epidemics

    Spooner, F., Abrams, J. F., Morrissey, K., Shaddick, G., Batty, M., Milton, R., Dennett, A., Lomax, N., Malleson, N., Nelissen, N., Coleman, A., Nur, J., Jin, Y., Greig, R., Shenton, C. & Birkin, M., Dec 2021, In: Social Science and Medicine. 291, 114461.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

  33. Published

    A European Geography

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

  41. Published
  42. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  57. Published

    A Feminist Educator's Peregrination Through Sociology

    Deem, R., 1994, Lancaster University.

    Research output: Other contribution

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  76. Published

    A Fork Model of Total Quality Management

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

    Research output: Contribution to journalArticlepeer-review

  77. Published

    A Fork Model of Total Quality Management

    Mosadegh Rad, A., 2004.

    Research output: Contribution to conferencePaper

  78. Published

    A Fork Model of Total Quality Management

    Mosadegh Rad, A., 2002.

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

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

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

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

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

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

  92. Unpublished

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

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

    Research output: ThesisDoctoral Thesis

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

  94. Published

    A framework for audit in clinical psychology

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

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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