( en | de | ru )

 

Disambiguation of "Díaz, Juan Francisco"

Author of the publication

copydeleteadd this publication to your clipboard
Pi+- Calculus: A Calculus for Concurrent Processes with Constraints.

, , and . CLEI Electron. J., (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Juan Díaz Ochoa

Juan Díaz-Santanilla

Juan Manuel Díaz Yarto

Juan Lorenzo Díaz-Naveas

Juan Clemente Díaz Gonzáles

 

Other publications of authors with the same name

CRE2: A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction., , , and . CP, volume 3258 of Lecture Notes in Computer Science, page 813-814. Springer, (2004)Processing Online SAT Instances with Waiting Time Constraints and Completion Weights., , and . LOD, volume 11331 of Lecture Notes in Computer Science, page 418-430. Springer, (2018)Models, methods and software prototype to support the design, evaluation, and analysis in the curriculum management of competency-based for higher education., , and . CLEI, page 1-10. IEEE, (2019)Constraint Programming and Machine Learning for Interactive Soccer Analysis., , and . LION, volume 10079 of Lecture Notes in Computer Science, page 240-246. Springer, (2016)Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming., and . MOZ, volume 3389 of Lecture Notes in Computer Science, page 292-304. Springer, (2004)Online over time processing of combinatorial problems., , and . Constraints An Int. J., 23 (3): 310-334 (2018)SABIO: An Implementation of MIP and CP for Interactive Soccer Queries., , and . CP, volume 9892 of Lecture Notes in Computer Science, page 575-583. Springer, (2016)An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine., , , , , and . MOZ, volume 3389 of Lecture Notes in Computer Science, page 317-327. Springer, (2004)Pi+- Calculus: A Calculus for Concurrent Processes with Constraints., , and . CLEI Electron. J., (1998)Solving the Short Run Economic Dispatch Problem Using Concurrent Constraint Programming., , and . IFIP PPAI, volume 4170 of Lecture Notes in Computer Science, page 265-274. Springer, (2006)