University of Hertfordshire

Publications

  1. 2014
  2. "The fridge door is open": temporal verification of a robotic assistant's behaviours

    Dixon, C., Webster, M., Saunders, J., Fisher, M. & Dautenhahn, K., 2014, Advances in Autonomous Robotics: Procs 15th Annual Conf, TAROS 2014. Mistry, M. (ed.). Springer, p. 97-108 (Lecture Notes in Computer Science (LNAI); vol. 8717).

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

  3. A Case Study in Coordination Programming: S-Net vs Concurrent Collection

    Zaichenkov, P., Gijsbers, B., Grelck, C., Tveretina, O. & Shafarenko, A., 2014, Proceedings of Programming Models, Languages and Compilers Workshop for Manycore and Heterogeneous Architectures . Vol. 2015. 1 p. 376317

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

  4. An Informational Study of the Evolution of Codes in Different Population Structures

    Burgos, A. & Polani, D., 2014, ALIFE 14: Procs of the 14th Int Conf on the Synthesis and Simulation of living Systems. Sayama, H. (ed.). MIT Press, p. 352-359 8 p.

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

  5. Don't Believe Everything You Hear: Preserving Relevant Information by Discarding Social Information

    Salge, C. & Polani, D., 2014, ALIFE 14: Procs of the 14th Int Conf on the Synthesis and Simulation of Living Systems. MIT Press, p. 837-844 8 p.

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

  6. Evolving spiking neural networks for temporal pattern recognition in the presence of noise

    Abdelmotaleb, A., Davey, N., Schilstra, M., Steuber, V. & Wrobel, B., 2014, Artificial Life 2014: Procs of the Fourteenth International Conference on the Synthesis and Simulation of Living Systems. Sayama, H. (ed.). MIT Press, p. 965-972

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

  7. Information-theoretic measures as a generic approach to human-robot interaction: Application in CORBYS project

    Salge, C., Glackin, C., Ristić-Durrant, D., Greaves, M. & Polani, D., 2014, Procs of the 2014 ACM/IEEE Int Conf on Human-Robot Interaction: HRI'14. ACM Press, p. 282-283 2 p.

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

  8. Introduction: Virtually perfect security (transcript of discussion)

    Christianson, B., 2014, Security Protocols XVIII. Christianson, B. & Malcolm, J. (eds.). Springer-Verlag, (Berlin-Heidelberg), p. 1-2 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7061).

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

  9. More security or less insecurity

    Chowdhury, P. D. & Christianson, B., 2014, Security Protocols XVIII. Christianson, B. & Malcolm, J. (eds.). Springer-Verlag, (Berlin-Heidelberg), p. 115-119 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7061).

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

  10. More security or less insecurity (transcript of discussion)

    Christianson, B., 2014, Security Protocols XVIII. Christianson, B. & Malcolm, J. (eds.). Springer-Verlag, (Berlin-Heidelberg), p. 120-126 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7061).

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

  11. Overview of insecticide resistance problems in arthropods

    Denholm, I., 2014, Proceedings III Encuentro Internacional: 'Caligidosis en Chile Estado Actual y Darafios Futuros': 9th April 2014, Puerto Varas, Chile (abstract).

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

Previous 1 2 3 4 Next