One-unambiguous regular languages
Information and Computation
One-unambiguous regular languages
Information and Computation
Storing semistructured data with STORED
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
DTD inference for views of XML data
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The complexity theory companion
The complexity theory companion
Normal form algorithms for extended context-free grammars
Theoretical Computer Science
Index Structures for Path Expressions
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Answering XML Queries on Heterogeneous Data Sources
Proceedings of the 27th International Conference on Very Large Data Bases
Intersection of Regular Languages and Star Hierarchy
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
XDuce: A statically typed XML processing language
ACM Transactions on Internet Technology (TOIT)
A Web odyssey: from codd to XML
ACM SIGMOD Record
Typechecking for XML transformers
Journal of Computer and System Sciences - Special issue on PODS 2000
Reasoning on regular path queries
ACM SIGMOD Record
Containment and equivalence for a fragment of XPath
Journal of the ACM (JACM)
Using Forward Reachability Analysis for Verification of Lossy Channel Systems
Formal Methods in System Design
DTDs versus XML schema: a practical study
Proceedings of the 7th International Workshop on the Web and Databases: colocated with ACM SIGMOD/PODS 2004
Expressiveness of XSDs: from practice to theory, there and back again
WWW '05 Proceedings of the 14th international conference on World Wide Web
On the complexity of typechecking top-down XML transformations
Theoretical Computer Science - Database theory
XML Schema
RELAX NG
Taxonomy of XML schema languages using formal language theory
ACM Transactions on Internet Technology (TOIT)
The expressivity of XPath with transitive closure
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Inference of concise DTDs from XML data
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Expressiveness and complexity of XML Schema
ACM Transactions on Database Systems (TODS)
Journal of Computer and System Sciences
One-unambiguity of regular expressions with numeric occurrence indicators
Information and Computation
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
XPath satisfiability in the presence of DTDs
Journal of the ACM (JACM)
Regular Expressions with Counting: Weak versus Strong Determinism
MFCS '09 Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science 2009
Optimizing Schema Languages for XML: Numerical Constraints and Interleaving
SIAM Journal on Computing
Efficient inclusion for a class of XML types with interleaving and counting
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Hi-index | 0.00 |