Author
Number of items: 18.
The complexity of quantified constraints: Collapsibility, switchability and the algebraic formulation. (2023)
Catarina Carvalho,
Florent Madelaine,
Barnaby Martin
and
Dmitriy Zhuk
The lattice and semigroup structure of multipermutations. (2021)
Catarina Carvalho
and
Barnaby Martin
The complexity of quantified constraints using the algebraic formulation. (2017)
Catarina Carvalho,
Barnaby Martin
and
Dmitriy Zhuk
On Algebras with many symmetric operations. (2016)
Catarina Carvalho
and
Andrei Krokhin
From complexity to algebra and back: : digraph classes, collapsibility and the PGP. (2015)
Catarina Carvalho,
Florent Madelaine
and
Barnaby Martin
On Maltsev Digraphs. (2015)
Catarina Carvalho,
Laszlo Egri,
Marcel Jackson
and
Todd Niven
On Maltsev digraphs. (2011)
Catarina Carvalho,
L. Egri,
M. Jackson
and
T. Niven
Presentations of Inverse Semigroups their Kernels and Extensions. (2011)
Catarina Carvalho,
Robert Gray
and
Nik Ruskuc
picture_as_pdf
Two new homomorphism dualities and lattice operations. (2011)
Catarina Carvalho,
Victor Dalmau
and
Andrei Krokhin
picture_as_pdf
CSP duality and trees of bounded pathwidth. (2010)
Catarina Carvalho,
Víctor Dalmau
and
Andrei Krokhin
picture_as_pdf
CD(4) has bounded width. (2009)
Catarina Carvalho,
Víctor Dalmau,
Petar Marković
and
Miklós Maróti
picture_as_pdf
A finitely presented monoid with a non-finitely generated group of units. (2007)
Catarina Carvalho
and
Nik Ruskuc
Bruck-Reilly extensions of direct products of monoids and completely (0-)simple semigroups. (2009)
Catarina Carvalho
On presentations of Bruck-Reilly extensions. (2009)
Catarina Carvalho
Caterpillar duality for constraint satisfaction problems. (2008)
Catarina Carvalho,
Víctor Dalmau
and
Andrei Krokhin
Finite generation of P-semigroups with almost G-invariant idempotents. (2007)
Catarina Carvalho
Finite presentability of Bruck-Reilly extensions of Clifford monoids. (2007)
Catarina Carvalho
On finite presentability of Bruck-Reilly extensions of a monoid with respect to an endomorphism and its powers. (2007)
Catarina Carvalho
and
Nik Ruskuc