Marco Correia

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 3

Top Topics

Robot Localization

Maximum Entropy Principle

Abstract Argumentation

Top Venues

EuCNC/6G Summit

J. Glob. Optim.

Publications

André Perdigão, David Santos, João Pedro Fonseca, Rui Silva, Marco Correia, Fatma Marzouk, Paulo Soeiro, Daniel Corujo, José Quevedo, Rui L. Aguiar
ULTRA-FAB5G: Unleashing the Potential of 5G for Industrial Digitalization. EuCNC/6G Summit (2024)
Benjamin Martin, Marco Correia, Jorge Cruz
A certified Branch & Bound approach for reliability-based optimization problems. J. Glob. Optim. 69 (2) (2017)
Leila Amgoud, Elise Bonzon, Marco Correia, Jorge Cruz, Jérôme Delobelle, Sébastien Konieczny, João Leite, Alexis Martin, Nicolas Maudet, Srdjan Vesic
A note on the uniqueness of models in social abstract argumentation. CoRR (2017)
Marco Correia, Olga Meshcheryakova, Pedro A. C. Sousa, Jorge Cruz
Probabilistic Constraints for Robot Localization. EPIA (2015)
Massimiliano Zanin, Marco Correia, Pedro A. C. Sousa, Jorge Cruz
Probabilistic Constraint Programming for Parameters Optimisation of Generative Models. EPIA (2015)
Andrea Franco, Marco Correia, Jorge Cruz
Uncertainty Propagation in Biomedical Models. AIME (2015)
Andrea Franco, Marco Correia, Jorge Cruz
Reasoning with Uncertainty in Biomedical Models. EPIA (2015)
Marco Correia, Jorge Cruz, João Leite
On the Efficient Implementation of Social Abstract Argumentation. ECAI (2014)
Marco Correia, Pedro Barahona
View-based propagation of decomposable constraints. Constraints An Int. J. 18 (4) (2013)
Marco Correia, Pedro Barahona
View-based propagation of decomposable constraints CoRR (2013)
Marco Correia, Pedro Barahona
Type Parametric Compilation of Algebraic Constraints. EPIA (2009)
Marco Correia, Pedro Barahona
On the Efficiency of Impact Based Heuristics. CP (2008)
Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo
Using Indexed Finite Set Variables for Set Bounds Propagation. IBERAMIA (2008)
Marco Correia, Pedro Barahona
On the Integration of Singleton Consistencies and Look-Ahead Heuristics. CSCLP (2007)
Marco Correia, Pedro Barahona
Machine Learned Heuristics to Improve Constraint Satisfaction. SBIA (2004)