### 6 papers:

- RTA-2012-Kirchner #calculus #logic
- Rho-Calculi for Computation and Logic (Invited Talk) (CK), pp. 2–4.
- VLDB-2010-CaoKRT #named #transaction
- rho-uncertainty: Inference-Proof Transaction Anonymization (JC, PK, CR, KLT), pp. 1033–1044.
- WRLA-J-2004-CirsteaFK07 #calculus #constraints
- A rho-calculus of explicit constraint application (HC, GF, CK), pp. 37–72.
- WRLA-2006-CirsteaHW07 #calculus
- Distributive rho-calculus (HC, CH, BW), pp. 95–111.
- WRLA-2004-CirsteaFK05 #calculus #constraints
- A rho-Calculus of Explicit Constraint Application (HC, GF, CK), pp. 51–67.
- FoSSaCS-2001-CirsteaKL
- The Rho Cube (HC, CK, LL), pp. 168–183.