Pedro Barahona

Publication Activity (10 Years)

Years Active: 1989-2022
Publications (10 Years): 5

Top Topics

Inverse Problems

Classification Trees

Constraint Satisfaction

Top Venues

Constraints An Int. J.

Publications

Hugo Mochão, Daniel Gonçalves, Leonardo Alexandre, Carolina Castro, Duarte Valério, Pedro Barahona, Daniel Moreira-Gonçalves, Paulo Matos da Costa, Rui Henriques, Lucio Lara-Santos, Rafael S. Costa
IPOscore: An interactive web-based platform for postoperative surgical complications analysis and prediction in the oncology domain. Comput. Methods Programs Biomed. 219 (2022)
Paula Alexandra Amaral, Pedro Barahona
K-best feasible clusters - ranking optimal solutions from an infeasible LP. INFOR Inf. Syst. Oper. Res. 58 (2) (2020)
Van-Hau Nguyen, Van-Quyet Nguyen, Kyungbaek Kim, Pedro Barahona
Empirical Study on SAT-Encodings of the At-Most-One Constraint. SMA (2020)
Hugo Mochão, Pedro Barahona, Rafael S. Costa
KiMoSys 2.0: an upgraded database for submitting, storing and accessing experimental data for kinetic modeling. Database J. Biol. Databases Curation 2020 (2020)
Ludwig Krippahl, Pedro Barahona
Constraining Redundancy to Improve Protein Docking. CP (2016)
Ludwig Krippahl, Pedro Barahona
Protein docking with predicted constraints. Algorithms Mol. Biol. 10 (2015)
Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen
Efficient SAT-Encoding of Linear CSP Constraints. ISAIM (2014)
Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen
Representative Encodings to Translate Finite CSPs into SAT. CPAIOR (2014)
Pedro Barahona, Gemma Bel Enguix, Verónica Dahl, Maria Dolores Jiménez-López, Ludwig Krippahl
Generation of classification trees from variable weighted features. Nat. Comput. 13 (2) (2014)
Elsa Carvalho, Jorge Cruz, Pedro Barahona
Probabilistic Constraints for Nonlinear Inverse Problems - (Extended Abstract). CP (2014)
Marco Correia, Pedro Barahona
View-based propagation of decomposable constraints. Constraints An Int. J. 18 (4) (2013)
Ludwig Krippahl, Fábio Madeira, Pedro Barahona
Constraining Protein Docking with Coevolution Data for Medical Research. AIME (2013)
Marco Correia, Pedro Barahona
View-based propagation of decomposable constraints CoRR (2013)
Van-Hau Nguyen, Miroslav N. Velev, Pedro Barahona
Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT. ICTAI (2013)
Elsa Carvalho, Jorge Cruz, Pedro Barahona
Probabilistic constraints for nonlinear inverse problems - An ocean color remote sensing example. Constraints An Int. J. 18 (3) (2013)
Gregory R. Wheeler, Pedro Barahona
Why the Hardest Logic Puzzle Ever Cannot Be Solved in Less than Three Questions. J. Philos. Log. 41 (2) (2012)
Pedro Barahona, Gemma Bel Enguix, Verónica Dahl, Maria Dolores Jiménez-López, Ludwig Krippahl
Classification Tree Generation Constrained with Variable Weights. IWINAC (1) (2011)
Verónica Dahl, Pedro Barahona, Gemma Bel Enguix, Ludwig Krippahl
Biological Concept Formation Grammars - A Flexible, Multiagent Linguistic Tool for Biological Processes. ICAART (2) (2010)
David Buezas, João Almeida, Pedro Barahona
Minimizing enzymes to diferenciate between species. WCB@ICLP (2010)
Elsa Carvalho, Jorge Cruz, Pedro Barahona
Probabilistic constraints for reliability problems. SAC (2010)
Elsa Carvalho, Jorge Cruz, Pedro Barahona
Reasoning with Uncertainty in Continuous Domains. IUM (2010)
Olivier Perriquet, Pedro Barahona
Constraint-Based Strategy for Pairwise RNA Secondary Structure Prediction. EPIA (2009)
Marco Correia, Pedro Barahona
Type Parametric Compilation of Algebraic Constraints. EPIA (2009)
Marco Correia, Pedro Barahona
On the Efficiency of Impact Based Heuristics. CP (2008)
Pedro Barahona, Ludwig Krippahl
Constraint Programming in Structural Bioinformatics. Constraints An Int. J. 13 (1-2) (2008)
Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo
Using Indexed Finite Set Variables for Set Bounds Propagation. IBERAMIA (2008)
Elsa Carvalho, Jorge Cruz, Pedro Barahona
Probabilistic Continuous Constraint Satisfaction Problems. ICTAI (2) (2008)
Marco Correia, Pedro Barahona
On the Integration of Singleton Consistencies and Look-Ahead Heuristics. CSCLP (2007)
Pedro Barahona, Ludwig Krippahl
A Constraint Programming Approach to Bioinformatics Structural Problems. PADL (2007)
Paula Amaral, Pedro Barahona
A Framework for Optimal Correction of Inconsistent Linear Constraints. Constraints An Int. J. 10 (1) (2005)
Ludwig Krippahl, Pedro Barahona
Applying Constraint Programming to Rigid Body Protein Docking. CP (2005)
Jorge Cruz, Pedro Barahona
Constraint reasoning in deep biomedical models. Artif. Intell. Medicine 34 (1) (2005)
Laurent Granvilliers, Jorge Cruz, Pedro Barahona
Parameter Estimation Using Interval Computations. SIAM J. Sci. Comput. 26 (2) (2004)
Marco Correia, Pedro Barahona
Machine Learned Heuristics to Improve Constraint Satisfaction. SBIA (2004)
José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift
Deductive Diagnosis of Digital Circuits. AIAI (2004)
Jorge Cruz, Pedro Barahona
Constraint Reasoning in Deep Biomedical Models. AIME (2003)
Jorge Cruz, Pedro Barahona
Constraint Satisfaction Differential Problems. CP (2003)
Ludwig Krippahl, Pedro Barahona
Propagating N-Ary Rigid-Body Constraints. CP (2003)
Jorge Cruz, Pedro Barahona
Maintaining Global Hull Consistency with Local Search for Continuous CSPs. COCOS (2002)
Ludwig Krippahl, Pedro Barahona
PSICO: Solving Protein Structures with Constraint Programming and Optimization. Constraints An Int. J. 7 (3-4) (2002)
Paula Amaral, Pedro Barahona
On Optimal Correction of Inconsistent Linear Constraints. CP (2002)
Francisco Azevedo, Pedro Barahona
Interaction of Constraint Programming and Local Search for Optimisation Problems. CP (2001)
Jorge Cruz, Pedro Barahona
Global Hull Consistency with Local Search for Continuous Constraint Solving. EPIA (2001)
Pedro Barahona, Francisco Azevedo, Mario Veloso, Nuno Estêvão, Rosa Gallego
Computerising a guideline for the management of diabetes. Int. J. Medical Informatics 64 (2-3) (2001)
Francisco Azevedo, Pedro Barahona
Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic. ECAI (2000)
Francisco Azevedo, Pedro Barahona
Modelling Digital Circuits Problems with Set Constraints. Computational Logic (2000)
Jorge Cruz, Pedro Barahona
Handling Differential Equations with Constraints for Decision Support. FroCoS (2000)
Ludwig Krippahl, Pedro Barahona
Applying Constraint Programming to Protein Structure Determination. CP (1999)
Jorge Cruz, Pedro Barahona, Frédéric Benhamou
Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach. AIMDM (1999)
Jorge Cruz, Pedro Barahona
An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support. CP (1999)
Francisco Azevedo, Pedro Barahona
Generation of Test Patterns for Differential Diagnosis of Digital Circuits. CP (1998)
Pedro Barahona
Defeasible Constraint Solving over the Booleans. IBERAMIA (1998)
Jorge Cruz, Pedro Barahona
A Causal-Functional Model Applied to EMG Diagnosis. AIME (1997)
Christian Holzbaur, Francisco Menezes, Pedro Barahona
Defeasibility in CLP(Q) through Generalized Slack Variables. CP (1996)
Pedro Barahona
Constraint Logic Programming: Theory, Domain and Applications. APPIA-GULP-PRODE (1996)
Francisco Menezes, Pedro Barahona
Defeasible Constraint Solving. Over-Constrained Systems (1995)
Pedro Barahona
Semi-Qualitative Models and Simulation for Biomedical Applications. AIME (1995)
Francisco Menezes, Pedro Barahona
Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently. Ann. Oper. Res. 50 (1) (1994)
Pedro Barahona
A causal and temporal reasoning model and its use in drug therapy applications. Artif. Intell. Medicine 6 (1) (1994)
Francisco Menezes, Pedro Barahona
Preliminary Formalization of an Incremental Hierarchical Constraint Solver. EPIA (1993)
Francisco Menezes, Pedro Barahona, Philippe Codognet
An Incremental Hierarchical Constraint Solver. PPCP (1993)
Pedro Barahona, Mario Veloso
Integration of the Causal and Functional Approaches for Robust Medical Diagnosis. MIE (1991)
Francisco Menezes, Pedro Barahona
Constraint Solving in Finite Domains under User Control. EPIA (1991)
Pedro Barahona, Mario Veloso
A Framework for Causal Reasoning with a Functional Approach. AIME (1991)
P. Falcão, M. Pereira, R. Ribeiro, Pedro Barahona
Another timetabling approach. Expert Planning Systems (1990)
Pedro Barahona, Mario Veloso, Ricardo Amador, Francisco Menezes
Some Issues in the Control of Interactive Differential Diagnosis. AIME (1989)