Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2018
  2. Published

    A review of literature on parallel constraint solving

    Gent, I. P., Miguel, I. J., Nightingale, P. W., McCreesh, C., Prosser, P., Moore, N. & Unsworth, C., Sep 2018, In : Theory and Practice of Logic Programming. 18, 5-6, p. 725-758 34 p.

    Research output: Contribution to journalArticle

  3. Published

    Automatically deriving cost models for structured parallel processes using hylomorphisms

    Castro, D., Hammond, K., Sarkar, S. & Alguwaifli, Y., Feb 2018, In : Future Generation Computer Systems. 79, Part 2, p. 653-668

    Research output: Contribution to journalArticle

  4. Published

    Clinical parameters of ovarian hyperstimulation syndrome (OHSS) following different triggers of oocyte maturation in IVF treatment

    Abbara, A., Islam, R., Clarke, S. A., Jeffers, L., Christopoulos, G., Comninos, A. N., Salim, R., Lavery, S. A., Vuong, T. N. L., Humaidan, P., Kelsey, T. W., Trew, G. H. & Dhillo, W. S., Jun 2018, In : Clinical Endocrinology. 88, 6, p. 920-927 8 p.

    Research output: Contribution to journalArticle

  5. Published

    Computing maximal subsemigroups of a finite semigroup

    Donoven, C. R., Mitchell, J. D. & Wilson, W. A., 1 Jul 2018, In : Journal of Algebra. 505, p. 559-596 38 p.

    Research output: Contribution to journalArticle

  6. Published

    Congruence lattices of finite diagram monoids

    East, J., Mitchell, J. D., Ruskuc, N. & Torpey, M., 31 Jul 2018, In : Advances in Mathematics. 333, p. 931-1003 73 p.

    Research output: Contribution to journalArticle

  7. Published

    Contraction-free sequent calculi in intuitionistic logic: a correction

    Dyckhoff, R., Dec 2018, In : Journal of Symbolic Logic. 83, 4, p. 1680-1682 3 p.

    Research output: Contribution to journalArticle

  8. Published

    Cryopreservation of ovarian tissue may be considered in young girls with galactosemia

    Mamsen, L. S., Kelsey, T. W., Ernst, E., Macklon, K. T., Lund, A. M. & Andersen, C. Y., Jul 2018, In : Journal of Assisted Reproduction and Genetics. 35, 7, p. 1209-1217 9 p.

    Research output: Contribution to journalArticle

  9. Published
  10. Published

    Existence and non-existence results for strong external difference families

    Huczynska, S. & Paterson, M. B., Jan 2018, In : Discrete Mathematics. 341, 1, p. 87-95

    Research output: Contribution to journalArticle

  11. Published
Previous 1 2 3 Next

ID: 1395

Top