| |
| 2009 | ||
|---|---|---|
| 5 | EE | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: A Kleene Theorem for Polynomial Coalgebras. FOSSACS 2009: 122-136 |
| 2008 | ||
| 4 | EE | Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva: Calculating Invariants as Coreflexive Bisimulations. AMAST 2008: 83-99 |
| 3 | EE | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Coalgebraic Logic and Synthesis of Mealy Machines. FoSSaCS 2008: 231-245 |
| 2007 | ||
| 2 | EE | Alexandra Silva, Jan J. M. M. Rutten: Behavioural Differential Equations and Coinduction for Binary Trees. WoLLIC 2007: 322-336 |
| 2006 | ||
| 1 | EE | Alexandra Silva, Joost Visser: Strong types for relational databases. Haskell 2006: 25-36 |
| 1 | Luís Soares Barbosa | [4] |
| 2 | Marcello M. Bonsangue | [3] [5] |
| 3 | José Nuno Oliveira | [4] |
| 4 | Jan J. M. M. Rutten | [2] [3] [5] |
| 5 | Joost Visser | [1] |