Follow
Catarina Carvalho
Catarina Carvalho
Verified email at herts.ac.uk
Title
Cited by
Cited by
Year
CD (4) has bounded width
C Carvalho, V Dalmau, P Marković, M Maróti
Algebra universalis 60 (3), 293-307, 2009
222009
CSP duality and trees of bounded pathwidth
C Carvalho, V Dalmau, A Krokhin
Theoretical Computer Science 411 (34-36), 3188-3208, 2010
152010
From complexity to algebra and back: Digraph classes, collapsibility, and the PGP
C Carvalho, F Madelaine, B Martin
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 462-474, 2015
132015
On maltsev digraphs
C Carvalho, L Egri, M Jackson, T Niven
Computer Science–Theory and Applications: 6th International Computer Science …, 2011
132011
Caterpillar duality for constraint satisfaction problems
C Carvalho, V Dalmau, A Krokhin
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 307-316, 2008
122008
Two new homomorphism dualities and lattice operations
C Carvalho, V Dalmau, A Krokhin
Journal of Logic and Computation 21 (6), 1065-1092, 2011
102011
The complexity of quantified constraints using the algebraic formulation
C Carvalho, B Martin, D Zhuk
arXiv preprint arXiv:1701.04086, 2017
9*2017
On algebras with many symmetric operations
C Carvalho, A Krokhin
International Journal of Algebra and Computation 26 (05), 1019-1031, 2016
82016
On maltsev digraphs
C Carvalho, L Egri, M Jackson, T Niven
Electronic Journal of Combinatorics, 2015
82015
Presentations of semigroups and inverse semigroups
C Carvalho
MSc Thesis, University of St Andrews, 2002
62002
Finite presentability of Bruck–Reilly extensions of semilattices
CA Carvalho, N Ruškuc
Communications in Algebra® 34 (9), 3301-3313, 2006
52006
Finite presentability of Bruck-Reilly extensions of Clifford monoids
CA Carvalho, N Ruskuc, LA Bokut
Journal of Algebra and Its Applications 6 (5), 801, 2007
42007
Generation and Presentations of Semigroup Constructions: Bruck-Reilly Extensions and P-semigroups
CAS Carvalho
University of St Andrews, 2006
42006
The lattice and semigroup structure of multipermutations
C Carvalho, B Martin
International Journal of Algebra and Computation 32 (02), 211-235, 2022
32022
42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)
R Impagliazzo, V Kabanets, A Kolokolova, P McKenzie, S Romani, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017
32017
On Bruck-Reilly Extensions of Rectangular Bands, Zero Semigroups and Free Monoids.
CA Carvalho
Southeast Asian Bulletin of Mathematics 29 (3), 2005
32005
Presentations of inverse semigroups, their kernels and extensions
C Carvalho, RD Gray, N Ruskuc
Journal of the Australian Mathematical Society 90 (3), 289-316, 2011
22011
Presentations of inverse semigroups, their kernels and extensions
C Carvalho, RD Gray, N Ruskuc
Journal of the Australian Mathematical Society 90 (03), 289-316, 2011
22011
A finitely presented monoid with a non-finitely generated group of units
CA Carvalho, N Ruskuc
Archiv der Mathematik 89, 109-113, 2007
22007
The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation
C Carvalho, F Madelaine, B Martin, D Zhuk
ACM Transactions on Computational Logic 24 (1), 1-26, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20