 | 2009 |
|---|
| 50 |       | Marco Correia,
Pedro Barahona:
Type Parametric Compilation of Algebraic Constraints.
EPIA 2009: 201-212 |
| 49 | | Olivier Perriquet,
Pedro Barahona:
Constraint-Based Strategy for Pairwise RNA Secondary Structure Prediction.
EPIA 2009: 86-97 |
| 2008 |
|---|
| 48 | | Marco Correia,
Pedro Barahona:
On the Efficiency of Impact Based Heuristics.
CP 2008: 608-612 |
| 47 | | Ruben Duarte Viegas,
Marco Correia,
Pedro Barahona,
Francisco Azevedo:
Using Indexed Finite Set Variables for Set Bounds Propagation.
IBERAMIA 2008: 73-82 |
| 46 | | Elsa Carvalho,
Jorge Cruz,
Pedro Barahona:
Probabilistic Continuous Constraint Satisfaction Problems.
ICTAI (2) 2008: 155-162 |
| 45 | | Elsa Carvalho,
Jorge Cruz,
Pedro Barahona:
Probabilistic Constraints for Inverse Problems.
Interval / Probabilistic Uncertainty and Non-Classical Logics 2008: 115-128 |
| 44 | | Pedro Barahona,
Ludwig Krippahl:
Constraint Programming in Structural Bioinformatics.
Constraints 13(1-2): 3-20 (2008) |
| 2007 |
|---|
| 43 |  | Francisco Azevedo,
Pedro Barahona,
François Fages,
Francesca Rossi:
Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers
Springer 2007 |
| 42 | | Marco Correia,
Pedro Barahona:
On the Integration of Singleton Consistencies and Look-Ahead Heuristics.
CSCLP 2007: 62-75 |
| 41 | | Pedro Barahona,
Ludwig Krippahl:
A Constraint Programming Approach to Bioinformatics Structural Problems.
PADL 2007: 33-49 |
| 2006 |
|---|
| 40 | | Pedro Barahona,
François Bry,
Enrico Franconi,
Nicola Henze,
Ulrike Sattler:
Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures
Springer 2006 |
| 2005 |
|---|
| 39 | | Pedro Barahona,
Amy P. Felty:
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal
ACM 2005 |
| 38 | | Ludwig Krippahl,
Pedro Barahona:
Applying Constraint Programming to Rigid Body Protein Docking.
CP 2005: 373-387 |
| 37 | | Jorge Cruz,
Pedro Barahona:
Constraint reasoning in deep biomedical models.
Artificial Intelligence in Medicine 34(1): 77-88 (2005) |
| 36 | | Paula Amaral,
Pedro Barahona:
A Framework for Optimal Correction of Inconsistent Linear Constraints.
Constraints 10(1): 67-86 (2005) |
| 2004 |
|---|
| 35 | | José Júlio Alferes,
Francisco Azevedo,
Pedro Barahona,
Carlos Viegas Damásio,
Terrance Swift:
Deductive Diagnosis of Digital Circuits.
AIAI 2004: 155-166 |
| 34 | | Marco Correia,
Pedro Barahona:
Machine Learned Heuristics to Improve Constraint Satisfaction.
SBIA 2004: 103-113 |
| 33 | | Laurent Granvilliers,
Jorge Cruz,
Pedro Barahona:
Parameter Estimation Using Interval Computations.
SIAM J. Scientific Computing 26(2): 591-612 (2004) |
| 2003 |
|---|
| 32 | | Michel Dojat,
Elpida T. Keravnou,
Pedro Barahona:
Artificial Intelligence in Medicine, 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003, Proceedings
Springer 2003 |
| 31 | | Jorge Cruz,
Pedro Barahona:
Constraint Reasoning in Deep Biomedical Models.
AIME 2003: 324-334 |
| 30 | | Jorge Cruz,
Pedro Barahona:
Constraint Satisfaction Differential Problems.
CP 2003: 259-273 |
| 29 | | Ludwig Krippahl,
Pedro Barahona:
Propagating N-Ary Rigid-Body Constraints.
CP 2003: 452-465 |
| 2002 |
|---|
| 28 | | Jorge Cruz,
Pedro Barahona:
Maintaining Global Hull Consistency with Local Search for Continuous CSPs.
COCOS 2002: 178-193 |
| 27 | | Paula Amaral,
Pedro Barahona:
On Optimal Correction of Inconsistent Linear Constraints.
CP 2002: 33-46 |
| 26 | | Ludwig Krippahl,
Pedro Barahona:
PSICO: Solving Protein Structures with Constraint Programming and Optimization.
Constraints 7(3-4): 317-331 (2002) |
| 2001 |
|---|
| 25 | | Silvana Quaglini,
Pedro Barahona,
Steen Andreassen:
Artificial Intelligence Medicine, 8th Conference on AI in Medicine in Europe, AIME 2001, Cascais, Portugal, July 1-4, 2001, Proceedings
Springer 2001 |
| 24 | | Francisco Azevedo,
Pedro Barahona:
Interaction of Constraint Programming and Local Search for Optimisation Problems.
CP 2001: 554-559 |
| 23 | | Jorge Cruz,
Pedro Barahona:
Global Hull Consistency with Local Search for Continuous Constraint Solving.
EPIA 2001: 349-362 |
| 22 | | Pedro Barahona,
Francisco Azevedo,
Mario Veloso,
Nuno Estêvão,
Rosa Gallego:
Computerising a guideline for the management of diabetes.
I. J. Medical Informatics 64(2-3): 275-284 (2001) |
| 2000 |
|---|
| 21 | | Francisco Azevedo,
Pedro Barahona:
Modelling Digital Circuits Problems with Set Constraints.
Computational Logic 2000: 414-428 |
| 20 | | Francisco Azevedo,
Pedro Barahona:
Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic.
ECAI 2000: 73-77 |
| 19 | | Jorge Cruz,
Pedro Barahona:
Handling Differential Equations with Constraints for Decision Support.
FroCos 2000: 105-120 |
| 1999 |
|---|
| 18 | | Pedro Barahona,
José Júlio Alferes:
Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings
Springer 1999 |
| 17 | | Jorge Cruz,
Pedro Barahona,
Frédéric Benhamou:
Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach.
AIMDM 1999: 185-196 |
| 16 | | Ludwig Krippahl,
Pedro Barahona:
Applying Constraint Programming to Protein Structure Determination.
CP 1999: 289-302 |
| 15 | | Jorge Cruz,
Pedro Barahona:
An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support.
CP 1999: 478-479 |
| 1998 |
|---|
| 14 | | Francisco Azevedo,
Pedro Barahona:
Generation of Test Patterns for Differential Diagnosis of Digital Circuits.
CP 1998: 462 |
| 13 | | Pedro Barahona:
Defeasible Constraint Solving over the Booleans.
IBERAMIA 1998: 397-408 |
| 1997 |
|---|
| 12 | | Jorge Cruz,
Pedro Barahona:
A Causal-Functional Model Applied to EMG Diagnosis.
AIME 1997: 249-260 |
| 1996 |
|---|
| 11 | | Pedro Barahona:
Constraint Logic Programming: Theory, Domain and Applications.
APPIA-GULP-PRODE 1996: 3-12 |
| 10 | | Christian Holzbaur,
Francisco Menezes,
Pedro Barahona:
Defeasibility in CLP(Q) through Generalized Slack Variables.
CP 1996: 209-223 |
| 1995 |
|---|
| 9 | | Pedro Barahona,
Mario Stefanelli,
Jeremy C. Wyatt:
Artificial Intelligence Medicine, 5th Conference on Artificial Intelligence in Medicine in Europe, AIME'95, Pavia, Italy, June 25-28, 1995, Proceedings
Springer 1995 |
| 8 | | Pedro Barahona:
Semi-Qualitative Models and Simulation for Biomedical Applications.
AIME 1995: 103-114 |
| 7 | | Francisco Menezes,
Pedro Barahona:
Defeasible Constraint Solving.
Over-Constrained Systems 1995: 151-170 |
| 1994 |
|---|
| 6 | | Pedro Barahona:
A causal and temporal reasoning model and its use in drug therapy applications.
Artificial Intelligence in Medicine 6(1): 1-27 (1994) |
| 1993 |
|---|
| 5 | | Francisco Menezes,
Pedro Barahona:
Preliminary Formalization of an Incremental Hierarchical Constraint Solver.
EPIA 1993: 281-296 |
| 4 | | Francisco Menezes,
Pedro Barahona,
Philippe Codognet:
An Incremental Hierarchical Constraint Solver.
PPCP 1993: 190-199 |
| 1991 |
|---|
| 3 | | Pedro Barahona,
Luís Moniz Pereira,
António Porto:
EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings
Springer 1991 |
| 2 | | Francisco Menezes,
Pedro Barahona:
Constraint Solving in Finite Domains under User Control.
EPIA 1991: 17-29 |
| 1990 |
|---|
| 1 | | P. Falcão,
M. Pereira,
R. Ribeiro,
Pedro Barahona:
Another timetabling approach.
Expert Planning Systems 1990: 212-216 |
