Juan Francisco Díaz

According to our database, Juan Francisco Díaz authored at least 19 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Fairness and Consensus in an Asynchronous Opinion Model for Social Networks.

Jesús Aranda, Sebastián Betancourt, Juan Francisco Díaz, Frank Valencia

Proceedings of the 35th International Conference on Concurrency Theory, 2024

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

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

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 Florian-Gaviria, Juan Francisco Díaz

Proceedings of the XLV Latin American Computing Conference, 2019

2018

Online over time processing of combinatorial problems.

Robinson Duque, Alejandro Arbelaez, Juan Francisco Díaz

Constraints An Int. J., 2018

Processing Online SAT Instances with Waiting Time Constraints and Completion Weights.

Robinson Duque, Alejandro Arbelaez, Juan Francisco Díaz

Proceedings of the Machine Learning, Optimization, and Data Science, 2018

2016

Constraint Programming and Machine Learning for Interactive Soccer Analysis.

Robinson Duque, Juan Francisco Díaz, Alejandro Arbelaez

Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

SABIO: An Implementation of MIP and CP for Interactive Soccer Queries.

Robinson Duque, Juan Francisco Díaz, Alejandro Arbelaez

Proceedings of the Principles and Practice of Constraint Programming, 2016

2013

Towards Formal Interaction-Based Models of Grid Computing Infrastructures.

Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz

Proceedings of the Proceedings 9th International Workshop on Developments in Computational Models, 2013

2010

Automated Reasoning for Derivation of Model-Driven SPLs.

Hugo Arboleda, Juan Francisco Díaz, Victor Vargas, Jean-Claude Royer

Proceedings of the Software Product Lines - 14th International Conference, 2010

2006

Solving the Short Run Economic Dispatch Problem Using Concurrent Constraint Programming.

Juan Francisco Díaz, Iván Javier Romero, Carlos Lozano

Proceedings of the Toward Category-Level Object Recognition, 2006

2004

Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming.

Juan Francisco Díaz, Javier Andrés Mena

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks.

Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 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

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 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 Ortíz

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

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

Proceedings of the Principles and Practice of Constraint Programming, 2004

2001

Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language.

Camilo Rueda, Gloria Alvarez, Luis Quesada, Gabriel Tamura, Frank D. Valencia, Juan Francisco Díaz, Gérard Assayag

Constraints An Int. J., 2001

2000

Modelos para la Computación Móvil (Invited paper).

Juan Francisco Díaz, Camilo Rueda

Rev. Colomb. de Computación, 2000

1998

Pi+- Calculus: A Calculus for Concurrent Processes with Constraints.

Juan Francisco Díaz, Camilo Rueda, Frank D. Valencia

CLEI Electron. J., 1998