Participation on completed projects

• PRECISE - in Science and Engineering
  Started in April 2005 and was concluded in March 2008
  Pedro Barahona, Jorge Cruz
• PRACTIC - Processing and Reuse of Advanced Computational Techniques to Improve Constraint Solving
  Started in 2005 and was concluded in December 2007
  Pedro Barahona, Francisco Azevedo, Marco Correia, Ruben Viegas
• REWERSE - Reasoning on the Web with Rules and Semantics
  Started in March 1st 2004 and was concluded in March 1st 2008
  Luís Moniz Pereira, José Alferes, Carlos Damásio, Pedro Barahona, Ludwig Kripphal, Ricardo Amador
• PROTEIN - Improving Constraint Solving to Predict Protein Structure
  Started in 2000 and was concluded in 2003
  Pedro Barahona, Ludwig Kripphal, Jorge Cruz, Marco Correia
• PRESTIGE - Guidelines in Healthcare
  Started in February 1997 and was concluded in December 1998
  Pedro Barahona, Francisco Azevedo
• DILEMMA - Advanced Informatics in Medicine
  Started in July 1992 and was concluded in October 1994
  Pedro Barahona, Francisco Azevedo
• NEUROWEB
  Concluded in 1999
  Pedro Barahona, Jorge Cruz