| Timetabling in constraint logic programming F Azevedo, P Barahona In Proceedings of 2nd World Congress on Expert Systems, 1994 | 61 | 1994 |
| PSICO: Solving protein structures with constraint programming and optimization L Krippahl, P Barahona Constraints 7, 317-331, 2002 | 54 | 2002 |
| An Incremental Hierarchical Constraint Solver. F Menezes, P Barahona, P Codognet PPCP 93, 190-199, 1993 | 44 | 1993 |
| Applying constraint programming to protein structure determination L Krippahl, P Barahona International Conference on Principles and Practice of Constraint …, 1999 | 42 | 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 | 31 | 2000 |
| Constraint programming in structural bioinformatics P Barahona, L Krippahl Constraints 13, 3-20, 2008 | 30 | 2008 |
| 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 | 30 | 2005 |
| Constraint satisfaction differential problems J Cruz, P Barahona International Conference on Principles and Practice of Constraint …, 2003 | 24 | 2003 |
| 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 | 23 | 1997 |
| The chimera of purpose-and language-independent concept systems in healthcare W Ceusters, G Deville, F Buekens, P Barahona, M Veloso, T Bryant MIE 94, 208-212, 1994 | 23 | 1994 |
| A framework for optimal correction of inconsistent linear constraints P Amaral, P Barahona Constraints 10, 67-86, 2005 | 22 | 2005 |
| 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 | 21 | 2001 |
| Applying constraint programming to rigid body protein docking L Krippahl, P Barahona International Conference on Principles and Practice of Constraint …, 2005 | 20 | 2005 |
| Global hull consistency with local search for continuous constraint solving J Cruz, P Barahona Portuguese Conference on Artificial Intelligence, 349-362, 2001 | 20 | 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 | 20 | 1994 |
| 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 |
