Pedro Manuel Correa Calvente Barahona


AuthID: R-000-EVD

Confirmed Publications: 43



1
TITLE: Constraining protein docking with coevolution data for medical research
AUTHORS: Krippahl, L; Madeira, F; Barahona, P ;
PUBLISHED: 2013, SOURCE: 14th Conference on Artificial Intelligence in Medicine, AIME 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7885 LNAI
INDEXED IN: Scopus CrossRef
IN MY: ORCID
2
TITLE: Probabilistic constraints for nonlinear inverse problems. An ocean color remote sensing example  Full Text
AUTHORS: Carvalho, E; Cruz, J ; Barahona, P ;
PUBLISHED: 2013, SOURCE: CONSTRAINTS, VOLUME: 18, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
3
TITLE: View-based propagation of decomposable constraints  Full Text
AUTHORS: Marco Correia; Pedro Barahona ;
PUBLISHED: 2013, SOURCE: CONSTRAINTS, VOLUME: 18, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
4
TITLE: Why the Hardest Logic Puzzle Ever Cannot Be Solved in Less than Three Questions  Full Text
AUTHORS: Gregory Wheeler; Pedro Barahona ;
PUBLISHED: 2012, SOURCE: JOURNAL OF PHILOSOPHICAL LOGIC, VOLUME: 41, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
5
TITLE: Classification Tree Generation Constrained with Variable Weights
AUTHORS: Pedro Barahona ; Gemma Bel Enguix; Veronica Dahl; Dolores Jimenez Lopez, MD; Ludwig Krippahl;
PUBLISHED: 2011, SOURCE: 4th International Work-Conference on the Interplay Between Natural and Artificial Computation (IWINAC)/Joint Workshop and Summer School on Astrostatistics and Data Mining in Large Astronomical Databases in FOUNDATIONS ON NATURAL AND ARTIFICIAL COMPUTATION: 4TH INTERNATIONAL WORK-CONFERENCE ON THE INTERPLAY BETWEEN NATURAL AND ARTIFICIAL COMPUTATION, IWINAC 2011, PART I, VOLUME: 6686, ISSUE: PART 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
6
TITLE: Biological concept formation grammars: A flexible, multiagent linguistic tool for biological processes
AUTHORS: Dahl, V; Barahona, P ; Bel Enguix, G; Krippahl, L;
PUBLISHED: 2010, SOURCE: 2nd International Conference on Agents and Artificial Intelligence, ICAART 2010 in ICAART 2010 - 2nd International Conference on Agents and Artificial Intelligence, Proceedings, VOLUME: 2
INDEXED IN: Scopus
IN MY: ORCID
7
TITLE: Probabilistic constraints for reliability problems  Full Text
AUTHORS: Carvalho, E; Cruz, J ; Barahona, P ;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the ACM Symposium on Applied Computing
INDEXED IN: Scopus CrossRef
IN MY: ORCID
8
TITLE: Constraint-Based Strategy for Pairwise RNA Secondary Structure Prediction
AUTHORS: Olivier Perriquet; Pedro Barahona ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
9
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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
10
TITLE: Constraint programming in structural bioinformatics  Full Text
AUTHORS: Pedro Barahona ; Ludwig Krippahl;
PUBLISHED: 2008, SOURCE: CONSTRAINTS, VOLUME: 13, ISSUE: 1-2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 1 of 5. Total results: 43.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service