Home > Publications

Publications

40926 - 40950 out of 42,597Page size: 25
  1. 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

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

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

  4. Published

    A Fork Model of Total Quality Management

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

    Research output: Contribution to journalArticlepeer-review

  5. Published

    A Fork Model of Total Quality Management

    Mosadegh Rad, A., 2004.

    Research output: Contribution to conferencePaper

  6. Published

    A Fork Model of Total Quality Management

    Mosadegh Rad, A., 2002.

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  25. Published

    A Feminist Educator's Peregrination Through Sociology

    Deem, R., 1994, Lancaster University.

    Research output: Other contribution