Catarina Carvalho

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 11

Top Topics

Top Venues

Int. J. Algebra Comput.

Publications

Catarina Carvalho, Florent R. Madelaine, Barnaby Martin, Dmitriy Zhuk
The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation. ACM Trans. Comput. Log. 24 (1) (2023)
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
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. Comput. Biol. Medicine 144 (2022)
Catarina Carvalho, Barnaby Martin
The lattice and semigroup structure of multipermutations. Int. J. Algebra Comput. 32 (2) (2022)
Catarina Carvalho, Florent R. Madelaine, Barnaby Martin, Dmitriy Zhuk
The complexity of quantified constraints: collapsibility, switchability and the algebraic formulation. CoRR (2021)
Catarina Carvalho, Barnaby Martin, Dmitriy Zhuk
The complexity of quantified constraints. CoRR (2017)
Catarina Carvalho, Barnaby Martin, Dmitriy Zhuk
The Complexity of Quantified Constraints Using the Algebraic Formulation. MFCS (2017)
Catarina Carvalho, Andrei A. Krokhin
On algebras with many symmetric operations. Int. J. Algebra Comput. 26 (5) (2016)
Catarina Carvalho, Steven Bogaerts, Lennart Scheys, Jan D'hooge, Koen Peers, Paul Suetens
3D tendon strain estimation on high-frequency 3D ultrasound images a simulation and phantom study. ISBI (2016)
Catarina Carvalho, Florent R. Madelaine, Barnaby Martin
From Complexity to Algebra and Back: Digraph Classes, Collapsibility, and the PGP. LICS (2015)
Catarina Carvalho, László Egri, Marcel Jackson, Todd Niven
On Maltsev Digraphs. Electron. J. Comb. 22 (1) (2015)
Catarina Carvalho, Florent R. Madelaine, Barnaby Martin
From complexity to algebra and back: digraph classes, collapsibility and the PGP. CoRR (2015)
Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin
Two new homomorphism dualities and lattice operations. J. Log. Comput. 21 (6) (2011)
Catarina Carvalho, László Egri, Marcel Jackson, Todd Niven
On Maltsev Digraphs. CSR (2011)
Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin
CSP duality and trees of bounded pathwidth. Theor. Comput. Sci. 411 (34-36) (2010)
Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin
Caterpillar Duality for Constraint Satisfaction Problems. LICS (2008)
Catarina Carvalho, Víctor Dalmau, Petar Markovic, Miklós Maróti
CD(4) has bounded width CoRR (2007)