Publications

DBLP

• J. Gutiérrez, J. A. Pérez, C. Rueda, and F. D. Valencia. Timed Concurrent Constraint Programming for Analysing Biological Systems. Electronic Notes in Theoretical Computer Science. Elsevier, 171(2):117-137. 2007.
  
  
• A. Arbeláez, A. Aristizábal, J. Gutiérrez, H. López, J. A. Pérez, C. Rueda, and F. D. Valencia. Process Calculi to Analyze Emerging Applications in Concurrency. Matemáticas: Enseñanza Universitaria. Colombia. 2007.
  
  
• A. Arbeláez, J. Gutiérrez and J. A. Pérez. Timed CCP in Systems Biology. The ALP Newsletter. Association for Logic Programming (ALP). Vol. 19, No. 4. Nov-Dec. 2006.
  
  
• A. Arbeláez, J. Gutiérrez, C. Olarte, and C. Rueda. A Generic Framework to Model, Simulate and Verify Genetic Regulatory Networks. CLEI’06, 32nd Latinamerican Conference on Informatics. Chile. 2006.
  
  
• J. Gutiérrez, J. A. Pérez, and C. Rueda. Modelamiento de Sistemas Biológicos usando Cálculos de Procesos Concurrentes (Modelling Biological Systems using Process Calculi). Epiciclos Scientific Journal, 4(1):79-101, ISSN 1657-5636. Colombia. 2005.

B Sc. Thesis

• A. Arbeláez and J. Gutiérrez. Estudio Exploratorio de la Aplicación de la Programación Concurrente por Restricciones en Bioinformática (Applying Concurrent Constraint Programming to Bioinformatics: An Exploratory Study). B Sc. Thesis. Pontificia Universidad Javeriana, Cali, Colombia. 2006.