Pedro Manuel Correa Calvente Barahona
AuthID: R-000-EVD
11
TÃTULO: Application of hierarchical hybrid encodings to efficient translation of csps to sat
AUTORES: Nguyen, VH; Velev, MN; Barahona, PT;
PUBLICAÇÃO: 2013, FONTE: 25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2013 in Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI
AUTORES: Nguyen, VH; Velev, MN; Barahona, PT;
PUBLICAÇÃO: 2013, FONTE: 25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2013 in Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI
12
TÃTULO: Bioinformatics: A challenge to constraint programming
AUTORES: Barahona, P; Krippahl, L; Perriquet, O;
PUBLICAÇÃO: 2011, FONTE: Springer Optimization and Its Applications, VOLUME: 45
AUTORES: Barahona, P; Krippahl, L; Perriquet, O;
PUBLICAÇÃO: 2011, FONTE: Springer Optimization and Its Applications, VOLUME: 45
13
TÃTULO: BIOLOGICAL CONCEPT FORMATION GRAMMARS A Flexible, Multiagent Linguistic Tool for Biological Processes
AUTORES: Veronica Dahl; Pedro Barahona; Gemma Bel Enguix; Ludwig Krippahl;
PUBLICAÇÃO: 2010, FONTE: 2nd International Conference on Agents and Artificial Intelligence (ICAART 2010) in ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 2: AGENTS
AUTORES: Veronica Dahl; Pedro Barahona; Gemma Bel Enguix; Ludwig Krippahl;
PUBLICAÇÃO: 2010, FONTE: 2nd International Conference on Agents and Artificial Intelligence (ICAART 2010) in ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 2: AGENTS
INDEXADO EM: 
WOS
WOS14
TÃTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: Preface
AUTORES: Azevedo F.; Barahona P.; Fages F.; Rossi F.;
PUBLICAÇÃO: 2007, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4651 LNAI
AUTORES: Azevedo F.; Barahona P.; Fages F.; Rossi F.;
PUBLICAÇÃO: 2007, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4651 LNAI
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID15
TÃTULO: Deductive Diagnosis of Digital Circuits
AUTORES: José Júlio Alferes ; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio ; Terrance Swift;
PUBLICAÇÃO: 2004, FONTE: IFIP TC12 1st International Conference on Artificial Intelligence Applications and Innovations, AIAI 2004 in AIAI, VOLUME: 154
AUTORES: José Júlio Alferes ; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio ; Terrance Swift;
PUBLICAÇÃO: 2004, FONTE: IFIP TC12 1st International Conference on Artificial Intelligence Applications and Innovations, AIAI 2004 in AIAI, VOLUME: 154
16
TÃTULO: Preface
AUTORES: Michel Dojat; Elpida Keravnou; Pedro Barahona;
PUBLICAÇÃO: 2003, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2780 LNAI
AUTORES: Michel Dojat; Elpida Keravnou; Pedro Barahona;
PUBLICAÇÃO: 2003, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2780 LNAI
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID17
TÃTULO: On optimal correction of inconsistent linear constraints
AUTORES: Paula Amaral; Pedro Barahona;
PUBLICAÇÃO: 2002, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2470
AUTORES: Paula Amaral; Pedro Barahona;
PUBLICAÇÃO: 2002, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2470
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID18
TÃTULO: Preface
AUTORES: Quaglini, S; Barahona, P; Andreassen, S;
PUBLICAÇÃO: 2001, FONTE: 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2101
AUTORES: Quaglini, S; Barahona, P; Andreassen, S;
PUBLICAÇÃO: 2001, FONTE: 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2101
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID19
TÃTULO: Interaction of constraint programming and local search for optimisation problems
AUTORES: Francisco Azevedo; Pedro Barahona;
PUBLICAÇÃO: 2001, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2239
AUTORES: Francisco Azevedo; Pedro Barahona;
PUBLICAÇÃO: 2001, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2239
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID20
TÃTULO: Differentiating diagnostic theories through constraints over an eight-valued logic
AUTORES: Azevedo, F; Barahona, P;
PUBLICAÇÃO: 2000, FONTE: 14th European Conference on Artificial Intelligence in ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 54
AUTORES: Azevedo, F; Barahona, P;
PUBLICAÇÃO: 2000, FONTE: 14th European Conference on Artificial Intelligence in ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 54
INDEXADO EM: WOS
WOS