| |
| 2007 | ||
|---|---|---|
| 2 | EE | Renê Rodrigues Veloso, Autran Macedo: Balancing Quality and Performance of Task Distribution in Workflow Based on Resource Aptitude. International Conference on Computational Science (3) 2007: 281-288 |
| 1999 | ||
| 1 | EE | Sérgio Vale Aguiar Campos, Berthier A. Ribeiro-Neto, Autran Macedo, Luciano Bertini: Formal verification and analysis of multimedia systems. ACM Multimedia (1) 1999: 419-430 |
| 1 | Luciano Bertini | [1] |
| 2 | Sérgio Vale Aguiar Campos | [1] |
| 3 | Berthier A. Ribeiro-Neto | [1] |
| 4 | Renê Rodrigues Veloso | [2] |