Paul A. Cairns

2009
31	EE	Mark Blythe, Paul A. Cairns: Critical methods and user generated content: the iPhone on YouTube. CHI 2009: 1467-1476
30	EE	Charlene Jennett, Anna Louise Cox, Paul A. Cairns: Investigating computer game immersion and the component real world dissociation. CHI Extended Abstracts 2009: 3407-3412
2008
29	EE	Sarah Faisal, Brock Craft, Paul A. Cairns, Ann Blandford: Internalization, qualitative methods, and evaluation. BELIV 2008: 5
28	EE	Julie Schiller, Paul A. Cairns: There's always one!: modelling outlying user performance. CHI Extended Abstracts 2008: 3513-3518
27	EE	Brock Craft, Paul A. Cairns: Directions for Methodological Research in Information Visualization. IV 2008: 44-50
26	EE	Paul A. Cairns, Harold W. Thimbleby: Affordance and Symmetry in User Interfaces. Comput. J. 51(6): 650-661 (2008)
25	EE	Simon Attfield, Ann Blandford, John Dowell, Paul A. Cairns: Uncertainty-tolerant design: Evaluating task performance and drag-and-link information gathering for a news-writing task. Int. J. Hum.-Comput. Stud. 66(6): 410-424 (2008)
24	EE	Charlene Jennett, Anna Louise Cox, Paul A. Cairns, Samira Dhoparee, Andrew Epps, Tim Tijs, Alison Walton: Measuring and defining the experience of immersion in games. Int. J. Hum.-Comput. Stud. 66(9): 641-661 (2008)
23	EE	Anna Louise Cox, Paul A. Cairns, Alison Walton, Sasha Lee: Tlk or txt? Using voice input for SMS composition. Personal and Ubiquitous Computing 12(8): 567-588 (2008)
2007
22	EE	Sarah Faisal, Paul A. Cairns, Ann Blandford: Building for Users not for Experts: Designing a Visualization of the Literature Domain. IV 2007: 707-712
21	EE	Paul A. Cairns, Jeremy Gow: Integrating Searching and Authoring in Mizar. J. Autom. Reasoning 39(2): 141-160 (2007)
2006
20	EE	Sarah Faisal, Paul A. Cairns, Ann Blandford: Developing User Requirements for Visualizations of Literature Knowledge Domains. IV 2006: 264-269
19	EE	Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge: Managing Automatically Formed Mathematical Theories. MKM 2006: 237-250
2005
18	EE	Kevin Cheng, Paul A. Cairns: Behaviour, realism and immersion in games. CHI Extended Abstracts 2005: 1272-1275
17	EE	Jeremy Gow, Harold W. Thimbleby, Paul A. Cairns: Automatic Critiques of Interface Modes. DSV-IS 2005: 201-212
16	EE	Brock Craft, Paul A. Cairns: Beyond Guidelines: What Can We Learn from the Visual Information Seeking Mantra? IV 2005: 110-118
15		Hyunjin Cha, Lidia Oshlyansky, Paul A. Cairns: Mobile Phone Preferences and Values: the U.K. vs. Korea. IWIPS 2005: 29-41
14	EE	Paul A. Cairns, Jeremy Gow: Literate Proving: Presenting and Documenting Formal Proofs. MKM 2005: 159-173
2004
13	EE	Emily Brown, Paul A. Cairns: A grounded investigation of game immersion. CHI Extended Abstracts 2004: 1297-1300
12		Lidia Oshlyansky, Paul A. Cairns, Kevin Foy: User Centred Design and the Japanese User. IWIPS 2004: 9-20
11	EE	Paul A. Cairns: Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics. MKM 2004: 58-72
10	EE	Lidia Oshlyansky, Harold W. Thimbleby, Paul A. Cairns: Breaking affordance: culture as context. NordiCHI 2004: 81-84
9	EE	Paul A. Cairns, Jeremy Gow: Using and Parsing the Mizar Language. Electr. Notes Theor. Comput. Sci. 93: 60-69 (2004)
2003
8	EE	Paul A. Cairns, Jeremy Gow: A Theoretical Analysis of Hierarchical Proofs. MKM 2003: 175-187
7	EE	Georgi Goguadze, Erica Melis, Carsten Ullrich, Paul A. Cairns: Problems and Solutions for Markup for Mathematical Examples and Exercises. MKM 2003: 80-92
6		Paul A. Cairns, Jeremy Gow, Peter Collins: On Dynamically Presenting a Topology Course. Ann. Math. Artif. Intell. 38(1-3): 91-104 (2003)
2001
5		Paul A. Cairns, Christian R. Huyck, Ian Mitchell, Wendy Xihyu Wu: A Comparison of Categorisation Algorithms for Predicting the Cellular Localisation Sites of Proteins. DEXA Workshop 2001: 296-300
4	EE	Harold W. Thimbleby, Paul A. Cairns, Matt Jones: Usability analysis with Markov models. ACM Trans. Comput.-Hum. Interact. 8(2): 99-132 (2001)
3	EE	Harold W. Thimbleby, Stuart Anderson, Paul A. Cairns: Reply to `Comment on "A Framework for Modelling Trojans and Computer Virus Infection"' by E. Mäkinen. Comput. J. 44(4): 324-325 (2001)
1999
2		Paul A. Cairns: Enumerated Types in Java. Softw., Pract. Exper. 29(3): 291-297 (1999)
1998
1		Harold W. Thimbleby, Stuart Anderson, Paul A. Cairns: A Framework for Modelling Trojans and Computer Virus Infection. Comput. J. 41(7): 444-458 (1998)

Coauthor Index

1	Stuart Anderson	[1] [3]
2	Simon Attfield	[25]
3	Ann Blandford	[20] [22] [25] [29]
4	Mark Blythe	[31]
5	Emily Brown	[13]
6	Hyunjin Cha	[15]
7	Kevin Cheng	[18]
8	Peter Collins	[6]
9	Simon Colton	[19]
10	Anna Louise Cox	[23] [24] [30]
11	Brock Craft	[16] [27] [29]
12	Samira Dhoparee	[24]
13	John Dowell	[25]
14	Andrew Epps	[24]
15	Sarah Faisal	[20] [22] [29]
16	Kevin Foy	[12]
17	Georgi Goguadze	[7]
18	Jeremy Gow	[6] [8] [9] [14] [17] [21]
19	Christian R. Huyck	[5]
20	Charlene Jennett	[24] [30]
21	Matt Jones	[4]
22	Sasha Lee	[23]
23	Erica Melis	[7]
24	Ian M. Mitchell (Ian Mitchell)	[5]
25	Lidia Oshlyansky	[10] [12] [15]
26	Julie Schiller	[28]
27	Volker Sorge	[19]
28	Harold W. Thimbleby	[1] [3] [4] [10] [17] [26]
29	Tim Tijs	[24]
30	Pedro Torres	[19]
31	Carsten Ullrich	[7]
32	Alison Walton	[23] [24]
33	Wendy Xihyu Wu	[5]

Colors in the list of coauthors