F R A N K   D .  V A L E N C I A ' S  R E S E A R C H   A R C H I V E

Please find my publication list in PDF here. Below you will find links to my research (publications, some of my presentations, research proposals, etc).

Proceedings
Journals
Book Chapters
Dissertations
Informal Proceedings
Technical Reports
Some Talk's Slides
Research Proposals
Go to Main Page

Proceedings

  1. L. Pino, F. Bonchi, F. Valencia. A Behavioural Equivalence for Concurrent Constraint Programming with Non-Deterministic Choice. ICTAC 2014 (To Appear). ©Springer-Verlag. 2014.
  2. L. Pino, F. Bonchi, F. Valencia. Efficient Computation of Program Equivalence for Confluent Concurrent Constraint Programming. PPDP 2013: 263-274. ©ACM. 2013.
  3. S. Knight, C. Palamidessi, P. Panangaden, F. Valencia. Spatial and Epistemic Modalities in Constraint-Based Process Calculi. CONCUR 2012:317-332. ©Springer-Verlag. 2012.
  4. M. Giunti, C. Palamidessi, F. Valencia. Hide and New in the Pi-Calculus. EXPRESS/SOS 2012: 65-79. 2012. CONCUR 2012:317-332. © EPTCS. 2012
  5. A. Aristizabal, F. Bonchi, L. Pino, F. Valencia. Reducing Weak to Strong Bisimilarity in CCP. ICE 2012:2-16. © EPTCS. 2012
  6. A. Aristizabal, F. Bonchi, L. Pino, F. Valencia. Partition refinement for bisimilarity in CCP. SAC 2012: 88-93. ©ACM Press. 2012.
  7. A. Aristizabal, F. Bonchi, C. Palamidessi, L. Pino, F. Valencia. Deriving Labels and Bisimilarity for Concurrent Constraint Programming. FOSSACS 2011: 138-152. ©Springer-Verlag. 2011.
  8. D. Hermith, C. Olarte, C. Rueda, and F. Valencia. Modeling Cellular Signaling Systems: An Abstraction Refinement Approach. PACBB 2011: 321-328. ©Springer. 2011.
  9. M. Gabbrielli, C. Palamidessi, F. Valencia. Concurrent and Reactive Constraint Programming. 25 Years GULP 2010: 231-253 ©Springer-Verlag. 2010.
  10. J. Aranda, F. Valencia and C. Versari. On the Expressive Power of Restriction and Priorities in CCS with Replication.  FoSSaCS 2009: 242-256. ©Springer-Verlag. 2009.
  11. J. Aranda, J Perez, C. Rueda and F. Valenci. Stochastic Behaviour and Explicit Discrete Time in Concurrent Constraint Programming (Short Paper).  ICLP'08: 682-686. ©Springer-Verlag. 2008.
  12. C. Olarte and F. Valencia. The Expressivity of Universal Timed CCP: Undecidability of Monadic FLTL and Closure Operators for Security.  PPDP'08: 8-19. ©ACM Press. 2008.
  13. R. Beauxis, C. Palamidessi, F. Valencia: On the Asynchronous Nature of the Asynchronous pi-Calculus. Concurrency, Graphs and Models 2008: 473-492. ©Springer-Verlag. 2008.
  14. C. Olarte and F. Valencia. Universal Concurrent Constraint Programing: Symbolic Semantics and Applications to Security.  SAC 2008: 145-150. ©ACM Press. 2008.
  15. J. Aranda, C. Di Giusto, M. Nielsen and F. Valencia. CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence.  APLAS 2007: 383-398. ©Springer-Verlag. 2007.
  16. J. Aranda, C. Di Giusto, C. Palamidessi and F. Valencia. On Recursion, Replication and Scope Mechanisms in Process Calculi.  To appear in FMCO. ©Springer-Verlag. 2007.
  17. D. Cacciagrano, F. Corradini, J. Aranda, F. Valencia. Persistence and Testing Semantics in the Asynchronous Pi Calculus.  in EXPRESS'07, Electr. Notes Theor. Comput. Sci. 194(2): 59-84. ©Elsevier. 2007.
  18. M. Falaschi, C. Olarte, C. Palamidessi and F. Valencia. Declarative Diagnosis of Temporal Concurrent Constraint Programs.  ICLP 2007: 271-285.©Springer-Verlag. 2007.
  19. C. Olarte, C. Palamidessi and F. Valencia. Universal Timed Concurrent Constraint Programming (Abstract).  ICLP 2007: 464-465.©Springer-Verlag. 2007.
  20. J. Gutierrez, J. Perez, C. Rueda and F. Valencia.  Timed Concurrent Constraint Programming for Analyzing Biological Systems. Electr. Notes Theor. Comput. Sci. 171(2): 117-137.© Elsevier. 2007
  21. Catuscia Palamidessi and Frank D. Valencia. Languages for Concurrency.  To apear in Bulletin of the EATCS ©EATCS. 2006.
  22. C. Palamidessi, V. Saraswat, F. Valencia and B. Victor. On the Expressiveness of Linearity vs Persistence in the Asynchronous Pi Calculus. LICS 2006:59-68. ©IEEE. 2006. Extended version.
  23. H. Lopez, C. Palamidessi, J. Perez, C. Rueda and F. Valencia.  A Declarative Framework for Security: Secure Concurrent Constraint Programming (Short Abstract). ICLP 2006: 449-450. ©Springer-Verlag. 2006.
  24. Catuscia Palamidessi and Frank D. Valencia. Recursion vs Replication in Process Calculi.  In Bulletin of the EATCS 87: 105-125. ©EATCS. 2005.
  25. A. Aristizabal, H. Lopez, C. Rueda and F. Valencia. Formally Reasoning About Security Issues in P2P Protocols: A Case Study. In Proc. of the Third Taiwanese-French Conference on Information Technology (TFIT). 2005.
  26. Stefan Dantchev and Frank D. Valencia. On the Computational Limits of Infinite Satisfaction. SAC 2005: 393-397. ©ACM Press. 2005.
  27. C. Rueda and Frank D. Valencia.  A Temporal CCP Calculus as an Audio Processing Framework. SMC'05. ©SMC. 2005.
  28. Camilo Rueda and Frank D. Valencia. Non-Viability Deductions in Arc-Consistency Computation. ICLP 2004: 343-355. ©Springer-Verlag. 2004.
  29. Pablo Giambiagi, Gerardo Schneider and Frank D. Valencia. On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. FoSSaCS 2004: 226-240. ©Springer-Verlag. 2004.
  30. (Best Student Paper Award) Frank D. Valencia. Timed Concurrent Constraint Programming: Decidability Results and their Application to LTL . ICLP 2003: 422-437. ©Springer-Verlag. 2003.
  31. Frank D. Valencia. Concurrency, Time and Constraints ICLP 2003: 72-101. ©Springer-Verlag.  2003.
  32. Mogens Nielsen, Catuscia Palamidessi and Frank D. Valencia. On the Expressive Power of Temporal Concurrent Constraint Programming Languages. PPDP 2002: 156-167. ©ACM Press. 2002
  33. Camilo Rueda and Frank D. Valencia.  Proving Musical Properties Using a Temporal Concurrent Constraint Calculus. ICMC'02. ©ICMC. 2002.
  34. Catuscia Palamidessi and Frank D. Valencia. A Temporal Concurrent Constraint Programming Calculus. CP 2001: 302-316. ©Springer-Verlag. 2001.
  35. Frank D. Valencia. Temporal Concurrent Constraint Programming CP 2001: 786 (Abstract). ©Springer-Verlag. 2001
  36. Juan F. Diaz, Camilo Rueda and Frank D. Valencia. Pi+ -Calculus: An extension of the Pi-Calculus to handle Constraints. CLEI97. ©CLEI. 1997.
  37. Camilo Rueda and Frank D. Valencia. Improving Forward Checking with Delayed Evaluation. CLEI97. ©CLEI. 1997.

