Travelled to:1 × Belgium
1 × Brazil
1 × Spain
1 × USA
2 × Portugal
Collaborated with:F.D.Valencia C.Palamidessi E.Pimentel M.Falaschi F.Valencia C.Rueda V.Nigam N.Cataño J.Aranda G.Assayag J.A.Pérez M.Toro
Talks about:constraint (6) concurr (6) program (5) univers (3) time (3) declar (2) secur (2) interpret (1) framework (1) overview (1)
Person: Carlos Olarte
DBLP: Olarte:Carlos
Contributed to:
2014
2012200920092008
20082007Wrote 8 papers:
- ICLP-J-2014-PimentelON #concurrent #constraints #programming #proving
- A Proof Theoretic Study of Soft Concurrent Constraint Programming (EP, CO, VN), pp. 649–663.
- PPDP-2012-OlartePRC #approach #automation #concurrent #constraints #linear #verification
- A linear concurrent constraint approach for the automatic verification of access permissions (CO, EP, CR, NC), pp. 207–216.
- 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.
- PPDP-2009-FalaschiOP #abstract interpretation #concurrent #constraints #framework #source code
- A framework for abstract interpretation of timed concurrent constraint programs (MF, CO, CP), pp. 207–218.
- 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-2007-FalaschiOPV #concurrent #constraints #declarative #source code
- Declarative Diagnosis of Temporal Concurrent Constraint Programs (MF, CO, CP, FV), pp. 271–285.
- ICLP-2007-OlartePV #concurrent #constraints #programming
- Universal Timed Concurrent Constraint Programming (CO, CP, FV), pp. 464–465.