Declarative specification of data-intensive Web sites
Proceedings of the 2nd conference on Domain-specific languages
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
On verifying consistency of XML specifications
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On XML integrity constraints in the presence of DTDs
Journal of the ACM (JACM)
Decidable Containment of Recursive Queries
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Declarative specification of Web sites with S
The VLDB Journal — The International Journal on Very Large Data Bases
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Verifying web site properties using computational logic
Information modeling for internet applications
Proceedings of the 2003 ACM symposium on Document engineering
Data integration under integrity constraints
Information Systems - Special issue: The 14th international conference on advanced information systems engineering (CAiSE*02)
Practical semantic analysis of web sites and documents
Proceedings of the 13th international conference on World Wide Web
Decidable containment of recursive queries
Theoretical Computer Science - Database theory
Containment of nested XML queries
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Towards the automated verification of semi-structured documents
Data & Knowledge Engineering
Hi-index | 0.00 |