Journals

  1. L. Pino, A. Aristizabal, F. Bonchi, F. Valencia. Weak CCP Bisimilarity with Strong Procedures.  Science of Computer Programming. ©Elsevier. 2014
  2. C. Olarte, C. Rueda, F. Valenci. Models of Emerging Trends of Concurrent Constraint Programming.  Constraints 18(4): 535-578. ©Elsevier. 2013
  3. Frank D. Valencia. Decidability of  Infinite-State Timed CCP Processes and First-Order LTL.  Theor. Comput. Sci. 330(3): 577-607. ©Elsevier. 2005
  4. Mogens Nielsen, Catuscia Palamidessi and  Frank D. Valencia. Temporal Concurrent Constraint Programming: Denotation, Logic and Applications.  Nord. J. Comput. 9(1): 145-188. ©NJC. 2002.
  5. Juan F. Diaz, Camilo Rueda, Frank D. Valencia et al. Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language. Constraints 6(1): 21-52. ©Kluwer Academic Publishers. 
  6. Juan F. Diaz, Camilo Rueda and Frank D. Valencia. The Pi+ Calculus:  A Calculus for Concurrent Processes with Constraints. In Special Issue of Best Papers at  CLEI97, CLEI Electronic Journal, 1(2), 1999.

Book Chapters

  1. Mogens Nielsen and Frank D. Valencia. Lectures Notes on Timed CCP. Lectures on Concurrency and Petri Nets 2003: 702-741. ©Springer-Verlag. 2004.
  2. Camilo Rueda and Frank D. Valencia.  On validity in modelization of musical problems by CCP. Soft Comput. 8(9): 641-648. ©Springer-Verlag. 2004.
  3. Mogens Nielsen and Frank D. Valencia. Temporal Concurrent Constraint Programming: Applications and Behavior. Formal and Natural Computing 2002: 298-324. ©Springer-Verlag. 2002.

