Author: Abigail Cauchi

Publications

Co-authors

Paolo Masci

1

Harold Thimbleby

2

Andy Gimblett

2

Productive Colleagues

Paolo Masci

3

Paul Curzon

14

Harold Thimbleby

70

Publications

Thimbleby, Harold, Gimblett, Andy, Cauchi, Abigail (2011): Buffer automata: a UI architecture prioritising HCI concerns for interactive devices. In: ACM SIGCHI 2011 Symposium on Engineering Interactive Computing Systems , 2011, . pp. 73-78. https://dx.doi.org/10.1145/1996461.1996497

Cauchi, Abigail, Gimblett, Andy, Thimbleby, Harold, Curzon, Paul, Masci, Paolo (2012): Safer "5-key" number entry user interfaces using differential formal analysis. In: Proceedings of the HCI12 Conference on People and Computers XXVI , 2012, . pp. 29-38. https://dl.acm.org/citation.cfm?id=2377921