Search the dblp DataBase

Publications of Author

1. Emily Brown, Paul A. Cairns
   A grounded investigation of game immersion. [Citation Graph (0, 0)][DBLP]
   CHI Extended Abstracts, 2004, pp:1297-1300 [Conf]
   
2. Kevin Cheng, Paul A. Cairns
   Behaviour, realism and immersion in games. [Citation Graph (0, 0)][DBLP]
   CHI Extended Abstracts, 2005, pp:1272-1275 [Conf]
   
3. Paul A. Cairns, Christian R. Huyck, Ian Mitchell, Wendy Xihyu Wu
   A Comparison of Categorisation Algorithms for Predicting the Cellular Localisation Sites of Proteins. [Citation Graph (0, 0)][DBLP]
   DEXA Workshop, 2001, pp:296-300 [Conf]
   
4. Jeremy Gow, Harold W. Thimbleby, Paul A. Cairns
   Automatic Critiques of Interface Modes. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 2005, pp:201-212 [Conf]
   
5. Brock Craft, Paul A. Cairns
   Beyond Guidelines: What Can We Learn from the Visual Information Seeking Mantra? [Citation Graph (0, 0)][DBLP]
   IV, 2005, pp:110-118 [Conf]
   
6. Sarah Faisal, Paul A. Cairns, Ann Blandford
   Developing User Requirements for Visualizations of Literature Knowledge Domains. [Citation Graph (0, 0)][DBLP]
   IV, 2006, pp:264-269 [Conf]
   
7. Hyunjin Cha, Lidia Oshlyansky, Paul A. Cairns
   Mobile Phone Preferences and Values: the U.K. vs. Korea. [Citation Graph (0, 0)][DBLP]
   IWIPS, 2005, pp:29-41 [Conf]
   
8. Lidia Oshlyansky, Paul A. Cairns, Kevin Foy
   User Centred Design and the Japanese User. [Citation Graph (0, 0)][DBLP]
   IWIPS, 2004, pp:9-20 [Conf]
   
9. Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge
   Managing Automatically Formed Mathematical Theories. [Citation Graph (0, 0)][DBLP]
   MKM, 2006, pp:237-250 [Conf]
   
10. Paul A. Cairns
    Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics. [Citation Graph (0, 0)][DBLP]
    MKM, 2004, pp:58-72 [Conf]
    
11. Paul A. Cairns, Jeremy Gow
    A Theoretical Analysis of Hierarchical Proofs. [Citation Graph (0, 0)][DBLP]
    MKM, 2003, pp:175-187 [Conf]
    
12. Paul A. Cairns, Jeremy Gow
    Literate Proving: Presenting and Documenting Formal Proofs. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:159-173 [Conf]
    
13. Georgi Goguadze, Erica Melis, Carsten Ullrich, Paul A. Cairns
    Problems and Solutions for Markup for Mathematical Examples and Exercises. [Citation Graph (0, 0)][DBLP]
    MKM, 2003, pp:80-92 [Conf]
    
14. Lidia Oshlyansky, Harold W. Thimbleby, Paul A. Cairns
    Breaking affordance: culture as context. [Citation Graph (0, 0)][DBLP]
    NordiCHI, 2004, pp:81-84 [Conf]
    
15. Paul A. Cairns, Jeremy Gow, Peter Collins
    On Dynamically Presenting a Topology Course. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:91-104 [Journal]
    
16. 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. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2001, v:44, n:4, pp:324-325 [Journal]
    
17. Harold W. Thimbleby, Stuart Anderson, Paul A. Cairns
    A Framework for Modelling Trojans and Computer Virus Infection. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1998, v:41, n:7, pp:444-458 [Journal]
    
18. Paul A. Cairns, Jeremy Gow
    Using and Parsing the Mizar Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:60-69 [Journal]
    
19. Paul A. Cairns
    Enumerated Types in Java. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1999, v:29, n:3, pp:291-297 [Journal]
    
20. Harold W. Thimbleby, Paul A. Cairns, Matt Jones
    Usability analysis with Markov models. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput.-Hum. Interact., 2001, v:8, n:2, pp:99-132 [Journal]
    
21. Sarah Faisal, Paul A. Cairns, Ann Blandford
    Building for Users not for Experts: Designing a Visualization of the Literature Domain. [Citation Graph (0, 0)][DBLP]
    IV, 2007, pp:707-712 [Conf]
    
22. Paul A. Cairns, Jeremy Gow
    Integrating Searching and Authoring in Mizar. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2007, v:39, n:2, pp:141-160 [Journal]
    
23. 
    Educational Narrative and Student Modeling for Ill-Defined Domains. [Citation Graph (, )][DBLP]
    
    
24. 
    Sketching sketching: outlines of a collaborative design method. [Citation Graph (, )][DBLP]
    
    
25. 
    From the gaming experience to the wider user experience. [Citation Graph (, )][DBLP]
    
    
26. 
    From immersion to addiction in videogames. [Citation Graph (, )][DBLP]
    
    
27. 
    Research methods for HCI. [Citation Graph (, )][DBLP]
    
    
28. 
    The challenges faced by academia preparing students for industry: what we teach and what we do. [Citation Graph (, )][DBLP]
    
    
29. 
    HCI... not as it should be: inferential statistics in HCI research. [Citation Graph (, )][DBLP]
    
    
30. 
    Validating the unified theory of acceptance and use of technology (UTAUT) tool cross-culturally. [Citation Graph (, )][DBLP]
    
    
31. 
    Challenges of evaluating the information visualisation experience. [Citation Graph (, )][DBLP]
    
    
32. 
    Internalization, qualitative methods, and evaluation. [Citation Graph (, )][DBLP]
    
    
33. 
    Critical methods and user generated content: the iPhone on YouTube. [Citation Graph (, )][DBLP]
    
    
34. 
    There's always one!: modelling outlying user performance. [Citation Graph (, )][DBLP]
    
    
35. 
    Investigating computer game immersion and the component real world dissociation. [Citation Graph (, )][DBLP]
    
    
36. 
    Video games as research instruments. [Citation Graph (, )][DBLP]
    
    
37. 
    Competitive carbon counting: can social networking sites make saving energy more enjoyable? [Citation Graph (, )][DBLP]
    
    
38. 
    Character Education Using Pedagogical Agents and Socratic Voice. [Citation Graph (, )][DBLP]
    
    
39. 
    Directions for Methodological Research in Information Visualization. [Citation Graph (, )][DBLP]
    
    
40. 
    Affordance and Symmetry in User Interfaces. [Citation Graph (, )][DBLP]