University of Hertfordshire

Publications

  1. A landscape of design: Interaction, interpretation and the development of experimental expressive interfaces

    Chamberlain, A., Bødker, M., De Roure, D., Willcox, P., Emsley, I. & Malizia, A., 1 Jun 2018, Human-Computer Interaction. Theories, Methods, and Human Issues - 20th International Conference, HCI International 2018, Proceedings. Kurosu, M. (ed.). Springer Verlag, Vol. 1. p. 24-34 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10901 LNCS).

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

  2. A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems

    Viering, M., Chen, T-C., Eugster, P., Hu, R. & Ziarek, L., 14 Apr 2018, Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Ahmed, A. (ed.). 1 ed. Springer, Vol. 10801. p. 799-826 27 p. (Lecture Notes in Computer Science; vol. 10801).

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

Previous 1 2 3 Next