Pedro Barahona

According to our database, Pedro Barahona authored at least 65 papers between 1989 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

IPOscore: An interactive web-based platform for postoperative surgical complications analysis and prediction in the oncology domain.

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

Comput. Methods Programs Biomed., 2022

2020

K-best feasible clusters - ranking optimal solutions from an infeasible LP.

Paula Alexandra Amaral, Pedro Barahona

INFOR Inf. Syst. Oper. Res., 2020

KiMoSys 2.0: an upgraded database for submitting, storing and accessing experimental data for kinetic modeling.

Hugo Mochão, Pedro Barahona, Rafael S. Costa

Database J. Biol. Databases Curation, 2020

Empirical Study on SAT-Encodings of the At-Most-One Constraint.

Van-Hau Nguyen, Van-Quyet Nguyen, Kyungbaek Kim, Pedro Barahona

Proceedings of the SMA 2020: The 9th International Conference on Smart Media and Applications, Jeju, Republic of Korea, September 17, 2020

2016

Constraining Redundancy to Improve Protein Docking.

Ludwig Krippahl, Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

Protein docking with predicted constraints.

Ludwig Krippahl, Pedro Barahona

Algorithms Mol. Biol., 2015

2014

Generation of classification trees from variable weighted features.

Pedro Barahona, Gemma Bel Enguix, Verónica Dahl, María Dolores Jiménez-López, Ludwig Krippahl

Nat. Comput., 2014

Efficient SAT-Encoding of Linear CSP Constraints.

Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014

Representative Encodings to Translate Finite CSPs into SAT.

Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Probabilistic Constraints for Nonlinear Inverse Problems - (Extended Abstract).

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

View-based propagation of decomposable constraints.

Marco Correia, Pedro Barahona

Constraints An Int. J., 2013

Probabilistic constraints for nonlinear inverse problems - An ocean color remote sensing example.

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Constraints An Int. J., 2013

Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT.

Van-Hau Nguyen, Miroslav N. Velev, Pedro Barahona

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Constraining Protein Docking with Coevolution Data for Medical Research.

Ludwig Krippahl, Fábio Madeira, Pedro Barahona

Proceedings of the Artificial Intelligence in Medicine, 2013

2012

Why the Hardest Logic Puzzle Ever Cannot Be Solved in Less than Three Questions.

Gregory R. Wheeler, Pedro Barahona

J. Philos. Log., 2012

2011

Classification Tree Generation Constrained with Variable Weights.

Pedro Barahona, Gemma Bel Enguix, Verónica Dahl, María Dolores Jiménez-López, Ludwig Krippahl

Proceedings of the Foundations on Natural and Artificial Computation, 2011

2010

