Catarina Carvalho

15 papers A* 2B 1Misc 1Journal 11
YearRankTypeTitle / Venue / Authors
2023 J jnl
The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation.
ACM Trans. Comput. Log.
Catarina Carvalho, Florent R. Madelaine, Barnaby Martin, Dmitriy Zhuk
2022 J jnl
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
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
2022 J jnl
The lattice and semigroup structure of multipermutations.
Int. J. Algebra Comput.
Catarina Carvalho, Barnaby Martin
2021 J jnl
The complexity of quantified constraints: collapsibility, switchability and the algebraic formulation.
CoRR
Catarina Carvalho, Florent R. Madelaine, Barnaby Martin, Dmitriy Zhuk
2017 B conf
The Complexity of Quantified Constraints Using the Algebraic Formulation.
MFCS
Catarina Carvalho, Barnaby Martin, Dmitriy Zhuk
2017 J jnl
The complexity of quantified constraints.
CoRR
Catarina Carvalho, Barnaby Martin, Dmitriy Zhuk
2016 J jnl
On algebras with many symmetric operations.
Int. J. Algebra Comput.
Catarina Carvalho, Andrei A. Krokhin
2015 A* conf
From Complexity to Algebra and Back: Digraph Classes, Collapsibility, and the PGP.
LICS
Catarina Carvalho, Florent R. Madelaine, Barnaby Martin
2015 J jnl
From complexity to algebra and back: digraph classes, collapsibility and the PGP.
CoRR
Catarina Carvalho, Florent R. Madelaine, Barnaby Martin
2015 J jnl
On Maltsev Digraphs.
Electron. J. Comb.
Catarina Carvalho, László Egri, Marcel Jackson, Todd Niven
2011 Misc conf
On Maltsev Digraphs.
CSR
Catarina Carvalho, László Egri, Marcel Jackson, Todd Niven
2011 J jnl
Two new homomorphism dualities and lattice operations.
J. Log. Comput.
Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin
2010 J jnl
CSP duality and trees of bounded pathwidth.
Theor. Comput. Sci.
Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin
2008 A* conf
Caterpillar Duality for Constraint Satisfaction Problems.
LICS
Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin
2007 J jnl
CD(4) has bounded width
CoRR
Catarina Carvalho, Víctor Dalmau, Petar Markovic, Miklós Maróti