Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2016
  2. Published
  3. Published
  4. Published

    On the star-height of subword counting languages and their relationship to Rees zero-matrix semigroups

    Bourne, T. & Ruškuc, N., 15 Nov 2016, In : Theoretical Computer Science. 653, p. 87-96

    Research output: Contribution to journalArticle

  5. Published

    OpenMath - OpenMath functionality in GAP, Version 11.3.0 (Refereed GAP package)

    Costantini, M., Konovalov, A., Nicosia, L. M. & Solomon, A., 8 Jan 2016

    Research output: Non-textual formSoftware

  6. Published

    OpenMath - OpenMath functionality in GAP, Version 11.3.1 (Refereed GAP package)

    Costantini, M., Konovalov, A., Nicosia, L. M. & Solomon, A., 28 Jan 2016

    Research output: Non-textual formSoftware

  7. Published

    PAEAN: portable and scalable runtime support for parallel Haskell dialects

    Berthold, J., Loidl, H-W. & Hammond, K., 2016, In : Journal of Functional Programming. 26, 39 p., e10.

    Research output: Contribution to journalArticle

  8. Published

    POSIX lexing with derivatives of regular expressions (proof pearl)

    Ausaf, F., Dyckhoff, R. & Urban, C., 2016, Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. Blanchette, J. C. & Merz, S. (eds.). Springer, p. 69-86 18 p. (Lecture Notes in Computer Science; vol. 9807).

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

  9. Published

    Primitive groups, graph endomorphisms and synchronization

    Araújo, J., Bentz, W., Cameron, P. J., Royle, G. & Schaefer, A., Dec 2016, In : Proceedings of the London Mathematical Society. 113, 6, p. 829-867 39 p.

    Research output: Contribution to journalArticle

  10. Published

    RPL: a domain-specific language for designing and implementing parallel C++ applications

    Janjic, V., Brown, C. M., MacKenzie, K. W., Hammond, K., Danelutto, M., Aldinucci, M. & Garcia, D. J., 4 Apr 2016, 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP). Cotronis, Y., Daneshtalab, M. & Papadopoulos, G. A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 288-295 7445342. (Euromicro Workshop on Parallel and Distributed Processing).

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

  11. Published

    Randomization-based models for multitiered experiments: I. A chain of randomizations

    Bailey, R. A. & Brien, C. J., Jun 2016, In : Annals of Statistics. 44, 3, p. 1131-1164 34 p.

    Research output: Contribution to journalArticle

ID: 1395

Top