| Timetabling in constraint logic programming F Azevedo, P Barahona In Proceedings of 2nd World Congress on Expert Systems, 1994 | 58 | 1994 |
| PSICO: Solving protein structures with constraint programming and optimization L Krippahl, P Barahona Constraints 7, 317-331, 2002 | 51 | 2002 |
| Applying constraint programming to protein structure determination L Krippahl, P Barahona Principles and Practice of Constraint Programming–CP’99: 5th International …, 1999 | 43 | 1999 |
| An Incremental Hierarchical Constraint Solver. F Menezes, P Barahona, P Codognet PPCP 93, 190-199, 1993 | 43 | 1993 |
| Knowledge and Decisions in Health Telematics: The Next Decade P Barahona, JP Christensen IOS Press, 1994 | 40 | 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 Computational Logic—CL 2000: First International Conference London, UK …, 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 | 28 | 2005 |
| Constraint programming in structural bioinformatics P Barahona, L Krippahl Constraints 13, 3-20, 2008 | 26 | 2008 |
| Constraint satisfaction differential problems J Cruz, P Barahona Principles and Practice of Constraint Programming–CP 2003: 9th International …, 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 |
| A causal and temporal reasoning model and its use in drug therapy applications P Barahona Artificial Intelligence in Medicine 6 (1), 1-27, 1994 | 22 | 1994 |
| Global hull consistency with local search for continuous constraint solving J Cruz, P Barahona Progress in Artificial Intelligence: Knowledge Extraction, Multi-agent …, 2002 | 21 | 2002 |
| 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 Principles and Practice of Constraint Programming-CP 2005: 11th …, 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 Global Optimization and Constraint Satisfaction: First International …, 2003 | 19 | 2003 |
| 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 Principles and Practice of Constraint Programming—CP96: Second …, 1996 | 18 | 1996 |
