The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Camilo Rueda: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002