Camilo Rueda

Identifiers

• name variant Camilo Rueda 0.60 · backfill

Papers (4)

1. A Concurrent Constraint Programming Interpretation of Access Permissions cs.LO · 2018 · author #3
2. NTCCRT: A concurrent constraint framework for real-time interaction (extended version) cs.LO · 2015 · author #2
3. Gelisp: A Library to Represent Musical CSPs and Search Strategies cs.AI · 2015 · author #2
4. A Machine-Checked Proof for a Translation of Event-B Machines to JML cs.SE · 2013 · author #2

Mentions

• 1309.2339 #2 · backfill · confidence 0.70 Camilo Rueda

Frequent Coauthors

• Carlos Ag\'on 2 shared papers
• G\'erard Assayag 2 shared papers
• Mauricio Toro 2 shared papers
• Carlos Olarte 1 shared papers
• Elaine Pimentel 1 shared papers
• N\'estor Cata\~no 1 shared papers
• Tim Wahls 1 shared papers