• Ludwig Krippahl and Pedro Barahona, Protein docking with predicted constraints Algorithms for Molecular Biology, Vol. 10, No. 1, Pag. 9, BioMed Central Ltd, 2015.
  • Elsa Carvalho, Jorge Cruz and Pedro Barahona, Probabilistic constraints for nonlinear inverse problems, Constraints, Vol. 18, No. 3, Pag. 344-376, Springer US, ISSN 1383-7133, July 2013.
  • Pedro Barahona, Gemma Bel-Enguix, Verónica Dahl, Maria Dolores Jimenez-Lopez and Ludwig Krippahl, Generation of classification trees from variable weighted features, Natural Computing, Springer Science+Business Media, Dordrecht 2013, ISSN 1567-7818, March 2013
  • Marco Correia and Pedro Barahona, View-based propagation of decomposable constraints, Constraints, Vol. 18, No. 4, Pag. 579-608, Springer US, ISSN 1383-7133, 2013.
  • Gregory Wheeler and Pedro Barahona, Why the hardest logic puzzle ever cannot be solved in less than three questions, Journal of Philosophical Logic, Vol. 41, No. 2, Pag. 493-503, Springer, 2012.
  • Pedro Barahona and Ludwig Krippahl, Constraint Programming in Structural Bioinformatics, Constraints, Vol. 13, No. 1-2/June 2008, Pag. 3-20, Springer, ISSN 1383-7133, (url), June 2008.
  • J. Cruz and P. Barahona, Constraint Reasoning in Deep Biomedical Models, Journal of Artificial Intelligence in Medicine, Vol. 34, Elsevier, pp.77-88, May 2005.
  • P. Amaral and P. Barahona, Connections between the total least squares and the correction of an infeasible system of linear inequalities, Linear Algebra and its Applications, Elsevier, Vol. 395, pp 191-210, 2005.
  • P. Amaral and P. Barahona, A Framework for Optimal Correction of Inconsistent Linear Systems, Constraints, Vol. 10, No. 1, Kluwer Academic Press, pp. 67-86, January 2005
  • L. Granvilliers, J. Cruz, and P. Barahona, Parameter Estimation Using Interval Computations, SIAM Journal on Scientific Computing (SISC), Special Issue on Uncertainty Quantification, Vol. 26, No. 2, pp. 591 - 612, 2004.
  • J. Cruz and P. Barahona, Constraint Reasoning over Differential Equations, Applied Numerical Analysis & Computational Mathematics, Volume 1, No. 1, Wiley, pp. 140-154, March 2004.
  • L. Krippahl and P. Barahona, PSICO: Solving Protein Structures with Constraint Programming and Optimisation, Constraints, Constraints, Vol. 7, No. 3/4, Kluwer Academic Press, pp. 317-331, July/October 2002.
  • P. Barahona, F. Azevedo M. Veloso, N. Estêvão and R. Gallego, Computerising a Guideline for the Management of Diabetes, International Journal of Medical Informatics, Elsevier, vol 64, pp. 275-284, August 2000.
  • P. Amaral and P. Barahona, About Infeasibility in the Constraints of a Linear Model, Ricerca Operativa, Vol.29, no. 92, 2000.
  • J. Cruz, P. Barahona, A. Páscoa Figueiredo, M. Veloso and M. Carvalho, DARE: A Knowledge-Based System for the Diagnosis of Neuromuscular Disorders, J. Mamede and C. Pinto-Ferreira (Eds.), Applications of Artificial Intelligence, Advanced Manufacturing Forum, Vol. 1, N. Scitec Publications, pp. 29-40, 1996.
  • P. Barahona, R. Walton, Z. Ilic and J. Ferreira da Silva, Deep Medical Knowledge to Design Clinical Guidelines, Computer Methods and Programs in Biomedicine, Vol. 48, Elsevier, pp. 27-34, 1995.
  • S. Vingtoft, M. Veloso, A. Fuglsang-Fredriksen, B. Johnsen, A. Vila, P. Barahona, P. Fawcett, I. Scofield, A. Ljøring, G. Otte, G. Sieben, A. Talbot, R. Liguori e W. Nix, ESTEEM (European Standardised Telematic Tool to Evaluate EMG Knowledge-Based Systems and Methods): AIM Project A2010, in Computer Methods and Programs in Biomedicine, Vol. 45, Elsevier, pp. 61-63, 1994.
  • P. Barahona, EPISTOL: the future of knowledge based systems and techniques for the health sector, Computer Methods and Programs in Biomedicine, Vol. 45, Elsevier, pp. 51-54, 1994.
  • F. Menezes and P. Barahona, Heuristics and Lookahead Integration to Solve Constraint Satisfaction Problems Efficiently, Annals of Operations Research, Vol. 50, J.C. Baltzer AG, Science Publishers, pp.411-426, 1994.
  • P. Barahona, A Causal and Temporal Reasoning Model and Its Use in Drug Therapy Applications, Artifical Intelligence in Medicine, Vol.6, no. 1, Elsevier, pp. 1-27, 1994.
  • P. Barahona, Pesquisa Heurística em Paralelo para Problemas de Decisão, Pesquisa Operacional (Sociedade Brasileira de Pesquisa Operacional), Vol.9, n. 1, pp. 1-19, 1989.
  • P. Barahona and J. Gurd, Processor Allocation in a Multi-Ring Dataflow Machine, Journal of Parallel and Distributed Processing, no.3, Academic Press, pp.305-327, 1986.e
  • A.M. Gonçalves, M.H. Gonçalves and P. Barahona, Multichannel Analyser to Microcomputer Software Interface for On-line Analysis, Portugaliæ Physica, Vol. 14, Fasc.1-2, pp. 105-120, 1983.