Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. 2014
  2. 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

  3. 2013
  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

    Space exploration using parallel orbits: a study in parallel symbolic computing

    Janjic, V., Brown, C. M., Neunhoeffer, M., Hammond, K., Linton, S. A. & Loidl, H-W., Sep 2013, Parallel Computing: Accelerating Computational Science and Engineering (CSE). Bader, M., Bode, A., Bungartz, H-J., Gerndt, M., Joubert, G. R. & Peters, F. (eds.). IOS Press, Vol. 25. p. 225-232 8 p. (Advances in Parallel Computing).

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

  6. 2012
  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. 2010
  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

    Equivalence relations of permutations generated by constrained transpositions

    Linton, S., Propp, J., Roby, T. & West, J., 2010, 22nd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2010). Nancy: Assoc. Discrete Math. Theor. Comput. Sci., Nancy, p. 909-920 12 p. (Discrete Math. Theor. Comput. Sci. Proc., AN).

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

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

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

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

  14. Published

    Towards high-performance computational algebra with GAP

    Behrends, R., Konovalov, A., Linton, S., Lübeck, F. & Neunhöffer, M., 2010, Proceedings of the Third International Congress on Mathematical Software: Kobe, Japan, September 13-17, 2010. Fukada, K., van der Hoeven, J., Joswig, M. & Takayama, N. (eds.). Springer, p. 58-61 (Lecture Notes in Computer Science; vol. 6327).

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

  15. 2008
  16. Published

    Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System

    Al Zain, A. D., Trinder, P. W., Hammond, K., Konovalov, A., Linton, S. & Berthold, J., 2008, PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 99-112 14 p.

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

  17. Published

    Symmetry and Search --- A Survey

    Linton, S. A., 2008, Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics. Berlin, Heidelberg: Springer-Verlag, p. 1-1 1 p.

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

  18. 2007
  19. 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

  20. Published

    SymGrid-Par: Designing a framework for executing computational algebra systems on computational grids

    Al Zain, A., Hammond, K., Trinder, P., Linton, S., Loidl, H-W. & Costanti, M., 2007, Computational Science – ICCS 2007: 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II. Shi, Y., Albada, G. D. V., Dongarra, J. & Sloot, P. M. A. (eds.). Springer, p. 617-624 8 p. (Lecture Notes in Computer Science; vol. 4488).

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

  21. 2005
  22. 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

  23. Published

    Symmetry and consistency

    Gent, I. P., Kelsey, T., Linton, S. & Roney-Dougal, C., 2005, Principles and Practice of Constraint Programming - CP 2005: Proceedings of the 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. van Beek, P. (ed.). Springer-Verlag, p. 271-285 15 p. (Lecture Notes in Computer Science; vol. 3709).

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

  24. 2004
  25. Published

    Tractable Symmetry Breaking using Restricted Search Trees

    Roney-Dougal, C. M., Gent, I. P., Kelsey, T. W. & Linton, S. A., Aug 2004, ECAI 2004: 16th European Conference on Artificial Intelligence, August 22-27, 2004, Valencia, Spain. López de Mántaras, R. & Saitta, L. (eds.). IOS Press, p. 211-215 5 p. (Frontiers in artificial intelligence and applications; vol. 110).

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

  26. 2003
  27. 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

  28. 1999
  29. Published

    Formal Methods for Extensions to CAS

    Dunstan, MN., Kelsey, T. W., Linton, S. A. & Martin, U., 1999, Proceedings of Formal Methods 1999. Springer-Verlag, p. 1758-1777 (Lecture Notes in Computer Science; vol. 1709).

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

  30. 1998
  31. Published

    Lightweight Formal Methods for Computer Algebra Systems

    Martin, U. H. M., Dunstan, MN., Kelsey, T. W. & Linton, S. A., 1998, Proceedings of the International Symposium on Symbolic and Algebraic Computation. ACM, p. 80-87 8 p.

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

Previous 1 2 Next
Top