dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Frank D. Valencia (Selection)

Frank Valencia

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia: Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. PACBB 2011: 321-328
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia: An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. ICLP 2009: 509-513
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia: Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. ICLP 2008: 682-686
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia: Timed Concurrent Constraint Programming for Analysing Biological Systems. Electr. Notes Theor. Comput. Sci. 171(2): 117-137 (2007)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia: A Declarative Framework for Security: Secure Concurrent Constraint Programming. ICLP 2006: 449-450
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCamilo Rueda, Frank D. Valencia: Non-viability Deductions in Arc-Consistency Computation. ICLP 2004: 343-355
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCamilo Rueda, Frank D. Valencia: On validity in modelization of musical problems by CCP. Soft Comput. 8(9): 641-648 (2004)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCamilo Rueda, Gloria Alvarez, Luis Quesada, Gabriel Tamura, Frank D. Valencia, Juan Francisco Díaz, Gérard Assayag: Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language. Constraints 6(1): 21-52 (2001)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Francisco Díaz, Camilo Rueda, Frank D. Valencia: Pi+- Calculus: A Calculus for Concurrent Processes with Constraints. CLEI Electron. J. 1(2): (1998)

Selection of 9 from 42 records - Frank D. Valencia has 40 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page