Francisco de Moura e Castro Ascensão de Azevedo
AuthID: R-000-5AG
1
TÃTULO: OHL assessment and risk evaluation based on environmental and inspection data Full Text
AUTORES: Francisco Azevedo; Joao Gomes Mota; Luis Campos Pinto; Nelio Machado; Susana de Almeida de Graaff;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 70
AUTORES: Francisco Azevedo; Joao Gomes Mota; Luis Campos Pinto; Nelio Machado; Susana de Almeida de Graaff;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 70
2
TÃTULO: Domain-Splitting Generalized Nogoods from Restarts Full Text
AUTORES: Luis Baptista; Francisco Azevedo;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026
AUTORES: Luis Baptista; Francisco Azevedo;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026
3
TÃTULO: GRASPER: constraint reasoning with graphs
AUTORES: Viegas, RD; Azevedo, FA;
PUBLICAÇÃO: 2010, FONTE: International Journal of Reasoning-based Intelligent Systems, VOLUME: 2, NÚMERO: 1
AUTORES: Viegas, RD; Azevedo, FA;
PUBLICAÇÃO: 2010, FONTE: International Journal of Reasoning-based Intelligent Systems, VOLUME: 2, NÚMERO: 1
INDEXADO EM:
Scopus
CrossRef


4
TÃTULO: Colored Nonograms: An Integer Linear Programming Approach
AUTORES: Luis Mingote; Francisco Azevedo;
PUBLICAÇÃO: 2009, FONTE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
AUTORES: Luis Mingote; Francisco Azevedo;
PUBLICAÇÃO: 2009, FONTE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
5
TÃTULO: Lazy Constraint Imposing for Improving the Path Constraint
AUTORES: Viegas, RD; Azevedo, F;
PUBLICAÇÃO: 2009, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 253, NÚMERO: 4
AUTORES: Viegas, RD; Azevedo, F;
PUBLICAÇÃO: 2009, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 253, NÚMERO: 4
INDEXADO EM:
Scopus
CrossRef


6
TÃTULO: Using Indexed Finite Set Variables for Set Bounds Propagation
AUTORES: Ruben Duarte Viegas; Marco Correia; Pedro Barahona ; Francisco Azevedo;
PUBLICAÇÃO: 2008, FONTE: 11th Ibero-American Conference on Artificial Intelligence in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2008, PROCEEDINGS, VOLUME: 5290
AUTORES: Ruben Duarte Viegas; Marco Correia; Pedro Barahona ; Francisco Azevedo;
PUBLICAÇÃO: 2008, FONTE: 11th Ibero-American Conference on Artificial Intelligence in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2008, PROCEEDINGS, VOLUME: 5290
7
TÃTULO: Maxx: Test pattern optimisation with local search over an extended logic Full Text
AUTORES: Francisco Azevedo;
PUBLICAÇÃO: 2007, FONTE: CONSTRAINTS, VOLUME: 12, NÚMERO: 4
AUTORES: Francisco Azevedo;
PUBLICAÇÃO: 2007, FONTE: CONSTRAINTS, VOLUME: 12, NÚMERO: 4
8
TÃTULO: Cardinal: A finite sets constraint solver Full Text
AUTORES: Francisco Azevedo;
PUBLICAÇÃO: 2007, FONTE: CONSTRAINTS, VOLUME: 12, NÚMERO: 1
AUTORES: Francisco Azevedo;
PUBLICAÇÃO: 2007, FONTE: CONSTRAINTS, VOLUME: 12, NÚMERO: 1
9
TÃTULO: GRASPER - (A framework for graph constraint satisfaction problems)
AUTORES: Ruben Viegas; Francisco Azevedo;
PUBLICAÇÃO: 2007, FONTE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874
AUTORES: Ruben Viegas; Francisco Azevedo;
PUBLICAÇÃO: 2007, FONTE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874
INDEXADO EM:
WOS

10
TÃTULO: An attempt to dynamically break symmetries in the social golfers problem
AUTORES: Francisco Azevedo;
PUBLICAÇÃO: 2007, FONTE: 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming in Recent Advances in Constraints, VOLUME: 4651
AUTORES: Francisco Azevedo;
PUBLICAÇÃO: 2007, FONTE: 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming in Recent Advances in Constraints, VOLUME: 4651
INDEXADO EM:
Scopus
WOS

