BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Czech Republic
1 × France
2 × USA
3 × Italy
Collaborated with:
F.D.Valencia J.A.Pérez N.Cataño H.A.López C.Olarte J.Aranda S.Hanvey M.Cano S.Haar S.Perchy E.Pimentel T.Wahls V.Rivera D.Yu C.Palamidessi J.A.Pérez G.Assayag M.Toro
Talks about:
concurr (6) constraint (4) program (3) declar (3) formal (2) secur (2) time (2) non (2) interpret (1) framework (1)

Person: Camilo Rueda

DBLP DBLP: Rueda:Camilo

Contributed to:

PPDP 20152015
PPDP 20122012
SAC 20122012
TOOLS Europe 20122012
ICLP 20092009
ICLP 20082008
ICLP 20062006
ICLP 20042004

Wrote 10 papers:

PPDP-2015-CanoRLP #concurrent #declarative
Declarative interpretations of session-based concurrency (MC, CR, HAL, JAP), pp. 67–78.
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-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.
SAC-2012-CatanoWRRY #ml #specification
Translating B machines to JML specifications (NC, TW, CR, VR, DY), pp. 1271–1277.
TOOLS-EUROPE-2012-CatanoHR #formal method #named #network #policy #privacy #social
Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies (NC, SH, CR), pp. 9–16.
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.
ICLP-2008-PerezR #concurrent #constraints #nondeterminism #programming
Non-determinism and Probabilities in Timed Concurrent Constraint Programming (JAP, CR), pp. 677–681.
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.
ICLP-2004-RuedaV #deduction
Non-viability Deductions in Arc-Consistency Computation (CR, FDV), pp. 343–355.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.