 | 2009 |
|---|
| 8 |       | Filippo Bonchi,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Alexandra Silva:
Deriving Syntax and Axioms for Quantitative Regular Behaviours.
CONCUR 2009: 146-162 |
| 7 | | Marcello M. Bonsangue,
Dave Clarke,
Alexandra Silva:
Automata for Context-Dependent Connectors.
COORDINATION 2009: 184-203 |
| 6 | | Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Alexandra Silva:
A Kleene Theorem for Polynomial Coalgebras.
FOSSACS 2009: 122-136 |
| 5 | | Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Alexandra Silva:
An Algebra for Kripke Polynomial Coalgebras.
LICS 2009: 49-58 |
| 2008 |
|---|
| 4 | | Luís Soares Barbosa,
José Nuno Oliveira,
Alexandra Silva:
Calculating Invariants as Coreflexive Bisimulations.
AMAST 2008: 83-99 |
| 3 | | Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Alexandra Silva:
Coalgebraic Logic and Synthesis of Mealy Machines.
FoSSaCS 2008: 231-245 |
| 2007 |
|---|
| 2 | | Alexandra Silva,
Jan J. M. M. Rutten:
Behavioural Differential Equations and Coinduction for Binary Trees.
WoLLIC 2007: 322-336 |
| 2006 |
|---|
| 1 | | Alexandra Silva,
Joost Visser:
Strong types for relational databases.
Haskell 2006: 25-36 |
