| Timetabling in constraint logic programming F Azevedo, P Barahona In Proceedings of 2nd World Congress on Expert Systems, 1994 | 60 | 1994 |
| PSICO: Solving protein structures with constraint programming and optimization L Krippahl, P Barahona Constraints 7 (3), 317-331, 2002 | 54 | 2002 |
| Applying constraint programming to protein structure determination L Krippahl, P Barahona International Conference on Principles and Practice of Constraint …, 1999 | 43 | 1999 |
| An Incremental Hierarchical Constraint Solver. F Menezes, P Barahona, P Codognet PPCP 93, 190-199, 1993 | 43 | 1993 |
| Parameter estimation using interval computations L Granvilliers, J Cruz, P Barahona SIAM Journal on Scientific Computing 26 (2), 591-612, 2004 | 38 | 2004 |
| Knowledge and decisions in health telematics: the next decade P Barahona, JP Christensen IOS Press, 1994 | 37 | 1994 |
| Constraint programming in structural bioinformatics P Barahona, L Krippahl Constraints 13 (1), 3-20, 2008 | 31 | 2008 |
| Modelling digital circuits problems with set constraints F Azevedo, P Barahona International Conference on Computational Logic, 414-428, 2000 | 31 | 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 | 30 | 2005 |
| Empirical study on SAT-encodings of the at-most-one constraint VH Nguyen, VQ Nguyen, K Kim, P Barahona The 9th International Conference on Smart Media and Applications, 470-475, 2020 | 25 | 2020 |
| A framework for optimal correction of inconsistent linear constraints P Amaral, P Barahona Constraints 10 (1), 67-86, 2005 | 23 | 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 | 23 | 1997 |
| Constraint satisfaction differential problems J Cruz, P Barahona International Conference on Principles and Practice of Constraint …, 2003 | 22 | 2003 |
| 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 Science & Business Media, 2001 | 22 | 2001 |
| Global hull consistency with local search for continuous constraint solving J Cruz, P Barahona Portuguese Conference on Artificial Intelligence, 349-362, 2001 | 21 | 2001 |
| Defeasibility in CLP () through generalized slack variables C Holzbaur, F Menezes, P Barahona International Conference on Principles and Practice of Constraint …, 1996 | 21 | 1996 |
| Applying constraint programming to rigid body protein docking L Krippahl, P Barahona International Conference on Principles and Practice of Constraint …, 2005 | 20 | 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 | 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 |
| 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 | 20 | 1994 |
