Skip to content

Research at St Andrews

Advanced search

Search for research publications

  1. 2019
  2. E-pub ahead of print

    Automating Event-B invariant proofs by rippling and proof patching

    Lin, Y., Bundy, A., Grov, G. & Maclean, E. 2 Feb 2019 In : Formal Aspects of Computing. First Online, 35 p.

    Research output: Contribution to journalArticle

  3. Published

    Choice, deferral and consistency

    Costa-Gomes, M., Cueva, C., Gerasimou, G. & Tejiscak, M. 9 Jan 2019 St Andrews: University of St Andrews, p. 1-45 45 p.(School of Economics & Finance Discussion Paper; no. 1416)

    Research output: Working paperDiscussion paper

  4. Published

    How people visually represent discrete constraint problems

    Zhu, X., Nacenta, M., Akgün, Ö. & Nightingale, P. W. 24 Jan 2019 In : IEEE Transactions on Visualization and Computer Graphics. Early Access, 14 p.

    Research output: Contribution to journalArticle

  5. Published

    How to learn GAP - an open source software system for discrete computational mathematics

    Konovalov, A. & Torpey, M. C. Jan 2019

    Research output: Contribution to conferencePoster

  6. Forthcoming

    Linking Scottish vital event records using family groups

    Akgün, Ö., Dearle, A., Kirby, G. N. C., Garrett, E., Dalton, T. S., Christen, P., Dibben, C. J. L. & Williamson, L. E. P. 15 Jan 2019 (Accepted/In press) In : Historical Methods: a Journal of Quantitative and Interdisciplinary History.

    Research output: Contribution to journalArticle

  7. Published

    Proof-carrying plans

    Schwaab, C. J., Komendantskaya, E., Hill, A., Farka, F., Petrick, R., Wells, J. & Hammond, K. Jan 2019 Practical Aspects of Declarative Languages: 21st International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. Alferes, J. J. & Johansson, M. (eds.). Cham: Springer, p. 204-220 19 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 11372)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Published

    Supervisor recommendation tool for Computer Science projects

    Zemaityte, G. & Terzic, K. 9 Jan 2019 Proceedings of the 3rd Conference on Computing Education Practice (CEP '19) . New York: ACM, 4 p. 1

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Published

    Teaching data ethics: "We're going to ethics the heck out of this"

    Henderson, T. 9 Jan 2019 Proceedings of the 3rd Conference on Computing Education Practice (CEP'19). New York: ACM, 4 p. 4

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. 2018
  11. E-pub ahead of print

    A cache-level quality of experience metric to characterize ICNs for adaptive streaming

    Li, W., Fayed, M., Oteafy, S. M. A. & Hassanein, H. S. 28 Dec 2018 In : IEEE Communications Letters. 23, 2, p. 262-265 4 p., 8594670

    Research output: Contribution to journalArticle

  12. Published

    A comparative view of mentoring approaches in Southampton

    Wilde, A. G. & Perisic, V. 13 Sep 2018

    Research output: Contribution to conferencePaper

Previous 1 2 3 4 5 6 7 8 ...256 Next