Machine Learned Heuristics to Improve Constraint Satisfaction. - Marco Correia; Pedro Barahona (SBIA, 2004)

On the Integration of Singleton Consistencies and Look-Ahead Heuristics. - Marco Correia; Pedro Barahona (CSCLP, 2007)

On the Efficiency of Impact Based Heuristics. - Marco Correia; Pedro Barahona (CP, 2008)

Using Indexed Finite Set Variables for Set Bounds Propagation. - Ruben Duarte Viegas; Marco Correia; Pedro Barahona; Francisco Azevedo (IBERAMIA, 2008)

Type Parametric Compilation of Algebraic Constraints. - Marco Correia; Pedro Barahona (EPIA, 2009)

View-based propagation of decomposable constraints. - Marco Correia; Pedro Barahona (Constraints An Int. J., 2013)

On the Efficient Implementation of Social Abstract Argumentation. - Marco Correia; Jorge Cruz 001; João Leite 001 (ECAI, 2014)

Uncertainty Propagation in Biomedical Models. - Andrea Franco; Marco Correia; Jorge Cruz 001 (AIME, 2015)

Probabilistic Constraints for Robot Localization. - Marco Correia; Olga Meshcheryakova; Pedro A. C. Sousa; Jorge Cruz 001 (EPIA, 2015)

Reasoning with Uncertainty in Biomedical Models. - Andrea Franco; Marco Correia; Jorge Cruz 001 (EPIA, 2015)

Probabilistic Constraint Programming for Parameters Optimisation of Generative Models. - Massimiliano Zanin; Marco Correia; Pedro A. C. Sousa; Jorge Cruz 001 (EPIA, 2015)

A note on the uniqueness of models in social abstract argumentation. - Leila Amgoud; Elise Bonzon; Marco Correia; Jorge Cruz 001; Jérôme Delobelle; Sébastien Konieczny; João Leite 001; Alexis Martin; Nicolas Maudet; Srdjan Vesic (CoRR, 2017)

A certified Branch & Bound approach for reliability-based optimization problems. - Benjamin Martin 003; Marco Correia; Jorge Cruz 001 (J. Glob. Optim., 2017)

ULTRA-FAB5G: Unleashing the Potential of 5G for Industrial Digitalization. - André Perdigão; David Santos; João Pedro Fonseca 001; Rui Silva; Marco Correia; Fatma Marzouk; Paulo Soeiro; Daniel Corujo; José Quevedo; Rui L. Aguiar (EuCNC/6G Summit, 2024)