Paul A. Cairns

	2009
32		Rania A. HodHod, Daniel Kudenko, Paul A. Cairns: Educational Narrative and Student Modeling for Ill-Defined Domains. AIED 2009: 638-640
31		Mark Blythe, Paul A. Cairns: Critical methods and user generated content: the iPhone on YouTube. CHI 2009: 1467-1476
30		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		Sarah Faisal, Brock Craft, Paul A. Cairns, Ann Blandford: Internalization, qualitative methods, and evaluation. BELIV 2008: 5
28		Julie Schiller, Paul A. Cairns: There's always one!: modelling outlying user performance. CHI Extended Abstracts 2008: 3513-3518
27		Brock Craft, Paul A. Cairns: Directions for Methodological Research in Information Visualization. IV 2008: 44-50
26		Paul A. Cairns, Harold W. Thimbleby: Affordance and Symmetry in User Interfaces. Comput. J. 51(6): 650-661 (2008)
25		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		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		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		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		Paul A. Cairns, Jeremy Gow: Integrating Searching and Authoring in Mizar. J. Autom. Reasoning 39(2): 141-160 (2007)
	2006
20		Sarah Faisal, Paul A. Cairns, Ann Blandford: Developing User Requirements for Visualizations of Literature Knowledge Domains. IV 2006: 264-269
19		Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge: Managing Automatically Formed Mathematical Theories. MKM 2006: 237-250
	2005
18		Kevin Cheng, Paul A. Cairns: Behaviour, realism and immersion in games. CHI Extended Abstracts 2005: 1272-1275
17		Jeremy Gow, Harold W. Thimbleby, Paul A. Cairns: Automatic Critiques of Interface Modes. DSV-IS 2005: 201-212
16		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		Paul A. Cairns, Jeremy Gow: Literate Proving: Presenting and Documenting Formal Proofs. MKM 2005: 159-173
	2004
13		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		Paul A. Cairns: Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics. MKM 2004: 58-72
10		Lidia Oshlyansky, Harold W. Thimbleby, Paul A. Cairns: Breaking affordance: culture as context. NordiCHI 2004: 81-84
9		Paul A. Cairns, Jeremy Gow: Using and Parsing the Mizar Language. Electr. Notes Theor. Comput. Sci. 93: 60-69 (2004)
	2003
8		Paul A. Cairns, Jeremy Gow: A Theoretical Analysis of Hierarchical Proofs. MKM 2003: 175-187
7		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		Harold W. Thimbleby, Paul A. Cairns, Matt Jones: Usability analysis with Markov models. ACM Trans. Comput.-Hum. Interact. 8(2): 99-132 (2001)
3		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	George Goguadze (Georgi Goguadze)	[7]
18	Jeremy Gow	[6] [8] [9] [14] [17] [21]
19	Rania A. HodHod	[32]
20	Christian R. Huyck	[5]
21	Charlene Jennett	[24] [30]
22	Matt Jones	[4]
23	Daniel Kudenko	[32]
24	Sasha Lee	[23]
25	Erica Melis	[7]
26	Ian M. Mitchell (Ian Mitchell)	[5]
27	Lidia Oshlyansky	[10] [12] [15]
28	Julie Schiller	[28]
29	Volker Sorge	[19]
30	Harold W. Thimbleby	[1] [3] [4] [10] [17] [26]
31	Tim Tijs	[24]
32	Pedro Torres	[19]
33	Carsten Ullrich	[7]
34	Alison Walton	[23] [24]
35	Wendy Xihyu Wu	[5]

Colors in the list of coauthors