Containment and equivalence for an XPath fragment
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A formal model for an expressive fragment of XSLT
Information Systems - Databases: Creation, management and utilization
A Semi-monad for Semi-structured Data
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Containment for XPath Fragments under DTD Constraints
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Transformation-by-Example for XML
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Time to Leave the Trees: From Syntactic to Conceptual Querying of XML
EDBT '02 Proceedings of the Worshops XMLDM, MDDE, and YRWS on XML-Based Data Management and Multimedia Engineering-Revised Papers
Composition of XML-Transformations
EC-Web 2001 Proceedings of the Second International Conference on Electronic Commerce and Web Technologies
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
A Formal Model for an Expressive Fragment of XSLT
CL '00 Proceedings of the First International Conference on Computational Logic
Static Consistency Checking for Distributed Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
XPath on left and right sides of rules: toward compact XML tree rewriting through node patterns
Proceedings of the 2003 ACM symposium on Document engineering
Containment and equivalence for a fragment of XPath
Journal of the ACM (JACM)
Compiling XSLT 2.0 into XQuery 1.0
WWW '05 Proceedings of the 14th international conference on World Wide Web
Efficient algorithms for processing XPath queries
ACM Transactions on Database Systems (TODS)
Applying hierarchical and role-based access control to XML documents
SWS '04 Proceedings of the 2004 workshop on Secure web service
Static validation of XSL transformations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient algorithms for processing XPath queries
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Indexing temporal XML documents
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
On to formal semantics for path expression pointcuts
Proceedings of the 2008 ACM symposium on Applied computing
Temporal XML: modeling, indexing, and query processing
The VLDB Journal — The International Journal on Very Large Data Bases
Inferring Static Non-monotone Size-aware Types Through Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Containment between Unions of XPath Queries
DASFAA '09 Proceedings of the 14th International Conference on Database Systems for Advanced Applications
Reasoning about XML update constraints
Journal of Computer and System Sciences
The XML-λ XPath Processor: Benchmarking and Results
XSym '09 Proceedings of the 6th International XML Database Symposium on Database and XML Technologies
Formalizing semantics of XSLT using object-Z
APWeb'03 Proceedings of the 5th Asia-Pacific web conference on Web technologies and applications
Calculating tree navigation with symmetric relational zipper
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Hi-index | 0.00 |