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

  8. A low-noise amplifier with continuously-tuned input matching frequency and output resonance frequency

    Zhu, X., Boon, C. C., Iji, A., Sun, Y. & Heimlich, M., 9 Sep 2013, 2013 IEEE International Symposium on Circuits and Systems, ISCAS 2013. p. 1849-1852 4 p. 6572225

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

  9. A domain-specific embedded language for programming parallel architectures

    McGuiness, J. & Egan, C., Sep 2013, Procs - 12th Int Symposium on Distributed Computing and Applications to Business, Engineering and Science : DCABES 2013. IEEE Computer Society, p. 83-88 6 p. 6636424

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

  10. On Drive-by-Download Attacks and Malware Classification

    Puttaaroo, M., Komisarczuk, P. & Cordeiro De Amorim, R., Sep 2013, Procs Fifth International Conference on Internet Technologies & Applications (ITA 13). Picking, R. (ed.). North East Wales Institute

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

  11. Are judo players more likely to win a PreCadet, Cadet or Junior British Championship medal if they are a member of a Clubmark accredited Club

    Callan, M. & Fletcher, N., 25 Aug 2013, Proceedings of the 8th International Judo Research Symposium. Callan, M. (ed.). Rio de Janeiro, Brazil: International Association of Judo Researchers, p. 17 1 p.

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

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