| |
| 2008 | ||
|---|---|---|
| 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 | Marcello M. Bonsangue | [3] |
| 2 | Jan J. M. M. Rutten | [2] [3] |
| 3 | Joost Visser | [1] |