The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Frank D. Valencia: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mogens Nielsen, Frank D. Valencia
    Notes on Timed Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:702-741 [Conf]
  2. Mogens Nielsen, Frank D. Valencia
    Temporal Concurrent Constraint Programming: Applications and Behavior. [Citation Graph (0, 0)][DBLP]
    Formal and Natural Computing, 2002, pp:298-324 [Conf]
  3. Catuscia Palamidessi, Frank D. Valencia
    A Temporal Concurrent Constraint Programming Calculus. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:302-316 [Conf]
  4. Frank D. Valencia
    Temporal Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:786- [Conf]
  5. Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia
    On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:226-240 [Conf]
  6. 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]
  7. Camilo Rueda, Frank D. Valencia
    Non-viability Deductions in Arc-Consistency Computation. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:343-355 [Conf]
  8. Frank D. Valencia
    Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:422-437 [Conf]
  9. Frank D. Valencia
    Concurrency, Time, and Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:72-101 [Conf]
  10. Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor
    On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:59-68 [Conf]
  11. Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia
    On the expressive power of temporal concurrent constraint programming languages. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:156-167 [Conf]
  12. Stefan S. Dantchev, Frank D. Valencia
    On the computational limits of infinite satisfaction. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:393-397 [Conf]
  13. 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]
  14. 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]
  15. Catuscia Palamidessi, Frank D. Valencia
    Recursion vs Replication in Process Calculi: Expressiveness. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2005, v:87, n:, pp:105-125 [Journal]
  16. Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia
    Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2002, v:9, n:1, pp:145-188 [Journal]
  17. 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]
  18. Frank D. Valencia
    Decidability of infinite-state timed CCP processes and first-order LTL. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:330, n:3, pp:577-607 [Journal]
  19. 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]

  20. Concurrent and Reactive Constraint Programming. [Citation Graph (, )][DBLP]


  21. CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. [Citation Graph (, )][DBLP]


  22. On the Asynchronous Nature of the Asynchronous pi-Calculus. [Citation Graph (, )][DBLP]


  23. On Recursion, Replication and Scope Mechanisms in Process Calculi. [Citation Graph (, )][DBLP]


  24. On the Expressive Power of Restriction and Priorities in CCS with Replication. [Citation Graph (, )][DBLP]


  25. Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. [Citation Graph (, )][DBLP]


  26. An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. [Citation Graph (, )][DBLP]


  27. The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. [Citation Graph (, )][DBLP]


  28. Universal concurrent constraint programing: symbolic semantics and applications to security. [Citation Graph (, )][DBLP]


  29. Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. [Citation Graph (, )][DBLP]


  30. Preface. [Citation Graph (, )][DBLP]


Search in 0.017secs, Finished in 0.019secs
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