The Centre for Interdisciplinary Research in Computational Algebra (CIRCA) was established in 2000 to foster new and existing collaborative research between members of the Schools of Computer Science and of Mathematics and Statistics in the area of computational abstract algebra.

For more information please visit the Centre for Interdisciplinary Research in Computational Algebra (CIRCA) home page.

Recent Submissions

  • Finite presentability and isomorphism of Cayley graphs of monoids 

    Awang, Jennifer Sylvia; Pfeiffer, Markus Johannes; Ruskuc, Nikola (2016-10-26) - Journal article
    Two finitely generated monoids are constructed, one finitely presented the other not, whose (directed, unlabelled) Cayley graphs are isomorphic.
  • Primitive groups, graph endomorphisms and synchronization 

    Araújo, João; Bentz, Wolfram; Cameron, Peter Jephson; Royle, Gordon; Schaefer, Artur (2016-10-03) - Journal article
    Let Ω be a set of cardinality n, G be a permutation group on Ω and f:Ω→Ω be a map that is not a permutation. We say that G synchronizes f if the transformation semigroup ⟨G,f⟩ contains a constant map, and that G is a ...
  • Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row 

    Nightingale, Peter; Spracklen, Patrick; Miguel, Ian James (Springer, 2015-10) - Conference item
    The formulation of a Propositional Satisfiability (SAT) problem instance is vital to efficient solving. This has motivated research on preprocessing, and inprocessing techniques where reformulation of a SAT instance is ...
  • Towards semi-automatic data-type translation for parallelism in Erlang 

    Barwell, Adam David; Brown, Christopher Mark; Castro, David; Hammond, Kevin (ACM Press - Association for Computing Machinery, 2016-09-23) - Conference item
    As part of our ongoing research programme into programmer-in-the-loop parallelisation, we are studying the problem of introducing alternative data structures to support parallelism. Automated support for data structure ...
  • Cloud benchmarking for maximising performance of scientific applications 

    Varghese, Blesson; Akgun, Ozgur; Miguel, Ian James; Thai, Long Thanh; Barker, Adam David (2016) - Journal article
    How can applications be deployed on the cloud to achieve maximum performance? This question is challenging to address with the availability of a wide variety of cloud Virtual Machines (VMs) with different performance ...

View more