Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. 2019
  2. Published

    GAP – Groups, Algorithms, and Programming, Version 4.10.1

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 23 Feb 2019

    Research output: Non-textual formSoftware

  3. Published

    GAP – Groups, Algorithms, and Programming, Version 4.10.2

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 19 Jun 2019

    Research output: Non-textual formSoftware

  4. 2018
  5. Published

    GAP – Groups, Algorithms, and Programming, Version 4.10.0

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 1 Nov 2018

    Research output: Non-textual formSoftware

  6. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.10

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 15 Jan 2018

    Research output: Non-textual formSoftware

  7. Published

    GAP – Groups, Algorithms, and Programming, Version 4.9.1

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 5 May 2018

    Research output: Non-textual formSoftware

  8. Published

    GAP – Groups, Algorithms, and Programming, Version 4.9.2

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 4 Jul 2018

    Research output: Non-textual formSoftware

  9. Published

    GAP – Groups, Algorithms, and Programming, Version 4.9.3

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 5 Sep 2018

    Research output: Non-textual formSoftware

  10. Published

    PatternClass Version 2.4.2: A permutation pattern class package (GAP package)

    Hoffmann, R., Linton, S. & Albert, M., 24 Jul 2018

    Research output: Non-textual formSoftware

  11. 2017
  12. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.7

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 24 Mar 2017

    Research output: Non-textual formSoftware

  13. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.8

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 20 Aug 2017

    Research output: Non-textual formSoftware

  14. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.9

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 18 Dec 2017

    Research output: Non-textual formSoftware

  15. Published
  16. Published
  17. Published
  18. Published
  19. 2016
  20. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.2

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J. & Torpey, M. C., 20 Feb 2016

    Research output: Non-textual formSoftware

  21. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.3

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J. & Torpey, M. C., 19 Mar 2016

    Research output: Non-textual formSoftware

  22. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.4

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J. & Torpey, M. C., 4 Jun 2016

    Research output: Non-textual formSoftware

  23. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.5

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J. & Torpey, M. C., 25 Sep 2016

    Research output: Non-textual formSoftware

  24. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.6

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 12 Nov 2016

    Research output: Non-textual formSoftware

  25. Published

    HPC-GAP: engineering a 21st-century High-Performance Computer algebra system

    Behrends, R., Hammond, K., Janjic, V., Konovalov, A., Linton, S. A., Loidl, H-W., Maier, P. & Trinder, P., 10 Sep 2016, In : Concurrency and Computation : Practice and Experience. 28, 13, p. 3606-3636 33 p.

    Research output: Contribution to journalArticle

  26. 2015
  27. Published

    Identifying long cycles in finite alternating and symmetric groups acting on subsets

    Linton, S. A., Niemeyer, A. C. & Praeger, C. E., May 2015, In : Journal of Algebra Combinatorics Discrete Structures and Applications. 2, 2, p. 117-149

    Research output: Contribution to journalArticle

  28. Published

    S-crucial and bicrucial permutations with respect to squares

    Gent, I., Kitaev, S., Konovalov, A., Linton, S. & Nightingale, P., 3 Jun 2015, In : Journal of Integer Sequences. 18, 6, 22 p., 15.6.5.

    Research output: Contribution to journalArticle

  29. 2014
  30. Published

    Generating custom propagators for arbitrary constraints

    Gent, I. P., Jefferson, C., Linton, S., Miguel, I. & Nightingale, P., 1 Jun 2014, In : Artificial Intelligence. 211, 1, p. 1-33 33 p.

    Research output: Contribution to journalArticle

  31. Published

    Qualitative modelling via constraint programming

    Kelsey, T., Kotthoff, L., Jefferson, C. A., Linton, S. A., Miguel, I. J., Nightingale, P. & Gent, I. P., Apr 2014, In : Constraints. 19, 2, p. 163-173

    Research output: Contribution to journalArticle

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

  33. 2013
  34. Forthcoming

    Algorithmic Generalisations of Small Cancellation Theory

    Neunhoeffer, M., Roney-Dougal, C. M., Linton, S. A., Parker, R. & Burdges, J. P., 2013, (In preparation) In : Not yet known.

    Research output: Contribution to journalArticle

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

  36. 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 journalArticle

  37. Forthcoming

    GAP package Small Cancellation Theory

    Neunhoeffer, M., Roney-Dougal, C. M., Burdges, J. P., Linton, S. A. & Parker, R. A., 2013, (In preparation)

    Research output: Non-textual formSoftware

  38. Published

    Multiplicity-free permutation characters of covering groups of sporadic simple groups

    Linton, S. A. & Mpono, Z. E., 2013, In : Math. J. Okayama Univ.. 55, p. 145-155 11 p.

    Research output: Contribution to journalArticle

  39. Published

    Regular languages of plus- and minus-(in)decomposable permutations

    Hoffmann, R. & Linton, S., 2013, In : Pure Math. Appl. (PU.M.A.). 24, 2, p. 143-150 8 p.

    Research output: Contribution to journalArticle

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

  41. Published

    UPCGAP: A UPC package for the GAP system

    Johnson, N., Konovalov, A., Janjic, V. & Linton, S. A., 2013, p. 217-221.

    Research output: Contribution to conferencePaper

  42. 2012
  43. 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

  44. Published

    Equivalence classes of permutations under various relations generated by constrained transpositions

    Linton, S. A., Propp, J., Roby, T. & West, J., 2 Nov 2012, In : Journal of Integer Sequences. 15, 9, 23 p., 12.9.1.

    Research output: Contribution to journalArticle

  45. Published

    Interfacing Coq + SSReflect with GAP

    Komendantsky, V., Konovalov, A. & Linton, S. A., 19 Sep 2012, In : Electronic Notes in Theoretical Computer Science. 285, 19, p. 17-28

    Research output: Contribution to journalArticle

  46. 2011
  47. Published

    On convex permutations

    Albert, M. H., Linton, S. A., Ruskuc, N., Vatter, V. & Waton, S., May 2011, In : Discrete Mathematics. 311, 8-9, p. 715-722

    Research output: Contribution to journalArticle

  48. Published
  49. Published

    Torsion Units in Integral Group Rings of Conway Simple Groups

    Bovdi, V., Konovalov, A. & Linton, S. A., 2011, In : International Journal of Algebra and Computation. 21, 4, p. 615 634 p.

    Research output: Contribution to journalArticle

  50. Published

    View of Computer Algebra Data from Coq

    Komendantsky, V., Konovalov, A. & Linton, S., 2011, p. 74-89. 16 p.

    Research output: Contribution to conferencePaper

  51. 2010
  52. 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

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

  54. Published

    Finite 3-groups of class 3 whose elements commute with their automorphic images

    Abdollahi, A., Faghihi, A., Linton, S. A. & O'Brien, E. A., 2010, In : Archiv der Mathematik. 95, 1, p. 1-7 7 p.

    Research output: Contribution to journalArticle

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

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

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

  58. Published

    Permutation Patterns 2007: St Andrews

    Linton, S., Ruskuc, N. & Vatter, V., 2010, Cambridge University Press. 345 p.

    Research output: Book/ReportBook

  59. Published

    Permutations Generated by Stacks and Deques

    Albert, M., Atkinson, M. D. & Linton, S. A., Mar 2010, In : Annals of Combinatorics. 14, 1, p. 3-16 14 p.

    Research output: Contribution to journalArticle

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

Previous 1 2 3 Next