University of Hertfordshire

Publications

  1. Reflections on Duel; performers, performances, technology and the audience

    Godman, R., Pestova, X. & Mead, P., 2009, Procs Coventry University National Music Performance Symposium 2009.

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

  2. Radio Galaxy Physics at Low Frequencies: Lobes, Jets and Environments

    Hardcastle, M. J., 2009, In: Astronomical Society of the Pacific Conference Series 407: Low-frequency Radio Universe. Astronomical Society of the Pacific, p. 121-130

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

  3. Quantum Primitives

    Spring, W. J., 2009, Quantum Communication, Measurement and Computing (QCMC). American Institute of Physics, p. 103-106 (AIP Conference Proceedings; vol. 1110, no. 1).

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

  4. Program Slice Metrics and Their Potential Role in DSL Design

    Counsell, S., Hall, T., Bowes, D. & Black, S., 2009, Proceedings of Workshop on Knowledge Industry Survival Strategy Initiative.

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

  5. Preferences and perceptions of robot appearance and embodiment in human-robot interaction trials

    Walters, M. L., Koay, K. L., Syrdal, D. S., Dautenhahn, K. & Te Boekhorst, R., 2009, Procs of New Frontiers in Human-Robot Interaction: Symposium at AISB09 Convention. p. 136-143

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

  6. Precise worst-case execution time analysis for processors with timing anomalies

    Kirner, R., Kadlec, A. & Puschner, P., 2009, Procs of 21st Euromicro Conference on Real-Time Systems. IEEE, p. 119-129 10 p.

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

  7. On undecidability results of real programming languages

    Kirner, R., Zimmermann, W. & Richter, D., 2009, In: Procs of Kolloquium Programmiersprachen und Grundlagen der Programmierung. 14 p.

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

  8. Model-driven design and organic computing - combinable strategies?

    Puschner, P. & Kirner, R., 2009, Procs of the 12th IEEE Int Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. LOS ALAMITOS: IEEE COMPUTER SOC, p. 101 1 p.

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

  9. Measurement-Based Timing Analysis

    Wenzel, I., Kirner, R., Rieder, B. & Puschner, P., 2009, Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008. Margaria, T. & Steffen, B. (eds.). Springer, p. 430-444 15 p. (Communications in Computer and Information Science; vol. 17, no. 8).

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

  10. Is the Rapid Decay Phase from High Latitude Emission?

    Genet, F. & Granot, J., 2009, Gamma-Ray Bursts: Sixth Huntsville Symposium. American Institute of Physics, p. 406-408 (AIP Conf Procs; vol. 1133).

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