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. Slippery motion between the limbs of a double tendon graft

    Cheung, W., Mahmud, J., Snow, M., Wang, B. & Chizari, M., 29 Oct 2013, Advances in Manufacturing and Mechanical Engineering. p. 965-970 6 p. (Applied Mechanics and Materials; vol. 393).

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

  5. PollyNET - a network of multiwavelength polarization Raman lidars

    Althausen, D., Engelmann, R., Baars, H., Heese, B., Kanitz, T., Komppula, M., Giannakaki, E., Pfuller, A., Maria Silva, A., Preiler, J., Wagner, F., Rascado, J. L., Pereira, S., Lim, J. H., Young Ahn, J., Tesche, M. & Stachlewska, I. S., 22 Oct 2013, Lidar Technologies, Techniques and Measurements for Atmospheric Remote Sensing IX. SPIE, 88940I. (Procs SPIE; vol. 8894).

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

  6. 3D Face Recognition: Feature Extraction based on Directional Signatures From Range Data and Disparity Maps

    Ramalingam, S., 14 Oct 2013, Procs IEEE Int Conf on Systems, Man and Cybernetics 2013. IEEE, p. 4397-4402

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

  7. Tissue Healing and Repair in the Older Person

    Watson, T., 5 Oct 2013, (Unpublished) Unpublished.

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

  8. A comparison of carbon accounting tools and an evaluation of their potential for greenhouse gas mitigation

    Green, A., Warner, D., Tzilivakis, J. & Lewis, K., Oct 2013, Emission of Gas and Dust from Livestock: International Symposium on EMIssion of Gas and Dust from LIvestock (EMILI 2012). Hassouna, M. & Guingand, N. (eds.). Rennes, France, p. 255-259 5 p.

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

  9. Current Concepts in Electrotherapy

    Watson, T., Oct 2013, (Unpublished) Unpublished.

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

  10. Shaping sustainable urbanism: Are garden cities the answer?

    Parham, S., 17 Sep 2013, (Unpublished) “Shaping Canberra: the lived experience of place, home and capital” : Humanities Research Centre Conference, Australian National University. p. 1-9 19 p.

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

  11. Electrotherapy: Is it all Smoke and Mirrors or Does it Really Work?

    Watson, T., 13 Sep 2013, (Unpublished) Unpublished.

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

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