| 2006 | ||
|---|---|---|
| 5 | EE | Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo: Program transformation by solving recurrences. PEPM 2006: 121-129 |
| 2005 | ||
| 4 | EE | Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca: Calculating Polynomial Runtime Properties. APLAS 2005: 230-246 |
| 2003 | ||
| 3 | EE | Hugh Anderson, Siau-Cheng Khoo: Affine-Based Size-Change Termination. APLAS 2003: 122-140 |
| 2002 | ||
| 2 | EE | Hugh Anderson: Abstract Interpretation with a Theorem Prover. ICFEM 2002: 411-422 |
| 2001 | ||
| 1 | EE | Hugh Anderson: Formalization and 'Literate' Programming. APSEC 2001: 39-44 |
| 1 | Stefan Andrei | [4] [5] |
| 2 | Siau-Cheng Khoo | [3] [4] [5] |
| 3 | Beatrice Luca | [4] [5] |