Marco Vargas Correia
AuthID: R-000-ABY
1
TITLE: From phenotype to genotype in complex brain networks Full Text
AUTHORS: Massimiliano Zanin; Marco Correia; Pedro A C Sousa; Jorge Cruz;
PUBLISHED: 2016, SOURCE: SCIENTIFIC REPORTS, VOLUME: 6
AUTHORS: Massimiliano Zanin; Marco Correia; Pedro A C Sousa; Jorge Cruz;
PUBLISHED: 2016, SOURCE: SCIENTIFIC REPORTS, VOLUME: 6
2
TITLE: Probabilistic Constraint Programming for Parameters Optimisation of Generative Models
AUTHORS: Massimiliano Zanin; Marco Correia; Pedro A C Sousa; Jorge Cruz;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
AUTHORS: Massimiliano Zanin; Marco Correia; Pedro A C Sousa; Jorge Cruz;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
3
TITLE: Reasoning with Uncertainty in Biomedical Models
AUTHORS: Andrea Franco; Marco Correia; Jorge Cruz;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
AUTHORS: Andrea Franco; Marco Correia; Jorge Cruz;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
4
TITLE: Probabilistic Constraints for Robot Localization
AUTHORS: Marco Correia; Olga Meshcheryakova; Pedro Sousa; Jorge Cruz;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
AUTHORS: Marco Correia; Olga Meshcheryakova; Pedro Sousa; Jorge Cruz;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
5
TITLE: Uncertainty Propagation in Biomedical Models
AUTHORS: Andrea Franco; Marco Correia; Jorge Cruz;
PUBLISHED: 2015, SOURCE: 15th Conference on Artificial Intelligence in Medicine (AIME) in ARTIFICIAL INTELLIGENCE IN MEDICINE (AIME 2015), VOLUME: 9105
AUTHORS: Andrea Franco; Marco Correia; Jorge Cruz;
PUBLISHED: 2015, SOURCE: 15th Conference on Artificial Intelligence in Medicine (AIME) in ARTIFICIAL INTELLIGENCE IN MEDICINE (AIME 2015), VOLUME: 9105
6
TITLE: On the Efficient Implementation of Social Abstract Argumentation
AUTHORS: Marco Correia; Jorge Cruz; Joao Leite ;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
AUTHORS: Marco Correia; Jorge Cruz; Joao Leite ;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXED IN: 
Scopus 
WOS
Scopus WOS7
TITLE: View-based propagation of decomposable constraints Full Text
AUTHORS: Marco Correia; Pedro Barahona ;
PUBLISHED: 2013, SOURCE: CONSTRAINTS, VOLUME: 18, ISSUE: 4
AUTHORS: Marco Correia; Pedro Barahona ;
PUBLISHED: 2013, SOURCE: CONSTRAINTS, VOLUME: 18, ISSUE: 4
8
TITLE: Type Parametric Compilation of Algebraic Constraints
AUTHORS: Marco Correia; Pedro Barahona ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
AUTHORS: Marco Correia; Pedro Barahona ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
9
TITLE: Using Indexed Finite Set Variables for Set Bounds Propagation
AUTHORS: Ruben Duarte Viegas; Marco Correia; Pedro Barahona ; Francisco Azevedo;
PUBLISHED: 2008, SOURCE: 11th Ibero-American Conference on Artificial Intelligence in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2008, PROCEEDINGS, VOLUME: 5290
AUTHORS: Ruben Duarte Viegas; Marco Correia; Pedro Barahona ; Francisco Azevedo;
PUBLISHED: 2008, SOURCE: 11th Ibero-American Conference on Artificial Intelligence in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2008, PROCEEDINGS, VOLUME: 5290
10
TITLE: On the Efficiency of Impact Based Heuristics Full Text
AUTHORS: Marco Correia; Pedro Barahona ;
PUBLISHED: 2008, SOURCE: 14th International Conference on Principles and Practice of Constraint Programming (CP 2008) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, VOLUME: 5202
AUTHORS: Marco Correia; Pedro Barahona ;
PUBLISHED: 2008, SOURCE: 14th International Conference on Principles and Practice of Constraint Programming (CP 2008) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, VOLUME: 5202
