Contact details

Type of addressPostal address
Postal codeYO10 5GH
CountryUnited Kingdom
Address lines
  • Computer Science
    University of York
    Deramore Lane
    York
    YO10 5GH

Phone: (01904) 325674

 https://orcid.org/0000-0002-6508-372X

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

Prof. Paul Antony Cairns

Professor

1 - 25 out of 147Page size: 25
RSS feed of this list
  1. 1998

  2. A framework for modelling trojans and computer virus infection

    Thimbleby, H., Anderson, S. & Cairns, P., 1998

    Article in The Computer Journal

  3. 1999

  4. Enumerated types in Java

    Cairns, P. A., 1999

    Article in Software: Practice and Experience

  5. 2001

  6. A Comparison of Categorisation Algorithms for Predicting the Cellular Localisation Sites of Proteins

    Cairns, P. A., Huyck, C. R., Mitchell, I. & Wu, W. X., 2001, p. 296-300.

    Research output: Contribution to conference › Paper

  7. A comparison of categorisation algorithms for predicting the cellular localization sites of proteins

    Cairns, P., Huyck, C., Mitchell, I. & Wu, W. X., 2001, p. 296--300.

    Research output: Contribution to conference › Paper

  8. Reply to 'comment on "a framework for modelling Trojans and computer virus infection"' by E. Mäkinen

    Thimbleby, H., Anderson, S. O. & Cairns, P. A., 2001

    Article in Computer journal

  9. Reply to `Comment on A Framework for Modelling Trojans and Computer Virus Infection' by E. Mäkinen

    Thimbleby, H. W., Anderson, S. & Cairns, P. A., 2001

    Article in Int. J. Hum.-Comput. Stud.

  10. Usability Analysis with Markov Models

    Thimbleby, H., Cairns, P. & Jones, M., Jun 2001

    Article in ACM Transactions on Computer Human Interaction

  11. 2002

  12. User interface design as systems design

    Thimbleby, H., Blandford, A., Cairns, P., Curzon, P. & Jones, M., 2002, p. 281.

    Research output: Contribution to conference › Paper

  13. 2003

  14. A Theoretical Analysis of Hierarchical Proofs

    Cairns, P. A. & Gow, J., 2003, p. 175-187.

    Research output: Contribution to conference › Paper

  15. Problems and solutions for markup for mathematical examples and exercises

    Goguadze, G., Melis, E., Ullrich, C. & Cairns, P., 2003, p. 80--92.

    Research output: Contribution to conference › Paper

  16. On dynamically presenting a topology course

    Cairns, P., Collins, P. & Gow, J., May 2003

    Article in Annals of Mathematics and Artificial Intelligence

  17. 2004

  18. A grounded investigation of game immersion

    Brown, E. & Cairns, P., 2004, p. 1297--1300.

    Research output: Contribution to conference › Paper

  19. Breaking affordance: culture as context

    Oshlyansky, L., Thimbleby, H. & Cairns, P., 2004, p. 81--84.

    Research output: Contribution to conference › Paper

  20. Improving knowledge discovery by combining text-mining and link analysis techniques

    Ben-Dov, M., Wu, W., Feldman, R., Cairns, P. A. & House, R., 2004.

    Research output: Contribution to conference › Paper

  21. Informalising Formal Mathematics: searching the mizar library with Latent Semantics

    Cairns, P., 2004, p. 58--72.

    Research output: Contribution to conference › Paper

  22. User Centred Design and the Japanese User

    Oshlyansky, L., Cairns, P. A. & Foy, K., 2004, p. 9-20.

    Research output: Contribution to conference › Paper

  23. Using and parsing the Mizar language

    Cairns, P. & Gow, J., 2004

    Article in Electronic Notes in Theoretical Computer Science

  24. 2005

  25. Automatic Critiques of Interface Modes

    Gow, J., Thimbleby, H. W. & Cairns, P. A., 2005, p. 201-212.

    Research output: Contribution to conference › Paper

  26. Behaviour, realism and immersion in games

    Cheng, K. & Cairns, P. A., 2005, p. 1272--1275.

    Research output: Contribution to conference › Paper

  27. Beyond Guidelines: What Can We Learn from the Visual Information Seeking Mantra?

    Craft, B. & Cairns, P. A., 2005, p. 110-118.

    Research output: Contribution to conference › Paper

  28. Do 'Attractive Things Work Better'? An Exploration of Search Tool Visualisations

    Chawda, B., Craft, B., Cairns, P., Rüger, S. & Heesch, D., 2005.

    Research output: Contribution to conference › Paper

  29. Engagement with an interactive museum exhibit

    Haywood, N. & Cairns, P., 2005

    Article in People and Computers XX - Engage

  30. Literate Proving: Presenting and Documenting Formal Proofs

    Cairns, P. A. & Gow, J., 2005, p. 159-173.

    Research output: Contribution to conference › Paper

  31. Mobile Phone Preferences and Values: the U.K. vs. Korea

    Cha, H., Oshlyansky, L. & Cairns, P. A., 2005, p. 29-41.

    Research output: Contribution to conference › Paper

  32. 2006

  33. Automatic critiques of interface modes

    Gow, J., Thimbleby, H. & Cairns, P., 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3941 LNCS. p. 201-212 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3941 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Previous 1 2 3 4 5 6 Next

York staff: edit these data