Author: Sérgio Vale Aguiar Campos

Publications

Co-authors

Marcelo Maia

1

Ítalo S. Cunha

1

Jussara M. Almeida

1

Productive Colleagues

Ítalo S. Cunha

2

Jussara M. Almeida

6

Berthier A. Ribeiro-Neto

33

Publications

Campos, Sérgio Vale Aguiar, Ribeiro-Neto, Berthier A., Macedo, Autran, Bertini, Luciano (1999): Formal verification and analysis of multimedia systems. In: ACM Multimedia 1999 , 1999, . pp. 419-430. https://doi.acm.org/10.1145/319463.319678

Rocha, Marcus M., Maia, Marcelo, Cunha, Ítalo S., Almeida, Jussara M., Campos, Sérgio Vale Aguiar (2005): Scalable media streaming to interactive users. In: Zhang, Hongjiang, Chua, Tat-Seng, Steinmetz, Ralf, Kankanhalli, Mohan S., Wilcox, Lynn (eds.) Proceedings of the 13th ACM International Conference on Multimedia November 6-11, 2005, Singapore. pp. 966-975. https://doi.acm.org/10.1145/1101149.1101351