Catarina Carvalho

According to our database, Catarina Carvalho authored at least 12 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation.

Catarina Carvalho, Florent R. Madelaine, Barnaby Martin, Dmitriy Zhuk

ACM Trans. Comput. Log., January, 2023

2022

The lattice and semigroup structure of multipermutations.

Catarina Carvalho, Barnaby Martin

Int. J. Algebra Comput., 2022

Carotid Ultrasound Boundary Study (CUBS): Technical considerations on an open multi-center analysis of computerized measurement systems for intima-media thickness measurement on common carotid artery longitudinal B-mode ultrasound scans.

Kristen M. Meiburger, Francesco Marzola, Guillaume Zahnd, Francesco Faita, Christos P. Loizou, Nolann Lainé, Catarina Carvalho, David A. Steinman, Lorenzo Gibello, Rosa Maria Bruno, Ricarda Clarenbach, Martina Francesconi, Andrew Nicolaides, Hervé Liebgott, Aurélio Campilho, Reza Ghotbi, Efthyvoulos Kyriacou, Nassir Navab, Maura Griffin, Andrie G. Panayiotou, Rachele Gherardini, Gianfranco Varetto, Elisabetta Bianchini, Constantinos S. Pattichis, Lorenzo Ghiadoni, José Rouco, Maciej Orkisz, Filippo Molinari

Comput. Biol. Medicine, 2022

2017

The complexity of quantified constraints.

Catarina Carvalho, Barnaby Martin, Dmitriy Zhuk

CoRR, 2017

The Complexity of Quantified Constraints Using the Algebraic Formulation.

Catarina Carvalho, Barnaby Martin, Dmitriy Zhuk

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

2016

On algebras with many symmetric operations.

Catarina Carvalho, Andrei A. Krokhin

Int. J. Algebra Comput., 2016

2015

On Maltsev Digraphs.

Catarina Carvalho, László Egri, Marcel Jackson, Todd Niven

Electron. J. Comb., 2015

From Complexity to Algebra and Back: Digraph Classes, Collapsibility, and the PGP.

Catarina Carvalho, Florent R. Madelaine, Barnaby Martin

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2011

Two new homomorphism dualities and lattice operations.

Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin

J. Log. Comput., 2011

2010

CSP duality and trees of bounded pathwidth.

Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin

Theor. Comput. Sci., 2010

2008

Caterpillar Duality for Constraint Satisfaction Problems.

Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

2007

CD(4) has bounded width

Catarina Carvalho, Víctor Dalmau, Petar Markovic, Miklós Maróti

CoRR, 2007