Pedro Manuel Correa Calvente Barahona
AuthID: R-000-EVD
1
TITLE: K-best feasible clusters - ranking optimal solutions from an infeasible LP Full Text
AUTHORS: Amaral, PA ; Barahona, P;
PUBLISHED: 2020, SOURCE: INFOR, VOLUME: 58, ISSUE: 2
AUTHORS: Amaral, PA ; Barahona, P;
PUBLISHED: 2020, SOURCE: INFOR, VOLUME: 58, ISSUE: 2
2
TITLE: Constraining Redundancy to Improve Protein Docking
AUTHORS: Ludwig Krippahl; Pedro Barahona;
PUBLISHED: 2016, SOURCE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
AUTHORS: Ludwig Krippahl; Pedro Barahona;
PUBLISHED: 2016, SOURCE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
3
TITLE: Protein docking with predicted constraints Full Text
AUTHORS: Ludwig Krippahl; Pedro Barahona;
PUBLISHED: 2015, SOURCE: ALGORITHMS FOR MOLECULAR BIOLOGY, VOLUME: 10, ISSUE: 1
AUTHORS: Ludwig Krippahl; Pedro Barahona;
PUBLISHED: 2015, SOURCE: ALGORITHMS FOR MOLECULAR BIOLOGY, VOLUME: 10, ISSUE: 1
4
TITLE: Safe reliability assessment through probabilistic constraint reasoning
AUTHORS: Elsa Carvalho; Jorge Cruz; Pedro Barahona;
PUBLISHED: 2015, SOURCE: PROCEEDINGS OF THE EUROPEAN SAFETY AND RELIABILITY CONFERENCE (ESREL) in Safety and Reliability: Methodology and Applications
AUTHORS: Elsa Carvalho; Jorge Cruz; Pedro Barahona;
PUBLISHED: 2015, SOURCE: PROCEEDINGS OF THE EUROPEAN SAFETY AND RELIABILITY CONFERENCE (ESREL) in Safety and Reliability: Methodology and Applications
INDEXED IN: 
WOS
WOS5
TITLE: Safe reliability assessment through probabilistic constraint reasoning
AUTHORS: Carvalho, E; Cruz, J; Barahona, P;
PUBLISHED: 2014, SOURCE: Safety and Reliability: Methodology and Applications
AUTHORS: Carvalho, E; Cruz, J; Barahona, P;
PUBLISHED: 2014, SOURCE: Safety and Reliability: Methodology and Applications
INDEXED IN: 
Scopus
Scopus6
TITLE: Reasoning with Uncertainty in Continuous Domains
AUTHORS: Elsa Carvalho; Jorge Cruz ; Pedro Barahona;
PUBLISHED: 2010, SOURCE: International Symposium on Integrated Uncertainty Management and Applications in INTEGRATED UNCERTAINTY MANAGEMENT AND APPLICATIONS, VOLUME: 68
AUTHORS: Elsa Carvalho; Jorge Cruz ; Pedro Barahona;
PUBLISHED: 2010, SOURCE: International Symposium on Integrated Uncertainty Management and Applications in INTEGRATED UNCERTAINTY MANAGEMENT AND APPLICATIONS, VOLUME: 68
INDEXED IN: WOS
WOS7
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
WOS8
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 CrossRef9
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
WOS10
TITLE: Handling differential equations with constraints for decision support
AUTHORS: Cruz, J ; Barahona, P;
PUBLISHED: 2000, SOURCE: 3rd International Workshop on Frontiers of Combining Systems (FroCoS 2000) in FRONTIERS OF COMBINING SYSTEMS, VOLUME: 1794
AUTHORS: Cruz, J ; Barahona, P;
PUBLISHED: 2000, SOURCE: 3rd International Workshop on Frontiers of Combining Systems (FroCoS 2000) in FRONTIERS OF COMBINING SYSTEMS, VOLUME: 1794
INDEXED IN: WOS
WOS