Some Issues in the Control of Interactive Differential Diagnosis. - Pedro Barahona; Mario Veloso; Ricardo Amador; Francisco Menezes (AIME, 1989)

Another timetabling approach. - P. Falcão; M. Pereira; Rita A. Ribeiro; Pedro Barahona (Expert Planning Systems, 1990)

A Framework for Causal Reasoning with a Functional Approach. - Pedro Barahona; Mario Veloso (AIME, 1991)

Constraint Solving in Finite Domains under User Control. - Francisco Menezes; Pedro Barahona (EPIA, 1991)

Integration of the Causal and Functional Approaches for Robust Medical Diagnosis. - Pedro Barahona; Mario Veloso (MIE, 1991)

Preliminary Formalization of an Incremental Hierarchical Constraint Solver. - Francisco Menezes; Pedro Barahona (EPIA, 1993)

An Incremental Hierarchical Constraint Solver. - Francisco Menezes; Pedro Barahona; Philippe Codognet (PPCP, 1993)

Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently. - Francisco Menezes; Pedro Barahona (Ann. Oper. Res., 1994)

A causal and temporal reasoning model and its use in drug therapy applications. - Pedro Barahona (Artif. Intell. Medicine, 1994)

Semi-Qualitative Models and Simulation for Biomedical Applications. - Pedro Barahona (AIME, 1995)

Defeasible Constraint Solving. - Francisco Menezes; Pedro Barahona (Over-Constrained Systems, 1995)

Constraint Logic Programming: Theory, Domain and Applications. - Pedro Barahona (APPIA-GULP-PRODE, 1996)

Defeasibility in CLP(Q) through Generalized Slack Variables. - Christian Holzbaur; Francisco Menezes; Pedro Barahona (CP, 1996)

A Causal-Functional Model Applied to EMG Diagnosis. - Jorge Cruz 001; Pedro Barahona (AIME, 1997)

Generation of Test Patterns for Differential Diagnosis of Digital Circuits. - Francisco Azevedo; Pedro Barahona (CP, 1998)

Defeasible Constraint Solving over the Booleans. - Pedro Barahona (IBERAMIA, 1998)

Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach. - Jorge Cruz 001; Pedro Barahona; Frédéric Benhamou (AIMDM, 1999)

An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support. - Jorge Cruz 001; Pedro Barahona (CP, 1999)

Applying Constraint Programming to Protein Structure Determination. - Ludwig Krippahl; Pedro Barahona (CP, 1999)

Modelling Digital Circuits Problems with Set Constraints. - Francisco Azevedo; Pedro Barahona (Computational Logic, 2000)

Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic. - Francisco Azevedo; Pedro Barahona (ECAI, 2000)

Handling Differential Equations with Constraints for Decision Support. - Jorge Cruz 001; Pedro Barahona (FroCoS, 2000)

Interaction of Constraint Programming and Local Search for Optimisation Problems. - Francisco Azevedo; Pedro Barahona (CP, 2001)

Global Hull Consistency with Local Search for Continuous Constraint Solving. - Jorge Cruz 001; Pedro Barahona (EPIA, 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)

Maintaining Global Hull Consistency with Local Search for Continuous CSPs. - Jorge Cruz 001; Pedro Barahona (COCOS, 2002)

On Optimal Correction of Inconsistent Linear Constraints. - Paula Amaral 001; Pedro Barahona (CP, 2002)

PSICO: Solving Protein Structures with Constraint Programming and Optimization. - Ludwig Krippahl; Pedro Barahona (Constraints An Int. J., 2002)

Constraint Satisfaction Differential Problems. - Jorge Cruz 001; Pedro Barahona (CP, 2003)

Propagating N-Ary Rigid-Body Constraints. - Ludwig Krippahl; Pedro Barahona (CP, 2003)

Deductive Diagnosis of Digital Circuits. - José Júlio Alferes; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio; Terrance Swift (AIAI, 2004)

Machine Learned Heuristics to Improve Constraint Satisfaction. - Marco Correia; Pedro Barahona (SBIA, 2004)

Parameter Estimation Using Interval Computations. - Laurent Granvilliers; Jorge Cruz 001; Pedro Barahona (SIAM J. Sci. Comput., 2004)

Applying Constraint Programming to Rigid Body Protein Docking. - Ludwig Krippahl; Pedro Barahona (CP, 2005)

Constraint reasoning in deep biomedical models. - Jorge Cruz 001; Pedro Barahona (Artif. Intell. Medicine, 2005)

