Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2016
  2. Published

    Guessing games on triangle-free graphs

    Cameron, P. J., Dang, A. & Riis, S., 2016, In : Electronic Journal of Combinatorics. 23, 1, 15 p., P1.48.

    Research output: Contribution to journalArticle

  3. 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 31 p.

    Research output: Contribution to journalArticle

  4. Published

    Habitat complexity in aquatic microcosms affects processes driven by detritivores

    Flores, L., Bailey, R. A., Elosegi, A., Larrañaga, A. & Reiss, J., 1 Nov 2016, In : PLoS One. 11, 11, 15 p., e0165065.

    Research output: Contribution to journalArticle

  5. Forthcoming

    Ideal structure of the C*-algebra of Thompson group T

    Bleak, C. & Juschenko, K., 25 Apr 2016, (Accepted/In press) Topological Methods in Geometric Group Theory. Cambridge University Press, 10 p. (London Mathematical Society Lecture Note Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  6. Published

    Idempotent rank in the endomorphism monoid of a non-uniform partition

    Dolinka, I., East, J. & Mitchell, J. D., Feb 2016, In : Bulletin of the Australian Mathematical Society. 93, 1, p. 73-91

    Research output: Contribution to journalArticle

  7. Published

    Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach

    Dehaye, P-O., Iancu, M., Kohlhase, M., Konovalov, A., Lelièvre, S., Müller, D., Pfeiffer, M., Rabe, F., Thiéry, N. M. & Wiesling, T., 2016, Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Kohlhase, M., Johansson, M., Miller, B., de Moura, L. & Tompa, F. (eds.). Cham: Springer, p. 117-131 15 p. (Lecture Notes in Computer Science; vol. 9791).

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

  8. Published

    Intuitionistic decision procedures since Gentzen

    Dyckhoff, R., 5 May 2016, Advances in Proof Theory. Kahle, R., Strahm, T. & Studer, T. (eds.). Birkhäuser Basel, p. 245-267 (Progress in Computer Science and Applied Logic; vol. 28).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  9. Published

    Kindergarten Cop: dynamic nursery resizing for GHC

    Ferreiro, H., Castro, L., Janjic, V. & Hammond, K., 17 Mar 2016, CC 2016 Proceedings of the 25th International Conference on Compiler Construction . New York: ACM, p. 56-66 10 p.

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

  10. Published

    Lapedo: hybrid skeletons for programming heterogeneous multicore machines in Erlang

    Janjic, V., Brown, C. M. & Hammond, K., Apr 2016, Parallel Computing: On the Road to Exascale. Joubert, G. R., Leather, H., Parsons, M., Peters, F. & Sawyer, M. (eds.). IOS Press, p. 185-195 (Advances in Parallel Computing; vol. 27).

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

  11. Published

    MapMySmoke–a context aware mobile phone application targeted at smoking cessation

    Schick, R. S., Humphris, G. M., Kelsey, T. W., Marston, J. & Sampson, K., 22 Nov 2016.

    Research output: Contribution to conferencePoster

ID: 1395

Top