| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 3 |      | Hugo Daniel Macedo, José Nuno Oliveira: Towards Linear Algebras of Components. FACS 2010: 300-303 |
| 2 | | Hugo Daniel Macedo, José Nuno Oliveira: Matrices as Arrows! MPC 2010: 271-287 |
| 2008 | ||
| 1 | | Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald: Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. FM 2008: 181-197 |
| 1 | John S. Fitzgerald | [1] |
| 2 | Peter Gorm Larsen | [1] |
| 3 | José Nuno Oliveira | [2] [3] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page