Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2017
  2. Published

    A sufficient condition for coinciding the Green graphs of semigroups

    Sorouhesh, M., Doostie, H. & Campbell, C. M., 2017, In : Journal of Mathematics and Computer Science. 17, 2, p. 216-219 4 p.

    Research output: Contribution to journalArticle

  3. Published

    Algebraic properties of chromatic roots

    Cameron, P. J. & Morgan, K., 3 Feb 2017, In : Electronic Journal of Combinatorics. 24, 1, 14 p., P1.21.

    Research output: Contribution to journalArticle

  4. Published

    An identifier scheme for the Digitising Scotland project

    Akgun, O., Al-Sidiqi, A., Christen, P., Dalton, T. S., Dearle, A., Dibben, C. J. L., Garrett, E., Gray, A., Kirby, G. N. C. & Reid, A., 2 Apr 2017.

    Research output: Contribution to conferenceAbstract

  5. Published

    Automatic generation of generalised regular factorial designs

    Kobilinsky, A., Monod, H. & Bailey, R. A., Sep 2017, In : Computational Statistics and Data Analysis. 113, p. 311-329 19 p.

    Research output: Contribution to journalArticle

  6. Published

    Automatically improving constraint models in Savile Row

    Nightingale, P., Akgün, Ö., Gent, I. P., Jefferson, C., Miguel, I. & Spracklen, P., Oct 2017, In : Artificial Intelligence. 251, p. 35-61 27 p.

    Research output: Contribution to journalArticle

  7. Published

    Between primitive and 2-transitive: synchronization and its friends

    Araújo, J., Cameron, P. J. & Steinberg, B., 2017, In : EMS Surveys in Mathematical Sciences. 4, 2, p. 101-184

    Research output: Contribution to journalArticle

  8. Published

    Chains of subsemigroups

    Cameron, P. J., Gadouleau, M., Mitchell, J. D. & Peresse, Y., Jun 2017, In : Israel Journal of Mathematics. 220, 1, p. 479-508

    Research output: Contribution to journalArticle

  9. Published

    Circle - Adjoint groups of finite rings, Version 1.6.0 (Refereed GAP package)

    Konovalov, A. & Soules, P., 23 Sep 2017

    Research output: Non-textual formSoftware

  10. Published

    Circle - Adjoint groups of finite rings, Version 1.6.1 (Refereed GAP package)

    Konovalov, A. & Soules, P., 25 Sep 2017

    Research output: Non-textual formSoftware

  11. Published

    Coinductive soundness of corecursive type class resolution

    Farka, F., Komendantskaya, E. & Hammond, K., 2017, Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, Scotland, UK, September 6-8, 2016. Revised Selected Papers. Hermenegildo, M. V. & Lopez-Garcia, P. (eds.). Cham: Springer, p. 311-327 (Lecture Notes in Computer Science (Theoretical Computer Science and General Issues); vol. 10184).

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

Previous 1 2 3 4 5 6 7 8 Next

ID: 1395

Top