Marco Correia

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