Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. Published

    Groupoids and Conditional Symmetry

    Gent, I. P., Kelsey, T. W., Linton, S. A., Pearson, J., Roney-Dougal, C. M. & Bessiere, C., Sep 2007, p. 823-830.

    Research output: Contribution to conferencePaperpeer-review

  2. Published

    New developments in symmetry breaking in search using computational group theory

    Kelsey, T. W., Linton, S. A. & Roney-Dougal, C. M., 2004, p. 199-210.

    Research output: Contribution to conferencePaperpeer-review

  3. Published

    An efficient programming model for memory-intensive recursive algorithms using parallel disks

    Slavici, V., Kunkle, D., Cooperman, G. & Linton, S. A., 2012, ISSAC 2012: Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation . New York: ACM, p. 327-334 8 p.

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

  4. Published

    Casimir forces for inhomogeneous planar media

    Xiong, C., Kelsey, T., Linton, S. A. & Leonhardt, U., 25 Jan 2013, Journal of Physics: Conference Series. 1 ed. Vol. 401. 6 p. (Journal of Physics: Conference Series; vol. 410, no. 1).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Published

    Computing transformation semigroups

    Linton, S. A., Pfeiffer, G., Robertson, E. F. & Ruskuc, N., Feb 2002, In: Journal of Symbolic Computation. 33, 2, p. 145-162 18 p.

    Research output: Contribution to journalArticlepeer-review

  6. Published

    Conditional symmetry breaking

    Gent, I. P., Kelsey, T., Linton, S. A., McDonald, I., Miguel, I. & Smith, B. M., Oct 2005, Principles and practice of constraint programming--CP 2005: 11th international conference, CP 2005, Sitges, Spain, October 1-5, 2005 : Proceedings . Van Beek, P. (ed.). Springer, p. 256-270 15 p. (Lecture notes in computer science; vol. 3709).

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

  7. Published

    Constructive membership in black-box groups

    Holmes, P. E., Linton, S. A., O'Brien, E. A., Ryba, A. J. E. & Wilson, R. A., Nov 2008, In: Journal of Group Theory. 11, 6, p. 747-763 17 p.

    Research output: Contribution to journalArticlepeer-review

  8. Published

    Counting cases in substitope algorithms

    Banks, D. C., Linton, S. A. & Stockmeyer, P. K., Jul 2004, In: IEEE Transactions on Visualization and Computer Graphics. 10, 4, p. 371-384 14 p.

    Research output: Contribution to journalArticlepeer-review

  9. Published

    Easy Composition of Symbolic Computation Software using SCSCP: A New Lingua Franca for Symbolic Computation

    Linton, S. A., Hammond, K., Konovalov, A., Brown, C. M., Trinder, P. W., Loidl, H-W., Horn, P. & Roozemond, D., Feb 2013, In: Journal of Symbolic Computation. 49, p. 95-119 15 p.

    Research output: Contribution to journalArticlepeer-review

  10. Published

    Easy composition of symbolic computation software: a new lingua franca for symbolic computation

    Linton, S., Hammond, K., Konovalov, A., Al Zain, A. D., Trinder, P., Horn, P. & Roozemond, D., 2010, Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation. ACM, p. 339-346 8 p. (ISSAC '10).

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

Previous 1 2 3 4 Next
Top