University of Hertfordshire

Dr Catarina Carvalho

Dr Catarina Carvalho

Postal address:
University of Hertfordshire, Hatfield, Hertfordshire
United Kingdom

Publications

  1. 2017
  2. The complexity of quantified constraints using the algebraic formulation

    Carvalho, C., Martin, B. & Zhuk, D. 2017 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) .

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

  3. 2016
  4. On Algebras with many symmetric operations

    Carvalho, C. & Krokhin, A. Aug 2016 In : International Journal of Algebra and Computation. 26, 05

    Research output: Contribution to journalArticle

  5. 2015
  6. From complexity to algebra and back: digraph classes, collapsibility and the PGP

    Carvalho, C., Madelaine, F. & Martin, B. 3 Aug 2015 Proceedings of the 2015 30th Annual ACM / IEEE Symposium on logic in Computer Science (LICS). IEEE, p. 462-474 13 p.

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

  7. On Maltsev Digraphs

    Carvalho, C., Egri, L., Jackson, M. & Niven, T. 25 Feb 2015 In : Electronic Journal of Combinatorics. 22, 1, 32 p., 1.47

    Research output: Contribution to journalArticle

  8. 2011
  9. On Maltsev digraphs

    Carvalho, C., Egri, L., Jackson, M. & Niven, T. 2011 In : Lecture Notes in Computer Science. 6651, p. 181-194

    Research output: Contribution to journalArticle

  10. Presentations of Inverse Semigroups their Kernels and Extensions

    Carvalho, C., Gray, R. & Ruskuc, N. 2011 In : Journal of the Australian Mathematical Society. 90, 3, p. 289-316

    Research output: Contribution to journalArticle

  11. Two new homomorphism dualities and lattice operations

    Carvalho, C., Dalmau, V. & Krokhin, A. 2011 In : Journal of Logic and Computation. 21 , 6, p. 1065-1092

    Research output: Contribution to journalArticle

  12. 2010
  13. CSP duality and trees of bounded pathwidth

    Carvalho, C., Dalmau, V. & Krokhin, A. 2010 In : Theoretical Computer Science. 411 , 34-36, p. 3188-3208

    Research output: Contribution to journalArticle

  14. 2009
  15. Bruck-Reilly extensions of direct products of monoids and completely (0-)simple semigroups

    Carvalho, C. Aug 2009 In : Semigroup Forum. 79 , 1, p. 145-158

    Research output: Contribution to journalArticle

  16. CD(4) has bounded width

    Carvalho, C., Dalmau, V., Marković, P. & Maróti, M. 2009 In : Algebra Universalis. 60, p. 293-297

    Research output: Contribution to journalArticle

  17. On presentations of Bruck-Reilly extensions

    Carvalho, C. 2009 In : Communications in Algebra. 37, 8, p. 2871-2886

    Research output: Contribution to journalArticle

  18. 2008
  19. Caterpillar duality for constraint satisfaction problems

    Carvalho, C., Dalmau, V. & Krokhin, A. 2008 Logic in Computer Science. IEEE, p. 307-316 9 p.

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

  20. 2007
  21. Finite presentability of Bruck-Reilly extensions of Clifford monoids

    Carvalho, C. Oct 2007 In : Journal of Algebra and its Applications. 6, 5, p. 801-814

    Research output: Contribution to journalArticle

  22. On finite presentability of Bruck-Reilly extensions of a monoid with respect to an endomorphism and its powers.

    Carvalho, C. & Ruskuc, N. Sep 2007 In : Algebra Colloquium. 14, 3, p. 389-402

    Research output: Contribution to journalArticle

  23. A finitely presented monoid with a non-finitely generated group of units

    Carvalho, C. & Ruskuc, N. Aug 2007 In : Archiv der Mathematik. 89, 2, p. 109-113

    Research output: Contribution to journalArticle

  24. Finite generation of P-semigroups with almost G-invariant idempotents

    Carvalho, C. Jun 2007 Semigroups and Formal Languages: Procs of the Int Conf on Semigroups and Languages in honour of the 65th birthday of Donald B. McAlister, Lisboa, Portugal, July 2005. Andre, J. M., Fernandes, V. H., Branco, M. J. J., Gomes, G. M. S., Fountain, J. & Meakin, J. C. (eds.). World Scientific Publishing

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

  25. 2006
  26. Finite presentability of Bruck–Reilly extensions of semilattices

    Carvalho, C. & Ruskuc, N. 23 Nov 2006 In : Communications in Algebra. 34, 9, p. 3301-3313 34 (9)

    Research output: Contribution to journalArticle

  27. 2005