| |
| 2003 | ||
|---|---|---|
| 3 | EE | Michel Wermelinger, Georgios Koutsoukos, Hugo Lourenço, Richard Avillez, João Gouveia, Luis Filipe Andrade, José Luiz Fiadeiro: Enhancing Dependability Through Flexible Adaptation to Changing Requirements. WADS 2003: 3-24 |
| 2001 | ||
| 2 | EE | José Félix Costa, Hugo Lourenço: Canonical Institutions of Behaviour. WADT 2001: 71-84 |
| 1999 | ||
| 1 | Hugo Lourenço, Amílcar Sernadas: An Institution of Hybrid Systems. WADT 1999: 219-236 | |
| 1 | Luis Filipe Andrade | [3] |
| 2 | Richard Avillez | [3] |
| 3 | José Félix Costa | [2] |
| 4 | José Luiz Fiadeiro | [3] |
| 5 | João Gouveia | [3] |
| 6 | Georgios Koutsoukos | [3] |
| 7 | Amílcar Sernadas | [1] |
| 8 | Michel Wermelinger | [3] |