Skip to content

Research at St Andrews

University > Research portal > Research publications

Advanced search

Search for research publications

1 - 10 out of 2,557Page size: 10
  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 journal › Article

  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 paper › Discussion 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 journal › Article

  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 conference › Poster

  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 journal › Article

  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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 journal › Article

  12. Published

    A comparative view of mentoring approaches in Southampton

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

    Research output: Contribution to conference › Paper

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