C. A. S. Santos
List of publications from the
| 2006 |
|---|
| 8 | EE | Camilo Telles Pereira Santos,
Celso Alberto Saibel Santos:
5Cam: a multicamera system for panoramic capture of videos.
WebMedia 2006: 99-107 |
| 2005 |
|---|
| 7 | EE | Celso Alberto Saibel Santos,
Almerindo N. Rehem Neto,
Tatiana A. Tavares:
Using CANNOT Framework to Generate Video-Based Applications.
LA-WEB 2005: 191-194 |
| 2000 |
|---|
| 6 | | Paulo Nazareno Maia Sampaio,
C. A. S. Santos,
Jean-Pierre Courtiat:
About the Semantic Verification of SMIL Documents.
IEEE International Conference on Multimedia and Expo (III) 2000: 1675-1678 |
| 5 | EE | Jean-Pierre Courtiat,
C. A. S. Santos,
Christophe Lohr,
B. Outtaj:
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique.
Computer Communications 23(12): 1104-1123 (2000) |
| 1999 |
|---|
| 4 | EE | C. A. S. Santos,
Paulo Nazareno Maia Sampaio,
Jean-Pierre Courtiat:
Revisiting the concept of hypermedia document consistency.
ACM Multimedia (2) 1999: 183-186 |
| 1998 |
|---|
| 3 | EE | C. A. S. Santos,
Luiz Fernando Gomes Soares,
Guido L. De Souza,
Jean-Pierre Courtiat:
Design Methodology and Formal Validation of Hypermedia Documents.
ACM Multimedia 1998: 39-48 |
| 2 | | C. A. S. Santos,
Jean-Pierre Courtiat,
Pierre de Saqui-Sannes:
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents.
FORTE 1998: 163-178 |
| 1 | EE | C. A. S. Santos,
Jean-Pierre Courtiat,
Luiz Fernando Gomes Soares,
Guido L. De Souza:
Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model.
MMM 1998: 21- |
