Pedro Manuel Correa Calvente Barahona
AuthID: R-000-EVD
11
TITLE: Bioinformatics: A challenge to constraint programming
AUTHORS: Barahona, P; Krippahl, L; Perriquet, O;
PUBLISHED: 2011, SOURCE: Springer Optimization and Its Applications, VOLUME: 45
AUTHORS: Barahona, P; Krippahl, L; Perriquet, O;
PUBLISHED: 2011, SOURCE: Springer Optimization and Its Applications, VOLUME: 45
12
TITLE: BIOLOGICAL CONCEPT FORMATION GRAMMARS A Flexible, Multiagent Linguistic Tool for Biological Processes
AUTHORS: Veronica Dahl; Pedro Barahona; Gemma Bel Enguix; Ludwig Krippahl;
PUBLISHED: 2010, SOURCE: 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
AUTHORS: Veronica Dahl; Pedro Barahona; Gemma Bel Enguix; Ludwig Krippahl;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: 
WOS
WOS13
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: Preface
AUTHORS: Azevedo F.; Barahona P.; Fages F.; Rossi F.;
PUBLISHED: 2007, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4651 LNAI
AUTHORS: Azevedo F.; Barahona P.; Fages F.; Rossi F.;
PUBLISHED: 2007, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4651 LNAI
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID14
TITLE: Deductive Diagnosis of Digital Circuits
AUTHORS: José Júlio Alferes ; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio ; Terrance Swift;
PUBLISHED: 2004, SOURCE: Artificial Intelligence Applications and Innovations, IFIP 18th World Computer Congress, TC12 First International Conference on Artificial Intelligence Applications and Innovations (AIAI-2004), 22-27 August 2004, Toulouse, France, VOLUME: 154
AUTHORS: José Júlio Alferes ; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio ; Terrance Swift;
PUBLISHED: 2004, SOURCE: Artificial Intelligence Applications and Innovations, IFIP 18th World Computer Congress, TC12 First International Conference on Artificial Intelligence Applications and Innovations (AIAI-2004), 22-27 August 2004, Toulouse, France, VOLUME: 154
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef15
TITLE: Deductive diagnosis of digital circuits
AUTHORS: Alferes, JJ ; Azevedo, F; Barahona, P; Damasio, CV; Swift, T;
PUBLISHED: 2004, SOURCE: IFIP TC12 1st International Conference on Artificial Intelligence Applications and Innovations, AIAI 2004 in IFIP Advances in Information and Communication Technology, VOLUME: 154
AUTHORS: Alferes, JJ ; Azevedo, F; Barahona, P; Damasio, CV; Swift, T;
PUBLISHED: 2004, SOURCE: IFIP TC12 1st International Conference on Artificial Intelligence Applications and Innovations, AIAI 2004 in IFIP Advances in Information and Communication Technology, VOLUME: 154
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID16
TITLE: Preface
AUTHORS: Michel Dojat; Elpida Keravnou; Pedro Barahona;
PUBLISHED: 2003, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2780 LNAI
AUTHORS: Michel Dojat; Elpida Keravnou; Pedro Barahona;
PUBLISHED: 2003, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2780 LNAI
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID17
TITLE: On optimal correction of inconsistent linear constraints
AUTHORS: Paula Amaral; Pedro Barahona;
PUBLISHED: 2002, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2470
AUTHORS: Paula Amaral; Pedro Barahona;
PUBLISHED: 2002, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2470
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID18
TITLE: Preface
AUTHORS: Quaglini, S; Barahona, P; Andreassen, S;
PUBLISHED: 2001, SOURCE: 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
AUTHORS: Quaglini, S; Barahona, P; Andreassen, S;
PUBLISHED: 2001, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID19
TITLE: Interaction of constraint programming and local search for optimisation problems
AUTHORS: Francisco Azevedo; Pedro Barahona;
PUBLISHED: 2001, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2239
AUTHORS: Francisco Azevedo; Pedro Barahona;
PUBLISHED: 2001, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2239
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID20
TITLE: Differentiating diagnostic theories through constraints over an eight-valued logic
AUTHORS: Azevedo, F; Barahona, P;
PUBLISHED: 2000, SOURCE: 14th European Conference on Artificial Intelligence in ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 54
AUTHORS: Azevedo, F; Barahona, P;
PUBLISHED: 2000, SOURCE: 14th European Conference on Artificial Intelligence in ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 54
INDEXED IN: WOS
WOS