Research output per year
Research output per year
Search results
-
2021
On the size of disjunctive formulas in the μ-calculus
Kupke, C., Marti, J. & Venema, Y., 17 Sept 2021, (Submitted) Ithaca, NY, p. 291-307, 17 p. (EPTCS ).Research output: Working paper
File28 Downloads (Pure) -
2020
Investigating error injection to enhance the effectiveness of mobile text entry studies of error behaviour
Komninos, A., Nicol, E. & Dunlop, M., 13 Mar 2020, Ithaca, N.Y., 10 p.Research output: Working paper
Open AccessFile21 Downloads (Pure) -
Mobile text entry behaviour in lab and in-the-wild studies: is it different?
Komninos, A., Katsaris, K., Nicol, E., Dunlop, M. & Garofalakis, J., 13 Mar 2020, Ithaca, N.Y., 22 p.Research output: Working paper
Open AccessFile33 Downloads (Pure) -
2016
Coincidence among families of mesh patterns
Claesson, A., Tenner, B. E. & Ulfarsson, H., 25 May 2016, United States, 17 p.Research output: Working paper
Open AccessFile50 Downloads (Pure) -
1988
HCI perspectives on man-machine systems
Weir, G. R. S., 1988, Glasgow: University of Strathclyde, 16 p.Research output: Working paper
Open AccessFile1 Downloads (Pure)