Pi+- Calculus: A Calculus for Concurrent Processes with Constraints. - Juan Francisco Díaz; Camilo Rueda; Frank D. Valencia (CLEI Electron. J., 1998)

Modelos para la Computación Móvil (Invited paper). - Juan Francisco Díaz; Camilo Rueda (Rev. Colomb. de Computación, 2000)

Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language. - Camilo Rueda; Gloria Alvarez; Luis Quesada 001; Gabriel Tamura; Frank D. Valencia; Juan Francisco Díaz; Gérard Assayag (Constraints An Int. J., 2001)

CRE2: A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction. - Juan Francisco Díaz; Gustavo Gutierrez; Carlos Alberto Olarte; Camilo Rueda (CP, 2004)

The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics. - Jesús Aranda; Juan Francisco Díaz; V. James Ortiz (MOZ, 2004)

An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine. - Alberto Delgado; Jorge Andrés Pérez; Gustavo Pabón; Rafael Jordan; Juan Francisco Díaz; Camilo Rueda (MOZ, 2004)

Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks. - Juan Francisco Díaz; Gustavo Gutierrez; Carlos Alberto Olarte; Camilo Rueda (MOZ, 2004)

Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming. - Juan Francisco Díaz; Javier Andrés Mena (MOZ, 2004)

Solving the Short Run Economic Dispatch Problem Using Concurrent Constraint Programming. - Juan Francisco Díaz; Iván Javier Romero; Carlos Lozano (IFIP PPAI, 2006)

Automated Reasoning for Derivation of Model-Driven SPLs. - Hugo Arboleda; Juan Francisco Díaz; Victor Vargas; Jean-Claude Royer (SPLC Workshops, 2010)

Towards Formal Interaction-Based Models of Grid Computing Infrastructures. - Carlos Alberto Ramírez Restrepo; Jorge A. Pérez 001; Jesús Aranda; Juan Francisco Díaz (DCM, 2013)

SABIO: An Implementation of MIP and CP for Interactive Soccer Queries. - Robinson Duque; Juan Francisco Díaz; Alejandro Arbelaez (CP, 2016)

Constraint Programming and Machine Learning for Interactive Soccer Analysis. - Robinson Duque; Juan Francisco Díaz; Alejandro Arbelaez (LION, 2016)

Processing Online SAT Instances with Waiting Time Constraints and Completion Weights. - Robinson Duque; Alejandro Arbelaez; Juan Francisco Díaz (LOD, 2018)

Online over time processing of combinatorial problems. - Robinson Duque; Alejandro Arbelaez; Juan Francisco Díaz (Constraints An Int. J., 2018)

Models, methods and software prototype to support the design, evaluation, and analysis in the curriculum management of competency-based for higher education. - Leidy Carvajal-Ortiz; Beatriz Eugenia Florián Gaviria; Juan Francisco Díaz (CLEI, 2019)

Constraint programming heuristics for configuring optimal products in multi product lines. - Lina Ochoa; Oscar González Rojas; Nicolás Cardozo; Alvaro González; Jaime Chavarriaga; Rubby Casallas; Juan Francisco Díaz (Inf. Sci., 2019)

Pareto-Optimal Trace Generation from Declarative Process Models. - Juan Francisco Díaz; Hugo A. López 001; Luis Quesada 001; Juan C. Rosero (Business Process Management Workshops, 2023)

Fairness and Consensus in a Gossip Model of Social Networks. - Joan S. Betancourt; Jesús Aranda; Juan Francisco Díaz; Frank Valencia (CoRR, 2023)

Fairness and Consensus in an Asynchronous Opinion Model for Social Networks. - Jesús Aranda; Sebastián Betancourt; Juan Francisco Díaz; Frank Valencia (CONCUR, 2024)

The Sound of Silence in Social Networks. - Jesús Aranda; Juan Francisco Díaz; David Gaona; Frank Valencia (CoRR, 2024)