Juan Francisco Diaz Frias
Juan Francisco Diaz Frias
Profesor titular, Escuela de Ingeniería de Sistemas y Computación, Universidad del Valle
Verified email at correounivalle.edu.co
Title
Cited by
Cited by
Year
Integrating constraints and concurrent objects in musical applications: A calculus and its visual language
C Rueda, G Alvarez, LO Quesada, G Tamura, F Valencia, JF Díaz, ...
Constraints 6 (1), 21-52, 2001
412001
A calculus for concurrent processes with constraints
JF Díaz, J Francisco, CR Diaz Frias, FDV Posso
391998
Loss reduction in distribution networks using concurrent constraint programming
NG Caicedo, CA Lozano, JF Díaz, C Rueda, G Gutiérrez, C Olarte
Probabilistic Methods Applied to Power Systems, 2004 International …, 2004
122004
A theory of robust planning
M de Rougemont, JF Díaz-Frías
Robotics and Automation, 1992. Proceedings., 1992 IEEE International …, 1992
101992
Automated Reasoning for Derivation of Model-Driven SPLs.
H Arboleda, JF Diaz, V Vargas, JC Royer
SPLC Workshops, 181-188, 2010
82010
Estado del arte en reconfiguración de sistemas de distribución
RA Granobles, G Caicedo Delgado, JF Díaz Frias
Revista Energía y Computación 10 (1), 2001
82001
Using constraint programming for reconfiguration of electrical power distribution networks
JF Díaz, G Gutierrez, CA Olarte, C Rueda
International Conference on Multiparadigm Programming in Mozart/OZ, 263-276, 2004
72004
PATHOS: Object Oriented concurrent constraint timetabling for real world cases
C Rueda, JF Díaz, LO Quesada, C García, S Cetina
Proceedings XXVIII Conferencia Latinoamericana de Informtica, Montevideo …, 2002
62002
PiCO: A Calculus of Concurrent Constraint Objects for Musical Applications.
G Alvarez, JF Diaz, LO Quesada, FD Valencia, G Assayag, C Rueda
ECAI 98 Workshop on Constraints for Artistic Applications, Brighton, 1998
61998
An interactive tool for the controlled execution of an automated timetabling constraint engine
A Delgado, JA Pérez, G Pabón, R Jordan, JF Díaz, C Rueda
International Conference on Multiparadigm Programming in Mozart/OZ, 317-327, 2004
52004
CRE2: a CP application for reconfiguring a power distribution network for power losses reduction
JF Díaz, G Gutierrez, CA Olarte, C Rueda
International Conference on Principles and Practice of Constraint …, 2004
52004
Alternativa de Comprobación sintáctica de VLP: Gsig Parsing
CA Tavera Romero, JF Díaz Frías, A Soto Vargas, JJ Gallego Varona, ...
XIII Congreso Argentino de Ciencias de la Computación, 2007
42007
Alternativa de Comprobación sintáctica de VLP Gsig Parsing. Aspectos formales y el caso de estudio: E GraPiCO.
CAT Romero, JFD Frıas, AS Vargas, JAG Varona, AJ Giraldo
4*
Aplicación web basada en programación por restricciones para ingeniería de asignación de espectro
FG Guerrero, J Francisco Díaz, CA Delgado
Ingeniare. Revista chilena de ingeniería 23 (4), 526-539, 2015
32015
Preprocessing of informal mathematical discourse in context ofcontrolled natural language
RE Gutiérrez de Piñerez Reyes, JF Díaz Frías
Proceedings of the 21st ACM international conference on Information and …, 2012
32012
VISiR: Software de soporte para la toma de decisiones de vertimiento de agua en la represa del Alto Anchicayá usando programación concurrente por restricciones
JFD Frias, C Rueda
Ingeniería y Competitividad 3 (2), 7-14, 2011
3*2011
Especificación formal de arquitecturas de software basadas en componentes: chequeo de corrección con cálculo− Parq
HA Diosa, JFD Frías, CMG Cuevas
Revista científica, 156-171, 2010
32010
On the interactive complexity of graph reliability
JM Couveignes, JF Diaz-Frias, M De Rougemont, M Santha
International Conference on Foundations of Software Technology and …, 1994
31994
Off-line and On-line Scheduling of SAT Instances with Time Processing Constraints
R Duque, A Arbelaez, JF Díaz
Colombian Conference on Computing, 524-539, 2017
22017
Constraint programming and machine learning for interactive soccer analysis
R Duque, JF Díaz, A Arbelaez
International Conference on Learning and Intelligent Optimization, 240-246, 2016
22016
The system can't perform the operation now. Try again later.
Articles 1–20