Home > Publications

Publications

38101 - 38150 out of 39,671Page size: 50
  1. E-pub ahead of print

    A Formal Model for Checking Cryptographic API Usage in JavaScript

    Mitchell, D. & Kinder, J., 15 Sep 2019, 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

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

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

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

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

  6. Published

    A Fork Model of Total Quality Management

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

    Research output: Contribution to journalArticle

  7. Published

    A Fork Model of Total Quality Management

    Mosadegh Rad, A., 2004.

    Research output: Contribution to conferencePaper

  8. Published

    A Fork Model of Total Quality Management

    Mosadegh Rad, A., 2002.

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  26. Published

    A Feminist Educator's Peregrination Through Sociology

    Deem, R., 1994, Lancaster University.

    Research output: Other contribution

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  49. Published

    A European Geography

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

    Research output: Book/ReportBook

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