| 2007 | ||
|---|---|---|
| 3 | EE | Carlos Gonzalia, Annabelle McIver: Automating Refinement Checking in Probabilistic System Design. ICFEM 2007: 212-231 |
| 2003 | ||
| 2 | EE | Carlos Gonzalia: Towards a Formalisation of Relational Database Theory in Constructive Type Theory. RelMiCS 2003: 137-148 |
| 2000 | ||
| 1 | Carlos Gonzalia: The Allegory of E-Relations in Constructive Type Theory. RelMiCS 2000: 85-94 | |
| 1 | Annabelle McIver | [3] |