Juan Francisco Díaz

Orcid: 0000-0002-6178-0595

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
The Sound of Silence in Social Networks.
CoRR, 2024

Fairness and Consensus in an Asynchronous Opinion Model for Social Networks.
Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023
Fairness and Consensus in a Gossip Model of Social Networks.
CoRR, 2023

Pareto-Optimal Trace Generation from Declarative Process Models.
Proceedings of the Business Process Management Workshops, 2023

2019
Constraint programming heuristics for configuring optimal products in multi product lines.
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.
Proceedings of the XLV Latin American Computing Conference, 2019

2018
Online over time processing of combinatorial problems.
Constraints An Int. J., 2018

Processing Online SAT Instances with Waiting Time Constraints and Completion Weights.
Proceedings of the Machine Learning, Optimization, and Data Science, 2018

2016
Constraint Programming and Machine Learning for Interactive Soccer Analysis.
Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

SABIO: An Implementation of MIP and CP for Interactive Soccer Queries.
Proceedings of the Principles and Practice of Constraint Programming, 2016

2013
Towards Formal Interaction-Based Models of Grid Computing Infrastructures.
Proceedings of the Proceedings 9th International Workshop on Developments in Computational Models, 2013

2010
Automated Reasoning for Derivation of Model-Driven SPLs.
Proceedings of the Software Product Lines - 14th International Conference, 2010

2006
Solving the Short Run Economic Dispatch Problem Using Concurrent Constraint Programming.
Proceedings of the Toward Category-Level Object Recognition, 2006

2004
Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming.
Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks.
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.
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.
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.
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.
Constraints An Int. J., 2001

2000
Modelos para la Computación Móvil (Invited paper).
Rev. Colomb. de Computación, 2000

1998
Pi+- Calculus: A Calculus for Concurrent Processes with Constraints.
CLEI Electron. J., 1998


  Loading...