Probabilistic constraints for reliability problems.

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Reasoning with Uncertainty in Continuous Domains.

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Proceedings of the Integrated Uncertainty Management and Applications [revised papers from the International Symposium on Integrated Uncertainty Management and Applications, 2010

Minimizing enzymes to diferenciate between species.

David Buezas, João Almeida, Pedro Barahona

Proceedings of the Workshop on Constraint Based Methods for Bioinformatics, 2010

Biological Concept Formation Grammars - A Flexible, Multiagent Linguistic Tool for Biological Processes.

Verónica Dahl, Pedro Barahona, Gemma Bel Enguix, Ludwig Krippahl

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, 2010

2009

Constraint-Based Strategy for Pairwise RNA Secondary Structure Prediction.

Olivier Perriquet, Pedro Barahona

Proceedings of the Progress in Artificial Intelligence, 2009

Type Parametric Compilation of Algebraic Constraints.

Marco Correia, Pedro Barahona

Proceedings of the Progress in Artificial Intelligence, 2009

2008

Probabilistic Constraints for Inverse Problems.

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Proceedings of the Interval / Probabilistic Uncertainty and Non-Classical Logics, 2008

Constraint Programming in Structural Bioinformatics.

Pedro Barahona, Ludwig Krippahl

Constraints An Int. J., 2008

Probabilistic Continuous Constraint Satisfaction Problems.

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

Using Indexed Finite Set Variables for Set Bounds Propagation.

Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo

Proceedings of the Advances in Artificial Intelligence, 2008

On the Efficiency of Impact Based Heuristics.

Marco Correia, Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

A Constraint Programming Approach to Bioinformatics Structural Problems.

Pedro Barahona, Ludwig Krippahl

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

On the Integration of Singleton Consistencies and Look-Ahead Heuristics.

Marco Correia, Pedro Barahona

Proceedings of the Recent Advances in Constraints, 2007

2005

A Framework for Optimal Correction of Inconsistent Linear Constraints.

Paula Amaral, Pedro Barahona

Constraints An Int. J., 2005

Constraint reasoning in deep biomedical models.

Jorge Cruz, Pedro Barahona

Artif. Intell. Medicine, 2005

Applying Constraint Programming to Rigid Body Protein Docking.

Ludwig Krippahl, Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Parameter Estimation Using Interval Computations.

Laurent Granvilliers, Jorge Cruz, Pedro Barahona

SIAM J. Sci. Comput., 2004

Machine Learned Heuristics to Improve Constraint Satisfaction.

Marco Correia, Pedro Barahona

Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004

Deductive Diagnosis of Digital Circuits.

José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift

Proceedings of the Artificial Intelligence Applications and Innovations, 2004

2003

Propagating N-Ary Rigid-Body Constraints.

Ludwig Krippahl, Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 2003

Constraint Satisfaction Differential Problems.

Jorge Cruz, Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

PSICO: Solving Protein Structures with Constraint Programming and Optimization.

Ludwig Krippahl, Pedro Barahona

Constraints An Int. J., 2002

On Optimal Correction of Inconsistent Linear Constraints.

Paula Amaral, Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 2002

Maintaining Global Hull Consistency with Local Search for Continuous CSPs.

Jorge Cruz, Pedro Barahona

Proceedings of the Global Optimization and Constraint Satisfaction, 2002

2001

Computerising a guideline for the management of diabetes.

Pedro Barahona, Francisco Azevedo, Mario Veloso, Nuno Estêvão, Rosa Gallego

Int. J. Medical Informatics, 2001

Global Hull Consistency with Local Search for Continuous Constraint Solving.

Jorge Cruz, Pedro Barahona

Proceedings of the Progress in Artificial Intelligence, 2001

Interaction of Constraint Programming and Local Search for Optimisation Problems.

Francisco Azevedo, Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

Handling Differential Equations with Constraints for Decision Support.

Jorge Cruz, Pedro Barahona

Proceedings of the Frontiers of Combining Systems, 2000

Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic.

Francisco Azevedo, Pedro Barahona

Proceedings of the ECAI 2000, 2000

Modelling Digital Circuits Problems with Set Constraints.

Francisco Azevedo, Pedro Barahona

Proceedings of the Computational Logic, 2000

1999

Applying Constraint Programming to Protein Structure Determination.

Ludwig Krippahl, Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 1999

An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support.

Jorge Cruz, Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 1999

Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach.

Jorge Cruz, Pedro Barahona, Frédéric Benhamou

Proceedings of the Artificial Intelligence in Medicine. Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, 1999

1998

Defeasible Constraint Solving over the Booleans.

Pedro Barahona

Proceedings of the Progress in Artificial Intelligence, 1998

Generation of Test Patterns for Differential Diagnosis of Digital Circuits.

Francisco Azevedo, Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 1998

1997

A Causal-Functional Model Applied to EMG Diagnosis.

Jorge Cruz, Pedro Barahona

Proceedings of the Artificial Intelligence Medicine, 1997

1996

Defeasibility in CLP(Q) through Generalized Slack Variables.

Christian Holzbaur, Francisco Menezes, Pedro Barahona

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

Constraint Logic Programming: Theory, Domain and Applications.

Pedro Barahona

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

Defeasible Constraint Solving.

Francisco Menezes, Pedro Barahona

Proceedings of the Over-Constrained Systems, 1995

Semi-Qualitative Models and Simulation for Biomedical Applications.

Pedro Barahona

Proceedings of the Artificial Intelligence Medicine, 1995

1994

A causal and temporal reasoning model and its use in drug therapy applications.

Pedro Barahona

Artif. Intell. Medicine, 1994

Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently.

Francisco Menezes, Pedro Barahona

Ann. Oper. Res., 1994

1993

An Incremental Hierarchical Constraint Solver.

Francisco Menezes, Pedro Barahona, Philippe Codognet

Proceedings of the Principles and Practice of Constraint Programming, 1993

Preliminary Formalization of an Incremental Hierarchical Constraint Solver.

Francisco Menezes, Pedro Barahona

Proceedings of the Progress in Artificial Intelligence, 1993

1991

Integration of the Causal and Functional Approaches for Robust Medical Diagnosis.

Pedro Barahona, Mario Veloso

Proceedings of the Medical Informatics Europe 1991, 1991

Constraint Solving in Finite Domains under User Control.

Francisco Menezes, Pedro Barahona

Proceedings of the EPIA 91, 1991

A Framework for Causal Reasoning with a Functional Approach.

Pedro Barahona, Mario Veloso

Proceedings of the AIME 91, 1991

1990

Another timetabling approach.

P. Falcão, M. Pereira, Rita A. Ribeiro, Pedro Barahona

Proceedings of the First International Conference on Expert Planning Systems, 1990

1989

Some Issues in the Control of Interactive Differential Diagnosis.

Pedro Barahona, Mario Veloso, Ricardo Amador, Francisco Menezes

Proceedings of the AIME 89, 1989