SCEAS

The SCEAS System

Title:
Author:

C. A. S. Santos: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

C. A. S. Santos, Luiz Fernando G. Soares, Guido L. De Souza, Jean-Pierre Courtiat
Design Methodology and Formal Validation of Hypermedia Documents. [Citation Graph (1, 0)][DBLP]
ACM Multimedia, 1998, pp:39-48 [Conf]
C. A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. [Citation Graph (0, 0)][DBLP]
FORTE, 1998, pp:163-178 [Conf]
Paulo Nazareno Maia Sampaio, C. A. S. Santos, Jean-Pierre Courtiat
About the Semantic Verification of SMIL Documents. [Citation Graph (0, 0)][DBLP]
IEEE International Conference on Multimedia and Expo (III), 2000, pp:1675-1678 [Conf]
C. A. S. Santos, Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat
Revisiting the concept of hypermedia document consistency. [Citation Graph (0, 0)][DBLP]
ACM Multimedia (2), 1999, pp:183-186 [Conf]
C. A. S. Santos, Jean-Pierre Courtiat, Luiz Fernando G. Soares, Guido L. De Souza
Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model. [Citation Graph (0, 0)][DBLP]
MMM, 1998, pp:21-0 [Conf]
Jean-Pierre Courtiat, C. A. S. Santos, Christophe Lohr, B. Outtaj
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. [Citation Graph (0, 0)][DBLP]
Computer Communications, 2000, v:23, n:12, pp:1104-1123 [Journal]

Search in 0.001secs, Finished in 0.001secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP