Becoming Sandwich Makers: Exploring Provocative Worlds Through an Artist Residency

Snooks, K. & Richards, D., 25/04/2025, Extended Abstracts of the CHI Conference on Human Factors in Computing Systems. Yamashita, N., Evers, V., Yatani, K. & Ding, X. (eds.). New York: ACM, p. 1-10 10 p. 623

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

FlavorDesigner App: Capturing Multisensory Experiences and Crafting Personalized Flavors for Cueing their Recall

Gayler, T., Sas, C. & Kalnikaitė, V., 13/06/2022, DIS 2022 - Proceedings of the 2022 ACM Designing Interactive Systems Conference: Digital Wellbeing. New York: ACM, p. 1441-1456 16 p. (DIS 2022 - Proceedings of the 2022 ACM Designing Interactive Systems Conference: Digital Wellbeing).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

On dynamic delay and repeater insertion.

Tenhunen, H. & Pamunuwa, D. B., 2002, IEEE International Symposium on Circuits and Systems, 2002. IEEE, p. 97-100 4 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification

Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G., Wenzler, N. & Würtele, T., 27/07/2022, 43rd IEEE Symposium on Security and Privacy (S&P 2022). IEEE

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

PRISM: An Experiment Framework for Straggler Analytics in Containerized Clusters

Lindsay, D., Gill, S. & Garraghan, P., 1/12/2019, WoC 2019 Fifth International Workshop on Container Technologies and Container Clouds. ACM, p. 13-18 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Having Fun With Evaluation

Rouncefield, M. F., Race, N. J. P. & Hutchinson, J., 9/09/2015, Proceedings of the 28th International BCS Human Computer Interaction Conference (HCI 2014). BCS, p. 359-364 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report

Andriushchenko, R., Bork, A., Budde, C. E., Češka, M., Grover, K., Hahn, E. M., Hartmanns, A., Israelsen, B., Jansen, N., Jeppson, J., Junges, S., Köhl, M. A., Könighofer, B., Křetínský, J., Meggendorfer, T., Parker, D., Pranger, S., Quatmann, T., Ruijters, E. & Taylor, L. & 3 others, Volk, M., Weininger, M. & Zhang, Z., 1/11/2024, TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions. Beyer, D., Hartmanns, A. & Kordon, F. (eds.). Cham: Springer, p. 90-146 57 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14550 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A Review of the Levelized Cost of Wave Energy Based on a Techno-Economic Model

Guo, C., Sheng, W., De Silva, D. & Aggidis, G., 22/06/2023, ISOPE 2023. ISOPE, p. 663-669 7 p. 471

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Towards Understanding Source Location Privacy in Wireless Sensor Networks through Fake Sources

Jhumka, A., Bradbury, M. & Leeke, M., 6/09/2012, 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications. IEEE, p. 760-768 9 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review