Thesis

Informal Proceedings.

  1. Stefan Dantchev and Frank D. Valencia. On Infinite CSP's. Third International CP'05 Workshop on Modelling and Reformulating CSP's. 2005.
  2. Pablo Giambiagi, Gerardo Schneider and Frank D.  Valencia.A Note on Scope and Infinite Behaviour in CCS-like Calculi. NWPT'2003. Turku, Finland, October 29-31, 2003.
  3. Frank D. Valencia. On the Decidability of Timed Concurrent Constraint Programming. 10th International Workshop on  Expressiveness in Concurrency (EXPRESS'03). Sep. 2003.
  4. Mogens Nielsen and Frank D. Valencia. Temporal Concurrent Constraint Programming: A Framework for Discrete-Timed Systems, Vol 15 n.  4. 2002 of the Association for Logic Programming (ALP)  Newsletter.
  5. Camilo Rueda and Frank D. Valencia. Formalizing Timed Musical Processes with a Temporal Concurrent Constraint Programming Calculus. Musical Constraints Workshop CP2001.Cyprus, Dec., 2001.
  6. Mogens Nielsen, Catuscia Palamidessi and Frank D. Valencia. A Calculus for Temporal Concurrent Constraint Programming. 8th International Workshop on  Expressiveness in Concurrency (EXPRESS'01). 2001.
  7. J.F. Diaz, C. Rueda and  Frank D. Valencia et al. PiCO: A Calculus of Concurrent Constraint Objects for Musical Applications. ECAI'98 International Workshop on Constraint Techniques for Artistic Applications. England., Aug., 1998.

Technical Reports

  1. P. Giambiagi, G. Schneider and F.D. Valencia. On the expressiveness of CCS-like calculi. Technical Report No. 2004-002 Department of Information Technology, Uppsala University. 2004.
  2. Mogens Nielsen, Catuscia Palamidessi and Frank D. Valencia. On the Expressive Power of Temporal Concurrent Constraint Programming Languages. BRICS Technical Report RS-02-22. 2002.
  3. Mogens Nielsen and Frank D. Valencia. Temporal Concurrent Constraint Programming: Applications and Behavior. BRICS Technical Report RS-01-48. 2001.
  4. Catuscia Palamidessi and Frank D. Valencia. A Temporal Concurrent Constraint Programming Calculus. BRICS Technical  Report RS-01-20. Jun., 2001.
  5. Frank D. Valencia. Reactive Constraint Programming. BRICS Progress Report. 2000.

Some Talk's Slides

Research Proposals

Nedstat Basic - Free web site statistics Personal homepage website counter