Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2016
  2. Published

    A theoretical framework for constraint propagator triggering

    Cohen, D. A., Jefferson, C. & Petrie, K. E. J., 20 Jun 2016, Proceedings of the 9th Annual Symposium on Combinatorial Search, SoCS 2016. Baier, J. A. & Botea, A. (eds.). AAAI Press, Vol. 2016-January. p. 19-27 9 p.

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

  3. Published

    Coinductive soundness of corecursive type class resolution

    Farka, F., Komendantskaya, E., Hammond, K. & Fu, P., 18 Aug 2016, Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016). Hermenegildo, M. V. & Lopez-Garcia, P. (eds.). arXiv, 15 p.

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

  4. Published

    Design keys for multiphase experiments

    Bailey, R. A., 2016, mOda 11---Advances in Model-Oriented Design and Analysis: Proceedings of the 11th International Workshop in Model-Oriented Design and Analysis held in Hamminkeln, Germany, June 12-17, 2016. Kunert, J., M"uller, C. H. & Atkinson, A. C. (eds.). Springer, p. 27-35 9 p. (Contributions to Statistics).

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

  5. Published

    Exploiting short supports for improved encoding of arbitrary constraints into SAT

    Akgün, Ö., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Rueher, M. (ed.). Springer, p. 3-12 (Lecture Notes in Computer Science; vol. 9892).

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

  6. Published

    Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms

    Castro, D., Hammond, K. & Sarkar, S., 4 Sep 2016, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016). New York: ACM, p. 4-17 (ACM SIGPLAN Notices; vol. 51, no. 9).

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

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

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

  9. 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)

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

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

Previous 1 2 Next

ID: 1395

Top