• Elsa Carvalho, Jorge Cruz and Pedro Barahona, Probabilistic constraints for nonlinear inverse problems, Proceedings of CP 2014 - 20th International Conference on Principles and Practice of Constraint Programming, Lyon, France, September 8-12, Lecture Notes in Computer Science, Springer, Vol. 8656, ISBN 978-3-319-10428-7, Pag. 913-917, September 2014.
  • Elsa Carvalho, Jorge Cruz and Pedro Barahona, Safe Reliability Assessment through Probabilistic Constraint Reasoning, Proceedings of ESREL 2014 - XXIV European Safety and Reliability Conference, Wroclaw, Poland, September 14 - 18, Safety and Reliability: Methodology and Applications, CRC Press, ISBN 978-1-138-02681-0, Pag. 2269-2277, September 2014.
  • Pedro Barahona, Steffen Hölldobler and Nguyen Van Hau, Representative Encodings to Translate Finite CSPs into SAT, in: Helmut Simonis (eds), Integration of AI and OR Techniques in Constraint Programming, Lecture Notes in Computer Science, Springer, Vol. 8451, ISBN 978-3-319-07045-2, Pag. 251-267, DOI: 10.1007/978-3-319-07046-9_18, May 2014.
  • Hau Nguyen Van, Miroslav N. Velev and Pedro Barahona, Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT, in: Alexander Brodsky (eds), Proc. 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI2013), IEEE Computer Society Press, Washington DC, USA, ISBN 978-1-4799-2971-9, ISSN 1082-3409, Pag. 1028-1035, November 2013.
  • Pedro Barahona, Gemma Bel Enguix, Verónica Dahl, Maria Dolores Jimenez-Lopez and Ludwig Krippahl, Classification tree generation constrained with variable weights, Proceedings of the 4th international conference on Interplay between natural and artificial computation, Lecture Notes in Computer Science, Springer, Berlin-Heidelberg, Vol. 6686, ISBN 978-3-642-21343-4, Pag. 274-283, 2011.
  • Elsa Carvalho, Jorge Cruz and Pedro Barahona, Reasoning with Uncertainty in Continuous Domains, Integrated Uncertainty Management and Applications, Advances in Intelligent and Soft Computing, Springer, Vol. 68, ISBN 978-3-642-11959-0, Pag. 357-369, April 2010.
  • Elsa Carvalho, Jorge Cruz and Pedro Barahona, Probabilistic Constraints for Reliability Problems, Proceedings of the 2010 ACM Symposium on Applied Computing, ACM, ISBN 978-1-60558-639, Pag. 2055-2060, March 2010.
  • Verónica Dahl, Pedro Barahona, Gemma Bel Enguix and Ludwig Krippahl, Biological Concept Formation Grammars - A Flexible, Multiagent Linguistic Tool for Biological Processes, ICAART (2), ISBN: 978-989-674-022-1, Pag. 388-394, Valencia, Spain , 2010.
  • Marco Correia and Pedro Barahona, Type parametric compilation of algebraic constraints, in: L. Seabra Lopes and Nuno Lau (eds), Progress in Artificial Intelligence, Lecture Notes in Computer Science, Springer, Vol. 5816, ISBN 978-3-642-04685-8, Pag. 201-212, August 2009.
  • Olivier Perriquet and Pedro Barahona, Constraint-based strategy for pairwise RNA secondary structure prediction, in: L. Seabra Lopes and Nuno Lau (eds), Progress in Artificial Intelligence, Lecture Notes in Artificial Intelligence, Springer, Vol. 5816, ISBN 978-3-642-04685-8, Pag. 86-97, 2009.
  • Elsa Carvalho, Jorge Cruz and Pedro Barahona, Probabilistic continuous constraint satisfaction problems, 20th IEEE International Conference on Tools with Artificial Intelligence, IEEE, Vol. 2, ISBN 978-0-7695-3440-4, ISSN 1082-3409, Pag. 155-162, November 2008.
  • Ruben Duarte Viegas, Marco Correia, Pedro Barahona and Francisco Azevedo, Using Indexed Finite Set Variables for Set Bounds Propagation, in: H. Geffner, R. Prada, I. Machado Alexandre and N. David (eds), IBERAMIA 2008, Lecture Notes in Artificial Intelligence, Vol 5290, Springer, pg 73-82, October 2008.
  • Marco Correia and Pedro Barahona, On the Efficiency of Impact Based Heuristics, in: P. J. Stuckey (eds), Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, Springer, Vol. 5202/2008, ISBN 978-3-540-85957-4, ISSN 0302-9743, Pag. 608-612, September 2008.
  • Elsa Carvalho, Jorge Cruz and Pedro Barahona, Probabilistic constraints for inverse problems, in: V. N. Huynh (eds), Interval/Probabilistic Uncertainty and Non-classical Logics, Advances in Soft Computing, Springer, Vol. 46, ISBN 978-3-540-77663-5, Pag. 115-128, 2008.
  • Elsa Carvalho, Jorge Cruz and Pedro Barahona, Probabilistic reasoning with continuous constraints, in: T. Simos, G. Psihoyos and Ch. Tsitouras (eds), Proceedings of the Int. Conf. on Numerical Analysis and Applied Mathematics, AIP Conference Proceedings, American Institute of Physics, Vol. 936, ISBN 978-0-7354-0447-2, ISSN 0094-243, Pag. 105 - 108, September 2007.
  • Marco Correia and Pedro Barahona, On the Integration of Singleton Consistencies and Look-Ahead Heuristics, Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers, Springer, Lecture Notes in Computer Science, vol 5129, ISBN 978-3-540-89812-, pag. 62-75, 2008.
  • P. Barahona and L. Krippahl, A Constraint Programming Approach for Structural Bioinformatics Problems, Invited Talk, 9th International Symposium on Practical Aspects of Declarative Languages, Lecture Notes in Computer Science, Vol. 4354, 33-49, ISBN 978-3-540-69608-7, ISSN 0302-9743, Nice, France, January 2007
  • L. Krippahl and P. Barahona, Applying Constraint Programming to Rigid Body Protein Docking, Principles and Practice of Constraint Programming, CP'2005 (Procs.), Peter van Beek (Ed.), Lecture Notes in Computer Science, vol. 3709, Springer, pp. 373-387, October, 2005.
  • M. Correia and P. Barahona, Machine Learned Heuristics to Improve Constraint Satisfaction, 17th Brazilian Symposium on Artificial Intelligence, SBIA’04 (Procs.), Ana.L.C. Balzan and Sofiane Labidi (eds.), LNCS, vol. 3171, Springer, pp.103-113, Maranhão, Brazil, 2004
  • José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos V. Damásio and Terrance Swift, Deductive Diagnosis of Digital Circuits, in First IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI'2004), Kluwer Academic Press, pages 155-165, Toulouse, 2004.
  • J. Cruz and P. Barahona, Constraint Reasoning in Deep Biomedical Models, 9th Conference on Artificial Intelligence in Medicine in Europe, AIME'2003 (Procs.), M. Dojat, E. Keravnou and P. Barahona (eds.), Lecture Notes in Artificial Intelligence, vol. 2780, Springer, pp.324-334, 2003
  • L. Krippahl and P. Barahona, Propagating N-Ary Rigid-Body Constraints, Principles and Practice of Constraint Programming, CP'2003 (Procs.), Francesca Rossi (Ed.), Lecture Notes in Computer Science, vol. 2833, Springer, pp. 452-465, October, 2003.
  • J. Cruz and P. Barahona, Constraint Satisfaction Differential Problems, Principles and Practice of Constraint Programming, CP'2003 (Procs.), Francesca Rossi (Ed.), Lecture Notes in Computer Science, vol. 2833, Springer, pp. 259-273, October, 2003.
  • J. Cruz and P. Barahona, Maintaining Global-Hull Consistency with Local Search for Continuous CSPs, First International Workshop on Global Constrained Optimization and Constraint Satisfaction, Cocos’02, Sophia-Antipolis, C.Bliek, C. Jermann and A. Neumaier (Eds.), Lecture Notes in Computer Science, vol. 2861, Springer, pp. 178-193, July, 2003.
  • P. Amaral and P. Barahona, On Optimal Correction of Inconsistent Linear Constraints, Principles and Practice of Constraint Programming, CP'2002 (Procs.), Pascal Van Hentenryck (Ed.), Lecture Notes in Computer Science, vol. 2470, Springer, pp. 33-46, September, 2002.
  • J. Cruz and Pedro Barahona, Global Hull Consistency with Local Search for Continuous Constraint Solving, Progress in Artificial Intelligence, 10th Portuguese Conference on Artificial Intelligence, EPIA-'01(Procs.), Pavel Brazdil and Alípio Jorge (eds.), Lecture Notes in Artificial Intelligence, vol. 2258, Springer, pp. 349-362, 2001.
  • F. Azevedo and P. Barahona, Interaction of Constraint Programming and Local Search for Optimisation Problems, Principles and Practice of Constraint Programming, CP'2001 (Procs.), Toby Walsh (Ed.), Lecture Notes in Computer Science, vol. 2239, Springer, pp.554-559. November, 2001.
  • P. Barahona, F. Azevedo M. Veloso, N. Estêvão and R. Gallego, A Computerised Guideline for the Management of Diabetes, Proceedings of MIE´2000, Medical Informatics in Europe, IOS Press, Studies in Health Technology and Informatics, vol. 77, pp. 600-604, August 2000.
  • F. Azevedo and P. Barahona, Differentiating Diagnostic Theories through Constraints over an Eight-valued Logic, Procs. of ECAI 2000, 14th European Conference on Artificial Intelligence, W. Horn (Ed.), Frontiers in Artificial Intelligence and Applications, vol. 54, IOS Press, pp. 73-78, 2000
  • F. Azevedo and P. Barahona, Modelling Digital Circuit Problems with Set Constraints, Computational Logic - CL 2000, J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K.-L. Lau, C. Palamidessi, L. Moniz Pereira, Y. Sagiv and P.J. Stuckey (Eds.), Lecture Notes in Computer Science, vol. 1861, Springer-Verlag, pp. 414-428, 2000.
  • J. Cruz and P. Barahona, Handling Differential Equations with Constraints for Decision Support, Frontiers of Combining Systems - FroCoS 2000, Hélène Kirtchner and Christophe Ringeissen (Eds.), Lecture Notes in Artificial Intelligence, vol. 1794, Springer-Verlag, pp. 105-120, 1999.
  • L. Krippahl and P. Barahona, Applying Constraint Propagation to Protein Structure Determination, Principles and Practice of Constraint Programming - CP'99, J. Jaffar (Ed.), Lecture Notes in Computer Science, vol. 1713, Springer-Verlag, pp. 289-302, 1999.
  • J. Cruz and P. Barahona, An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support, Principles and Practice of Constraint Programming - CP'99, J. Jaffar (Ed.), Lecture Notes in Computer Science, vol. 1713, Springer-Verlag, pp. 478-479, 1999.
  • J. Cruz and P. Barahona and F. Benhamou, Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach, Proceedings of AIMDM'99, Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, Aalborg, W. Horn, Y. Shahar, G. Lindberg, S. Andreassen and J. Wyatt (Eds), Lecture Notes in Artificial Intelligence, vol. 1620, Springer-Verlag, pp. 185-194, 1999.
  • F. Azevedo and P. Barahona, Generation of Test Patterns for Differential Diagnosis of Digital Circuits, Principles and Practice of Constraint Programming-CP98, M.Maher and J.-F. Puget (eds.), Lecture Notes in Computer Science, vol. 1520, Springer-Verlag, pp. 462, October, 1998.
  • P. Barahona, Defeasible Constraint Solving over the Booleans, Procs of. IBERAMIA'98, - Progress in Artificial Intelligence - Iberamia 98, Sringer Verlag, Lecture Notes in Artificial Intelligence, vol. 1484, pp. 397-408, March 1997
  • M. Veloso, N. Estêvão, P. Ferreira, R. Rodrigues, C. Telmo and P. Barahona, From Hospital Informatoin System Components to the Medical Record and Clinical Guidelines and Protocols, Procs of MIE´97, Medical Informatics in Europe, IOS Press, Studies in Health Technology and Informatics, vol. 43, pp. 300-304, May 1997
  • J. Cruz and P. Barahona, A Causal-Functional Model Applied to EMG Diagnosis, Procs of. AIME´97- Artificial Intelligence in Medicine Europe, Sringer Verlag, Lecture Notes in Artificial Intelligence, vol. 1211, pp. 249-260, March 1997
  • P. Barahona, Resource Management Constraints in Guideline-Based Care, Proceedings of MIE´96, Medical Informatics in Europe, IOS Press, Studies in Health Technology and Informatics, vol. 34-B, pp. 920-925, August 1996.
  • C. Holzbaur, F. Menezes and P. Barahona, Defeasibility in CLP(Q) through Generalised Slack Variables, Proceedings of CP´96, 2nd Int. Conf. in Principles and Practice of Constraint Programming, E.C. Freuder(ed.), Lecture Notes in Computer Science, vol. 1118, Springer-Verlag, pp. 209-223, 1996.
  • P. Barahona, Semi-Qualitative Models and Simulation for Biomedical Applications, Proceedings of AIME-95, 5th European Conf. on Artificial Intelligence in Medicine, Pavia (I), P. Barahona, M. Stefanelli and J. Wyatt (Eds.), Lecture Notes in Artificial Intelligence, vol. 934, Springer-Verlag, pp. 103-114, 1995.
  • P. Barahona, Knowledge Based Systems and Techniques for the Health Sector, Procs. of AIME'93, 4th European Conf. on Artificial Intelligence in Medicine, Munich (D), S. Andreassen, R. Engelbrecht and J. Wyatt (Eds.), Studies in Health Technology and Informatics, Vol. 10, IOS Press, pp. 125-128, 1993.
  • P. Barahona, Jorge Cruz and Susana Nascimento, Reasoning with Causal Networks at Variable Depths, Procs. of AIME'93, 4th European Conf. on Artificial Intelligence in Medicine, Munich (D), S. Andreassen, R. Engelbrecht and J. Wyatt (Eds.), Studies in Health Technology and Informatics, Vol. 10, IOS Press, pp. 75-86, 1993.
  • F. Menezes and P. Barahona, Preliminary Formalization of an Incremental Hierarchical Constraint Solver, Procs of EPIA´93, 6th Portuguese Conf. on Artificial Intelligence , M. Filgueiras and L. Damas (Eds.), Lecture Notes in Artificial Intelligence, Vol. 727, Springer-Verlag, pp. 281-296, 1993.
  • P. Barahona, Deep Causal and Temporal Reasoning for Decision Support in Drug Therapy , Procs. of MIE-93, 11th Congress European Federation of Medical Informatics, Jerusalem (Is), A. Reichert, B.A. Sadan, S. Bengtsson, J. Bryant and U. Piccolo (Eds.), Freund Publishing House, pp. 151-157, 1993.
  • F. Menezes, P. Barahona, Constraint Solving in Finite Domains under User Control, Proceedings of EPIA´91, 5th Portuguese Conference on Artificial Intelligence (Encontro Português de Inteligência Artificial), Albufeira (P), P. Barahona, L. Moniz Pereira and A. Porto (Eds.), Lecture Notes in Artificial Intelligence, no. 541, Springer-Verlag, pp. 17-29, 1991.
  • P. Barahona, M. Veloso, Integration of the Causal and Functional Approaches for Robust Medical Diagnosis, Proceedings of MIE-91, 10th Congress of the European Federation of Medical Informatics, Vienna (A), K-P Adlassnig, G. Grabner, S. Bengtsson and R. Hansen (Eds.), Lecture Notes in Medical Informatics, no. 45, Springer-Verlag, pp. 452-456, 1991.
  • P. Barahona, M. Veloso, A Framework for Causal Reasoning with a Functional Approach, Proceedings of AIME-91, 3rd European Conference on Artificial Intelligence in Medicine, Maastricht (NL), M. Stefanelli, A. Hasman, M. Fieschi and J. Talmon (Eds.), Lecture Notes in Medical Informatics, no. 44, Springer-Verlag, pp. 85-94, 1991
  • P. Barahona, M. Veloso, Ricardo Amador and Francisco Menezes, Some Issues in the Control of Interactive Differential Diagnosis, Proceedings of AIME-89, 2nd European Conference on Artificial Intelligence in Medicine, London, J.Hunter, J, Cookson, J. Wyatt (Eds.), Lecture Notes in Medical Informatics, no. 38, Springer-Verlag, pp. 72-76, 1989
  • P. Barahona, J. Gurd, Simulated Performance of the Manchester Multi-Ring Dataflow Machine, Proceedings of the International Conference Parallel Computing 85, Berlin, M. Felmeier, G. Joubert and U. Schendel (Eds.), North-Holland, pp. 419-424, 1986.