University of Hertfordshire

Publications

  1. 2013
  2. Practical interruptible conversations: Distributed dynamic verification with session types and Python

    Hu, R., Neykova, R., Yoshida, N., Demangeon, R. & Honda, K., 18 Nov 2013, Runtime Verification - 4th International Conference, RV 2013, Proceedings. p. 130-148 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8174 LNCS).

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

  3. SPY: Local verification of global protocols

    Neykova, R., Yoshida, N. & Hu, R., 18 Nov 2013, Runtime Verification - 4th International Conference, RV 2013, Proceedings. p. 358-363 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8174 LNCS).

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

  4. Spotlight on Research Funding

    Williams, J., 18 Nov 2013, In: Journal of Paramedic Practice. 5, 10, p. 593

    Research output: Contribution to journalArticlepeer-review

  5. Effect of ferroelectricity on solar-light-driven photocatalytic activity of BaTiO3 - Influence on the carrier separation and stern layer formation

    Cui, Y., Briscoe, J. & Dunn, S., 12 Nov 2013, In: Chemistry of Materials. 25, 21, p. 4215-4223 9 p.

    Research output: Contribution to journalArticlepeer-review

  6. Sense of coherence and biopsychosocial health in Spanish adolescents.

    García-Moya, I., Moreno, C. & Rivera, F., 12 Nov 2013, In: The Spanish journal of psychology. 16

    Research output: Contribution to journalArticlepeer-review

  7. The extremely red, young L dwarf PSO J318.5338-22.8603: A free-floating planetary-mass analog to directly imaged young gas-giant planets

    Liu, M. C., Magnier, E. A., Deacon, N. R., Allers, K. N., Dupuy, T. J., Kotson, M. C., Aller, K. M., Burgett, W. S., Chambers, K. C., Draper, P. W., Hodapp, K. W., Jedicke, R., Kaiser, N., Kudritzki, R. P., Metcalfe, N., Morgan, J. S., Price, P. A., Tonry, J. L. & Wainscoat, R. J., 10 Nov 2013, In: Astrophysical Journal Letters. 777, 2, L20.

    Research output: Contribution to journalArticlepeer-review

  8. Can Feed Additives reduce the Environmental Impact of Pig Production: Invited talk

    Lewis, K., 7 Nov 2013.

    Research output: Contribution to conferencePaper

  9. Milton Keynes, New Town Utopia

    Garwood, C., 7 Nov 2013.

    Research output: Contribution to conferencePaper

  10. Weather on the nearest brown dwarfs: Resolved simultaneous multi-wavelength variability monitoring of wise J104915.57-531906.1AB

    Biller, B. A., Crossfield, I. J. M., Mancini, L., Ciceri, S., Southworth, J., Kopytova, T. G., Bonnefoy, M., Deacon, N. R., Schlieder, J. E., Buenzli, E., Brandner, W., Allard, F., Homeier, D., Freytag, B., Bailer-Jones, C. A. L., Greiner, J., Henning, T. & Goldman, B., 6 Nov 2013, In: Astrophysical Journal Letters. 778, 1, L10.

    Research output: Contribution to journalArticlepeer-review

  11. Diabetes mellitus and risk of dementia: A meta-analysis of prospective observational studies

    Gudala, K., Bansal, D., Schifano, F. & Bhansali, A., 1 Nov 2013, In: Journal of Diabetes Investigation. 4, 6, p. 640-650 11 p.

    Research output: Contribution to journalArticlepeer-review

  12. Efficacy of a powered wheelchair simulator for school aged children: A randomised controlled trial.

    Linden, M. A., Whyatt, C., Craig, C. & Kerr, C., 1 Nov 2013, In: Rehabilitation Psychology. 58, 4, p. 405-411 7 p.

    Research output: Contribution to journalArticlepeer-review

  13. Ethics education for health professionals: A values based approach

    Godbold, R. & Lees, A., 1 Nov 2013, In: Nurse Education in Practice. 13, 6, p. 553-560 8 p.

    Research output: Contribution to journalArticlepeer-review

  14. Evaluation of the pilot of Domestic Violence Protection Orders

    Kelly, L., Adler, J. R., Horvath, M. A. H., Lovett, J., Coulson, M., Kernohan, D. & Gray, M., 1 Nov 2013, London, UK: Home Office. 79 p. (Research Report)

    Research output: Book/ReportOther report

  15. From aerospace to offshore: Bridging the numerical simulation gaps-Simulation advancements for fluid structure interaction problems

    Hughes, K., Vignjevic, R., Campbell, J., De Vuyst, T., Djordjevic, N. & Papagiannis, L., 1 Nov 2013, In: International Journal of Impact Engineering. 61, p. 48-63 16 p.

    Research output: Contribution to journalArticlepeer-review

  16. Measurement of complex acoustic intensity in an acoustic waveguide

    Duan, W., Kirby, R., Prisutova, J. & Horoshenkov, K. V., 1 Nov 2013, In: Journal of the Acoustical Society of America. 134, 5, p. 3674-3685 12 p.

    Research output: Contribution to journalArticlepeer-review

  17. ‘Made’ in England? The Mediation of Alessi S.p.A

    Lees-Maffei, G., 1 Nov 2013, Made in Italy: Rethinking a Century of Italian Design. Lees-Maffei, G. & Fallan, K. (eds.). London: Bloomsbury Academic, p. 287-304

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  18. An agile method for teaching agile in business schools

    Cubric, M., Nov 2013, In: International Journal of Management Education. 11, 3, p. 119-131

    Research output: Contribution to journalArticlepeer-review

  19. An analysis of information visualisation

    Chen, M. & Floridi, L., Nov 2013, In: Synthese. 190, 16, p. 3421-3438 18 p.

    Research output: Contribution to journalArticlepeer-review

  20. Anima: [for solosits, choir, Tibetan singing bowl and handbells]

    Blinko, T., Nov 2013

    Research output: Non-textual formComposition

  21. Blood/plasma secretome and microvesicles

    Inal, J. M., Kosgodage, U., Azam, S., Stratton, D., Antwi-Baffour, S. & Lange, S., Nov 2013, In: Biochimica et Biophysica Acta - Biomembranes. 1834, 11, p. 2317-25 9 p.

    Research output: Contribution to journalReview articlepeer-review

  22. Chess, Imagination and Perceptual Understanding

    Coates, P., Nov 2013, Philosophy and Sport. O'Hear, A. (ed.). Cambridge University Press, 26 p. Chap 13. (Royal Institute of Philosophy Supplements; vol. 73).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. Control, Planning and Feedback: Sustaining a Dynamic Relationship

    Dalcher, D., Nov 2013, Advanced Management Accounting. Certified General Accountants Assoication of Canada, Vol. MA-2. 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  24. Cultural Evolution of the Structure of Human Groups

    Jordan, F., Van Schaik, C., Francois, P., Gintis, H., Haun, D., Hruschka, D., Janssen, M., Kitts, J., Lehmann, L., Mathew, S., Richerson, P., Turchin, P. & Wiessner, P., Nov 2013, Cultural Evolution: Society, Technology, Language, and Religion. Richerson, P. & Christiansen, M. (eds.). MIT Press, p. 87-116 (Strungmann Forum Reports).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. Developing a social work curriculum on political conflict: Findings from an IASSW-funded project

    Duffy, J., Ramon, S., Guru, S., Lindsay, J., Cemlyn, S. & Nuttman-Shwartz, O., Nov 2013, In: European Journal of Social Work. 16, 5, p. 689-707 19 p.

    Research output: Contribution to journalArticlepeer-review

  26. Discourse analysis, trust and marketing

    Halliday, S. & Catulli, M., Nov 2013, Discourses of Trust. Candlin, C. & Crichton, J. (eds.). Basingstoke UK: Palgrave Macmillan, p. 300-314 (Palgrave Studies in Professional and Organizational Discourse).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Previous 1 2 3 4 5 6 7 8 ...41 Next