Search the dblp DataBase

Publications of Author

1. Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda
   CRE2: A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction. [Citation Graph (0, 0)][DBLP]
   CP, 2004, pp:813-814 [Conf]
   
2. Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia
   A Declarative Framework for Security: Secure Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
   ICLP, 2006, pp:449-450 [Conf]
   
3. Camilo Rueda, Frank D. Valencia
   Non-viability Deductions in Arc-Consistency Computation. [Citation Graph (0, 0)][DBLP]
   ICLP, 2004, pp:343-355 [Conf]
   
4. Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda
   Implementing Semiring-Based Constraints Using Mozart. [Citation Graph (0, 0)][DBLP]
   MOZ, 2004, pp:224-236 [Conf]
   
5. Alberto Delgado, Jorge Andrés Pérez, Gustavo Pabón, Rafael Jordan, Juan Francisco Díaz, Camilo Rueda
   An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine. [Citation Graph (0, 0)][DBLP]
   MOZ, 2004, pp:317-327 [Conf]
   
6. Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda
   Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks. [Citation Graph (0, 0)][DBLP]
   MOZ, 2004, pp:263-276 [Conf]
   
7. Alberto Delgado, Jorge Andrés Pérez, Camilo Rueda
   Implementing an Abstraction Framework for Soft Constraints. [Citation Graph (0, 0)][DBLP]
   SARA, 2005, pp:60-75 [Conf]
   
8. Juan Francisco Díaz, Camilo Rueda, Frank D. Valencia
   Pi+- Calculus: A Calculus for Concurrent Processes with Constraints. [Citation Graph (0, 0)][DBLP]
   CLEI Electron. J., 1998, v:1, n:2, pp:- [Journal]
   
9. Camilo Rueda, Gloria Alvarez, Luis O. Quesada, Gabriel Tamura, Frank D. Valencia, Juan Francisco Díaz, Gerard Assayag
   Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language. [Citation Graph (0, 0)][DBLP]
   Constraints, 2001, v:6, n:1, pp:21-52 [Journal]
   
10. Juan Francisco Díaz, Camilo Rueda
    Modelos para la Computación Móvil (Invited paper). [Citation Graph (0, 0)][DBLP]
    Revista Comlombiana de Computación, 2000, v:1, n:1, pp:29-45 [Journal]
    
11. Camilo Rueda, Frank D. Valencia
    On validity in modelization of musical problems by CCP. [Citation Graph (0, 0)][DBLP]
    Soft Comput., 2004, v:8, n:9, pp:641-648 [Journal]
    
12. Julian Gutiérrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
    Timed Concurrent Constraint Programming for Analysing Biological Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:171, n:2, pp:117-137 [Journal]
    
13. 
    Matelas: A Predicate Calculus Common Formal Definition for Social Networking. [Citation Graph (, )][DBLP]
    
    
14. 
    Non-determinism and Probabilities in Timed Concurrent Constraint Programming. [Citation Graph (, )][DBLP]
    
    
15. 
    Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. [Citation Graph (, )][DBLP]
    
    
16. 
    An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. [Citation Graph (, )][DBLP]
    
    
17. 
    A stochastic non-deterministic temporal concurrent constraint calculus. [Citation Graph (, )][DBLP]
    
    
18. 
    Teaching Formal Methods for the Unconquered Territory. [Citation Graph (, )][DBLP]
    
    
19. 
    A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems. [Citation Graph (, )][DBLP]
    
    
20. 
    A Case Study in JML-Assisted Software Development. [Citation Graph (, )][DBLP]