| Timetabling in constraint logic programming F Azevedo, P Barahona In Proceedings of 2nd World Congress on Expert Systems, 1994 | 59 | 1994 |
| PSICO: Solving protein structures with constraint programming and optimization L Krippahl, P Barahona Constraints 7, 317-331, 2002 | 52 | 2002 |
| An Incremental Hierarchical Constraint Solver. F Menezes, P Barahona, P Codognet PPCP 93, 190-199, 1993 | 45 | 1993 |
| Applying constraint programming to protein structure determination L Krippahl, P Barahona International Conference on Principles and Practice of Constraint …, 1999 | 43 | 1999 |
| Knowledge and decisions in health telematics: the next decade P Barahona, JP Christensen IOS Press, 1994 | 37 | 1994 |
| Parameter estimation using interval computations L Granvilliers, J Cruz, P Barahona SIAM Journal on Scientific Computing 26 (2), 591-612, 2004 | 35 | 2004 |
| Modelling digital circuits problems with set constraints F Azevedo, P Barahona International Conference on Computational Logic, 414-428, 2000 | 32 | 2000 |
| Connections between the total least squares and the correction of an infeasible system of linear inequalities P Amaral, P Barahona Linear algebra and its applications 395, 191-210, 2005 | 29 | 2005 |
| Constraint programming in structural bioinformatics P Barahona, L Krippahl Constraints 13, 3-20, 2008 | 28 | 2008 |
| Constraint satisfaction differential problems J Cruz, P Barahona International Conference on Principles and Practice of Constraint …, 2003 | 25 | 2003 |
| A framework for optimal correction of inconsistent linear constraints P Amaral, P Barahona Constraints 10, 67-86, 2005 | 22 | 2005 |
| From hospital information system components to the medical record and clinical guidelines & protocols M Veloso, N Estevão, P Ferreira, R Rodrigues, CT Costa, P Barahona Medical Informatics Europe'97, 300-304, 1997 | 22 | 1997 |
| Global hull consistency with local search for continuous constraint solving J Cruz, P Barahona Portuguese Conference on Artificial Intelligence, 349-362, 2001 | 21 | 2001 |
| A causal and temporal reasoning model and its use in drug therapy applications P Barahona Artificial Intelligence in Medicine 6 (1), 1-27, 1994 | 21 | 1994 |
| Computerising a guideline for the management of diabetes P Barahona, F Azevedo, M Veloso, N Estêvão, R Gallego International journal of medical informatics 64 (2-3), 275-284, 2001 | 20 | 2001 |
| Applying constraint programming to rigid body protein docking L Krippahl, P Barahona International Conference on Principles and Practice of Constraint …, 2005 | 19 | 2005 |
| Artificial Intelligence in Medicine: 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 Cascais, Portugal, July 1-4, 2001, Proceedings S Quaglini, P Barahona, S Andreassen Springer, 2003 | 19 | 2003 |
| Maintaining global hull consistency with local search for continuous CSPs J Cruz, P Barahona International Workshop on Global Optimization and Constraint Satisfaction …, 2002 | 19 | 2002 |
| Two encodings of DNNF theories JC Jung, P Barahona, G Katsirelos, T Walsh ECAI workshop on Inference methods based on Graphical Structures of …, 2008 | 18 | 2008 |
| Defeasibility in CLP () through generalized slack variables C Holzbaur, F Menezes, P Barahona International Conference on Principles and Practice of Constraint …, 1996 | 18 | 1996 |
