BibSLEIGH — Frank_D

Travelled to:

1 × Brazil
1 × France
1 × Germany
1 × India
1 × United Kingdom
3 × Italy
3 × Spain
5 × USA

Collaborated with:

C.Rueda C.Olarte ∅ C.Palamidessi L.F.Pino F.Bonchi J.Aranda S.S.Dantchev A.Aristizábal J.A.Pérez C.Versari P.Giambiagi G.Schneider M.Nielsen S.Haar S.Perchy V.A.Saraswat B.Victor H.A.López J.A.Pérez G.Assayag M.Toro

Talks about:

concurr (9) constraint (8) program (8) express (5) secur (4) time (4) comput (3) bisimilar (2) behavior (2) univers (2)

Person: Frank D. Valencia

DBLP: Valencia:Frank_D=

Contributed to:

2015

2013

2012

2011

2009

2008

2006

2005

2004

2003

2002

Wrote 17 papers:

PPDP-2015-HaarPRV #algebra #concurrent #logic: An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic (SH, SP, CR, FDV), pp. 161–172.
PPDP-2013-PinoBV #concurrent #confluence #constraints #equivalence #performance #programming: Efficient computation of program equivalence for confluent concurrent constraint programming (LFP, FB, FDV), pp. 263–274.
SAC-2012-AristizabalBVP #refinement #similarity: Partition refinement for bisimilarity in CCP (AA, FB, FDV, LFP), pp. 88–93.
FoSSaCS-2011-AristizabalBPPV #concurrent #constraints #programming #similarity: Deriving Labels and Bisimilarity for Concurrent Constraint Programming (AA, FB, CP, LFP, FDV), pp. 138–152.
FoSSaCS-2009-ArandaVV #on the #power of #replication #strict: On the Expressive Power of Restriction and Priorities in CCS with Replication (JA, FDV, CV), pp. 242–256.
ICLP-2009-ArandaAOPRTV #declarative #overview: An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems (JA, GA, CO, JAP, CR, MT, FDV), pp. 509–513.
ICLP-2008-ArandaPRV #behaviour #concurrent #constraints #probability #programming: Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming (JA, JAP, CR, FDV), pp. 682–686.
PPDP-2008-OlarteV #monad #security: The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security (CO, FDV), pp. 8–19.
SAC-2008-OlarteV #concurrent #constraints #security #semantics: Universal concurrent constraint programing: symbolic semantics and applications to security (CO, FDV), pp. 145–150.
ICLP-2006-LopezPPRV #concurrent #constraints #declarative #framework #programming #security: A Declarative Framework for Security: Secure Concurrent Constraint Programming (HAL, CP, JAP, CR, FDV), pp. 449–450.
LICS-2006-PalamidessiSVV #on the #persistent #π-calculus: On the Expressiveness of Linearity vs Persistence in the Asychronous π-Calculus (CP, VAS, FDV, BV), pp. 59–68.
SAC-2005-DantchevV #infinity #on the: On the computational limits of infinite satisfaction (SSD, FDV), pp. 393–397.
FoSSaCS-2004-GiambiagiSV #behaviour #calculus #infinity #on the #process: On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi (PG, GS, FDV), pp. 226–240.
ICLP-2004-RuedaV #deduction: Non-viability Deductions in Arc-Consistency Computation (CR, FDV), pp. 343–355.
ICLP-2003-Valencia #concurrent #constraints: Concurrency, Time, and Constraints (FDV), pp. 72–101.
ICLP-2003-Valencia03a #concurrent #constraints #decidability #ltl #programming: Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL (FDV), pp. 422–437.
PPDP-2002-NielsenPV #concurrent #constraints #on the #power of #programming language: On the expressive power of temporal concurrent constraint programming languages (MN, CP, FDV), pp. 156–167.