Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2017
  2. Published

    On well quasi-order of graph classes under homomorphic image orderings

    Huczynska, S. & Ruškuc, N. Jun 2017 In : European Journal of Combinatorics. 63, p. 164-175 12 p.

    Research output: Contribution to journalArticle

  3. Published

    Type-based cost analysis for lazy functional languages

    Jost, S., Vasconcelos, P., Florido, M. & Hammond, K. Jun 2017 In : Journal of Automated Reasoning. 59, 1, p. 87-120 34 p.

    Research output: Contribution to journalArticle

  4. Published

    Semi-Latin squares

    Bailey, R. A. 15 May 2017 Wiley StatsRef: Statistics Reference Online. Everitt, B., Molenberghs, G., Ruggeri, F., Piegorsch, W., Davidian, M. & Kenett, R. (eds.). John Wiley and Sons, p. 1-8

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Unpublished
  6. E-pub ahead of print

    Automatically deriving cost models for structured parallel processes using hylomorphisms

    Castro, D., Hammond, K., Sarkar, S. & Alguwaifli, Y. 9 May 2017 In : Future Generation Computer Systems. In press

    Research output: Contribution to journalArticle

  7. E-pub ahead of print

    Chains of subsemigroups

    Cameron, P. J., Gadouleau, M., Mitchell, J. D. & Peresse, Y. 8 May 2017 In : Israel Journal of Mathematics. Early View

    Research output: Contribution to journalArticle

  8. E-pub ahead of print

    Imprimitive permutations in primitive groups

    Araújo, J., Araújo, J. P., Cameron, P. J., Dobson, T., Hulpke, A. & Lopes, P. 2 May 2017 In : Journal of Algebra.

    Research output: Contribution to journalArticle

  9. Published

    Some undecidability results for asynchronous transducers and the Brin-Thompson group 2V

    Belk, J. & Bleak, C. May 2017 In : Transactions of the American Mathematical Society. 369, 5, p. 3157-3172 16 p.

    Research output: Contribution to journalArticle

  10. E-pub ahead of print

    Highest rank of a polytope for An

    Cameron, P. J., Fernandes, M. E., Leemans, D. & Mixer, M. 28 Apr 2017 In : Proceedings of the London Mathematical Society. Early View, 42 p.

    Research output: Contribution to journalArticle

  11. E-pub ahead of print

    The Missing Link! A new skeleton for evolutionary multi-agent systems in Erlang

    Stypka, J., Turek, W., Byrski, A., Kisiel-Dorohinicki, M., Barwell, A. D., Brown, C. M., Hammond, K. & Janjic, V. 26 Apr 2017 In : International Journal of Parallel Programming. First Online, 19 p.

    Research output: Contribution to journalArticle

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

ID: 1395