• Ludwig Krippahl and Pedro Barahona, Symmetry constraints for modelling homo-oligomers, Procs of WCB15 Workshop on Constraint Based Methods for Bioinformatics, http://clp.dimi.uniud.it/wcb/wcb15/, Cork, September 2015.
  • Marco Correia, Fábio Madeira, Pedro Barahona and Ludwig Krippahl, Improving Multiple Sequence Alignments with Constraint Programming and Local Search., Procs of WCB 2011 Workshop on Constraint Based Methods for Bioinformatics, http://www.dmi.unipg.it/WCB11, Perugia,September 2011.
  • David Buezas, João Almeida and Pedro Barahona, Minimizing sets of enzymes to differentiate between species, in: Alessandro Dal Palu, Agostino Dovier and Sebastian Will (eds), Proceedings of WCB 2010 - Workshop on Constraint Based Methods for Bioinformatics, http://wcb10.dimi.uniud.it/, Edinbugh, July 2010.
  • Olivier Perriquet and Pedro Barahona, Improved heuristic for pairwise RNA secondary structure prediction, Proceedings of NETTAB 2009, 2009.
  • Jean Christoph Jung, Pedro Barahona, George Katsirelos and Toby Walsh, Two Encodings of DNNF Theories, ECAI'08 Workshop on Inference methods based on Graphical Structures of Knowledge, (url), July 2008.
  • José Carlos Almeida Santos, Pedro Barahona and Ludwig Krippahl, Mining Protein Structure Data, in: José Neves, Manuel Filipe Santos and José Machado (eds), New Trends in Artificial Intelligence, Proceedings of EPIA'07, 13th Portuguese Conference on Artificial Intelligence, Universidade do Minho, ISBN 9789899561809, Pag. 527-540, December 2007.
  • Olivier Perriquet, Marco Correia, Pedro Barahona and Ludwig Krippahl, A Low resolution Model for Protein Structure Prediction from NMR Data, in: José Neves, Manuel Filipe Santos and José Manuel Machado (eds), New Trends in Artificial Intelligence, Proceedings of EPIA'07, 13th Portuguese Conference on Artificial Intelligence, Universidade do Minho, ISBN 9789899561809, Pag. 565-576, November 2007.
  • Ludwig Krippahl and Pedro Barahona, Elucidating transient protein interactions with multiple dockings, in: Rolf Backofen, Alessandro Dal Palu and Sebastian Will (eds), Proceedings of WCB 2007 - Workshop on Constraint Based Methods for Bioinformatics, http://www.bioinf.uni-freiburg.de/Events/WCB07/, Porto, Portugal, Pag. 40-47, September 2007.
  • Marco Correia and Pedro Barahona, On the integration of singleton consistency and look-ahead heuristics, in: Francois Fages, Sylvain Soliman and Francesca Rossi (eds), Proceedings of the annual ERCIM workshop on constraint solving and constraint logic programming, Rocquencourt, France, June 2007.
  • L. Krippahl and P. Barahona, Chemera: Constraints in Protein Structural Problems, in Proceedings of WCB06, Workshop on Constraint Based Methods for Bioinformatics, A. Dal Palù, A. Dovier, and S.ebastian Will (eds.), 30-45, Nantes, France, September, 2006.
  • M. Correia and P.Barahona, Overview of an Open Constraint Library, Proceedings of the 11th Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, F. Azevedo, P. Barahona, F. Fages and F. Rossi (eds.), New University of Lisbon, 159-168, Caparica, Portugal, June, 2006.
  • M. Correia, P. Barahona and F. Azevedo, CaSPER: A Programming Environment for Development and Integration of Constraint Solvers, in Proceedings of the First International Workshop on Constraint Programming Beyond Finite Integer Domains (BeyondFD'05), Azevedo et al. (Editors), pages 59-73, 2005.
  • L. Krippahl, P. Barahona and J.G. Moura, Constrained Protein Docking with Chemera 3.0, Proceedings of BKDB2005 - Bioinformatics: Knowledge Discovery in Biology, Francisco M. Couto, Mário J. Silva and Pedro Fernandes (eds.), Faculdade de Ciências Universidade de Lisboa, ISBN: 972-9348-12-10, pp. 10-14, June 2005
  • J. Cruz and P. Barahona, Constraint Reasoning with Differential Equations, Proceedings of the International Conference on Numerical Analysis & Computational Mathematics, NACoM-2003, pp. 38-41Anglia Polytechnic University (APU), Cambridge, UK, 23-26 May 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, France, 2-4 October, 2002.
  • F. Azevedo and P. Barahona, Using Multi-valued Logics to Model Digital Circuits Problems, First International Workshop on Constraints in Formal Verification, colocated with CP’02, (Organizers: J. Marques-Silva, P. Jackson, K. Sakallah, T. Walsh), Cornell Un., Ithaca, NY, USA, Sept. 8 - 13, 2002.
  • F. Azevedo and P. Ba rahona, Constraint Programming and Local Search with Multi-Valued Logics for Optimisation of Test Patterns, Procs. of ETW’02, IEEE European Test Workshop, Corfu, Greece, pp.11-12, May 2002.
  • Ludwig Krippahl, Michael Trosset and Pedro Barahona, Combining Constraint Programming and Multidimensional Scaling to solve Distance Geometry Problems, Procs. of CP-AI-OR'01 Workshop, Kent, pp. 67-80, April 2001.
  • L. Krippahl and P. Barahona, PSICO: Combining Constraint Programming and Optimisation to Solve Macromolecular Structures, in Procs. of ERCIM/COMPULOG Workshop on Constraints, Univ. Padova, Italia, June 2000.
  • F. Azevedo and P. Barahona, Applications of an Extended Set Constraint Solver, in Procs. of ERCIM/COMPULOG Workshop on Constraints, Univ. Padova, Italia, June 2000.
  • F. Azevedo and P. Barahona, A Constraint Programming Approach to Model ATPG Related Problems, in Procs. of ETW 2000: IEEE European Test, Cascais, Portugal, pp. 315-316May 2000.
  • J. Cruz and P. Barahona, An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support, in Procs. of EKBD-99, 2nd International Workshop on Extraction of Knowledge from Data Bases, (associated with EPIA'99, 9th Portuguese Conference on Artificial Intelligence), F. Moura Pires, G. Guimarães and A. Jorge (Eds.), pp 93-108, Évora, 1999.
  • L. Krippahl and P. Barahona, Mixed Constructive-Reparative Solving for Protein Structure Determination, in Procs. of EKBD-99, 2nd International Workshop on Extraction of Knowledge from Data Bases, (associated with EPIA'99, 9th Portuguese Conference on Artificial Intelligence), F. Moura Pires, G. Guimarães and A. Jorge (Eds.), pp 109-123, Évora, 1999.
  • P. Amaral and P. Barahona, After Infeasibility in Linear Program Problems, in Procs of CP-AI-OR'99, Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Universitá degli Studi di Ferrara, Fevereiro 1999.
  • F. Azevedo and P. Barahona, Generation of Test Patterns for Differential Diagnosis of Digital Circuits, ERCIM/COMPULOG Workshop on Constraints, CWI, Amsterdam, September, 1998.
  • J. Cruz, P. Barahona, A. Páscoa Figueiredo, M. Veloso and M. Carvalho, DARE: A Knowledge-Based System for the Diagnosis of Neuromuscular Disorders, Proceedings of EPIA´95 Workshop on Applications of Expert Systems, Funchal (P), J. Filipe and L. Antunes (Eds.), pp. 27-38, October 1995.
  • F. Menezes and P. Barahona, Defeasible Constraint Solving, Proceedings of the CP95 Workshop on Over-Constrained Systems, Cassis (F), M. Jampel, E. Freuder and M. Maher (Eds.), pp. 59-67, September 1995.
  • B. Johnsen , S. Vingtoft, A. Fuglsang-Fredriksen, P. Barahona, P. Fawcett, L. Jakobsen, R. Liguori, W. Nix, G. Otte, I. Scofield, G. Sieben, A. Talbot, M. Veloso and A. Vila, A Common Structure for the Representation of Data and Diagnostic Processes within Clinical Neurophysiology, Proceedings of MIE'94, pp. 150-155, May 1994.
  • 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 and W. Nix, ESTEEM: An AIM Project incorporating Advanced Information Processing Functions, Telematic Services and An International Medical Audit into Clinical EMG Practise, Proceedings of MIE'94, pp. 256-260, May 1994
  • Pedro Barahona and Francisco Azevedo and Joaquim Ferreira da Silva, Modelling Causal and Temporal Knowledge to Support Drug Therapy Planning, Proceedings of MIE'94, 12th Congress of the European Federation of Medical Informatics, Lisbon (P), P. Barahona, M. Veloso and J. Bryant (Eds.), EFMI, pp. 109-114, May 1994.
  • P. Barahona, J. Cruz, S. Nascimento and M. Veloso, A Causal Functional Model for Anatomo-Physiological Reasoning, Proceedings of MIE'94, 12th Congress of the European Federation of Medical Informatics, Lisbon (P), P. Barahona, M. Veloso and J. Bryant (Eds.), pp. 98-103, May 1994.
  • P. Barahona, R. Walton, Z. Ilic and J. Ferreira da Silva, Deep Medical Knowledge to Design Clinical Guidelines, Proc.s of MIE'94, 12th Congress of the European Federation of Medical Informatics, Lisbon (P), P. Barahona, M. Veloso and J. Bryant (Eds.), EFMI, pp. 36-41, May 1994
  • F. Azevedo and P. Barahona, Timetabling in Constraint Logic Programming, Proceedings of the 2nd World Congress on Expert Systems (in CD-ROM), Estoril (P), January 1994 .
  • F. Menezes, P. Barahona and P. Codognet, An Incremental Hierarchical Constraint Solver, Proceedings of PPCP'93, First Workshop on Principles and Practice of Constraint Programming, Newport (USA), Brown University, pp. 201-210, April 1993.
  • F. Menezes, P. Barahona and P. Codognet, An Incremental Hierarchical Constraint Solver Applied to a Timetabling Problem, Proceedings of Avignon'93, 13th International Conference on Artificial Intelligence, Expert Systems and Natural Language, Avignon (F), Vol. 1, pp. 297-306, May 1993.
  • F. Menezes and P. Barahona, A Framework for User-Defined Constraint Solvers over Finite Domains, presented at WCLP´92, Workshop on Constraint Logic Programming, Marseille (F), February 1992.
  • J. Fox, J.L.Renauld-Salis, P. Barahona et al, Technicalities and Practicalities of Logic Engineering in Medicine: the LEMMA Project, in Procs. of AIM Euroforum, Seville, Spain, pp. 79-86, December 1990.
  • P. Falcão, M. Pereira, Rita Ribeiro and P. Barahona, Anothezr Timetabling Approach, Proceedings of the First International Conference on Expert Planning Systems, Brighton (UK), Institution of Electronic Engineers, pp. 212-216, June 1990.


National Workshops

  • P. Barahona, A Medical Expert System Shell in Perspective, Actas do 4º Encontro Português de Inteligência Artificial, Lisboa, Setembro de 1989.
  • P. Barahona, Controle Heurístico para a Execução Paralela de Programas Declarativos, Actas do 3º Encontro Português de Inteligência Artificial, Braga, pp. 306-325, Outubro de 1987.
  • A.M. Gonçalves e M.H. Gonçalves, P. Barahona, Tratamento on-line de dados experimentais utilisando micro-computadores de 8 bits, Actas da 3ª Conferência Geral da Sociedade Portuguesa de Física, Coimbra, Junho de 1982.
  • M.H. Gonçalves, M.L. Fraser Monteiro, L. Fraser Monteiro e P. Barahona, Espectómetro de Coincidências Fotoião-Fotoelectrão, Actas da 2ª Conferência Geral da Sociedade Portuguesa de Física, Porto, Abril de 1980.