Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. Chapter › Research
  2. 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

  3. Published

    GAPLex: Generalised Static Symmetry Breaking

    Jefferson, C. A., Kelsey, T. W., Linton, S. A. & Petrie, K., 2007, Trends in Constraint Programming. Benhamou, F., Jussien, N. & O'Sullivan, B. (eds.). ISTE, p. 187-201

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Published

    On the permutational power of token passing networks

    Albert, M. H., Linton, S. A. & Ruskuc, N., Oct 2010, Permutation Patterns: St Andrews 2007. Linton, S., Ruskuc, N. & Vatter, V. (eds.). Cambridge: Cambridge University Press, p. 317-338 (LMS Lecture Notes).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Published

    Towards the calculation of Casimir forces for inhomogeneous planar media

    Xiong, C., Kelsey, T., Linton, S. A. & Leonhardt, U., 1 Oct 2014, Computer Mathematics: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks. Feng, R., Lee, W. & Sato, Y. (eds.). Springer, p. 171-180

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. Conference contribution › Research
  7. 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

  8. 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

  9. 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

  10. Published

    Generic SBDD Using Computational Group Theory

    Gent, I. P., Harvey, W., Kelsey, T. W. & Linton, S. A., Oct 2003, Principles and Practice of Constraint Programming – CP 2003: 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; Proceedings. Rossi, F. (ed.). Springer, p. 333-347 15 p. ( Lecture Notes in Computer Science; vol. 2833).

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

  11. Published

    Parallel computations in modular group algebras

    Konovalov, A. & Linton, S. A., 2010, PASCO 10 : Proceedings of the 4th International Workshop on Parallel and Symbolic Computation, International Workshop 21-23 July 2010, Grenoble, France. New York: ACM, p. 141-149

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

  12. Published

    Parallelising the computational algebra system GAP

    Behrends, R., Konovalov, A., Linton, S., Lübeck, F. & Neunhöffer, M., 2010, Proceedings of the 4th International Workshop on Parallel and Symbolic Computation (PASCO '10). New York, NY: ACM, p. 177-178

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

Previous 1 2 Next
Top