A Framework for Optimal Correction of Inconsistent Linear Constraints. - Paula Amaral 001; Pedro Barahona (Constraints An Int. J., 2005)

On the Integration of Singleton Consistencies and Look-Ahead Heuristics. - Marco Correia; Pedro Barahona (CSCLP, 2007)

A Constraint Programming Approach to Bioinformatics Structural Problems. - Pedro Barahona; Ludwig Krippahl (PADL, 2007)

On the Efficiency of Impact Based Heuristics. - Marco Correia; Pedro Barahona (CP, 2008)

Using Indexed Finite Set Variables for Set Bounds Propagation. - Ruben Duarte Viegas; Marco Correia; Pedro Barahona; Francisco Azevedo (IBERAMIA, 2008)

Probabilistic Continuous Constraint Satisfaction Problems. - Elsa Carvalho; Jorge Cruz 001; Pedro Barahona (ICTAI (2), 2008)

Constraint Programming in Structural Bioinformatics. - Pedro Barahona; Ludwig Krippahl (Constraints An Int. J., 2008)

Probabilistic Constraints for Inverse Problems. - Elsa Carvalho; Jorge Cruz 001; Pedro Barahona (Interval / Probabilistic Uncertainty and Non-Classical Logics, 2008)

Type Parametric Compilation of Algebraic Constraints. - Marco Correia; Pedro Barahona (EPIA, 2009)

Constraint-Based Strategy for Pairwise RNA Secondary Structure Prediction. - Olivier Perriquet; Pedro Barahona (EPIA, 2009)

Biological Concept Formation Grammars - A Flexible, Multiagent Linguistic Tool for Biological Processes. - Verónica Dahl; Pedro Barahona; Gemma Bel Enguix; Ludwig Krippahl (ICAART (2), 2010)

Minimizing enzymes to diferenciate between species. - David Buezas; João Almeida; Pedro Barahona (WCB@ICLP, 2010)

Reasoning with Uncertainty in Continuous Domains. - Elsa Carvalho; Jorge Cruz 001; Pedro Barahona (IUM, 2010)

Probabilistic constraints for reliability problems. - Elsa Carvalho; Jorge Cruz 001; Pedro Barahona (SAC, 2010)

Classification Tree Generation Constrained with Variable Weights. - Pedro Barahona; Gemma Bel Enguix; Verónica Dahl; María Dolores Jiménez-López; Ludwig Krippahl (IWINAC (1), 2011)

Why the Hardest Logic Puzzle Ever Cannot Be Solved in Less than Three Questions. - Gregory R. Wheeler; Pedro Barahona (J. Philos. Log., 2012)

Constraining Protein Docking with Coevolution Data for Medical Research. - Ludwig Krippahl; Fábio Madeira; Pedro Barahona (AIME, 2013)

Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT. - Van-Hau Nguyen; Miroslav N. Velev; Pedro Barahona (ICTAI, 2013)

Probabilistic constraints for nonlinear inverse problems - An ocean color remote sensing example. - Elsa Carvalho; Jorge Cruz 001; Pedro Barahona (Constraints An Int. J., 2013)

View-based propagation of decomposable constraints. - Marco Correia; Pedro Barahona (Constraints An Int. J., 2013)

Probabilistic Constraints for Nonlinear Inverse Problems - (Extended Abstract). - Elsa Carvalho; Jorge Cruz 001; Pedro Barahona (CP, 2014)

Representative Encodings to Translate Finite CSPs into SAT. - Pedro Barahona; Steffen Hölldobler; Van-Hau Nguyen (CPAIOR, 2014)

Efficient SAT-Encoding of Linear CSP Constraints. - Pedro Barahona; Steffen Hölldobler; Van-Hau Nguyen (ISAIM, 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)

Protein docking with predicted constraints. - Ludwig Krippahl; Pedro Barahona (Algorithms Mol. Biol., 2015)

Constraining Redundancy to Improve Protein Docking. - Ludwig Krippahl; Pedro Barahona (CP, 2016)

Empirical Study on SAT-Encodings of the At-Most-One Constraint. - Van-Hau Nguyen; Van-Quyet Nguyen; Kyungbaek Kim; Pedro Barahona (SMA, 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)

K-best feasible clusters - ranking optimal solutions from an infeasible LP. - Paula Alexandra Amaral; Pedro Barahona (INFOR Inf. Syst. Oper. Res., 2020)

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)