Regular expression pattern matching for XML
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Extended path expressions of XML
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Generic validation of structural content with parametric modules
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Towards a Foundation for XML Document Databases
EC-WEB '00 Proceedings of the First International Conference on Electronic Commerce and Web Technologies
Data Model for Document Transformation and Assembly
PODDP '98 Proceedings of the 4th International Workshop on Principles of Digital Document Processing
Context and Caterpillars and Structured Documents
PODDP '98 Proceedings of the 4th International Workshop on Principles of Digital Document Processing
Modelling Semi-structured Documents with Hedges for Deduction and Induction
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
Typechecking for Semistructured Data
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
XDuce: A statically typed XML processing language
ACM Transactions on Internet Technology (TOIT)
XML with data values: typechecking revisited
Journal of Computer and System Sciences - Special issu on PODS 2001
Regular expression pattern matching for XML
Journal of Functional Programming
A data model for XML databases
Journal of Intelligent Information Systems - Special issue on web intelligence
On modular transformation of structural content
Proceedings of the 2004 ACM symposium on Document engineering
Parsing with Probabilistic Strictly Locally Testable Tree Languages
IEEE Transactions on Pattern Analysis and Machine Intelligence
Taxonomy of XML schema languages using formal language theory
ACM Transactions on Internet Technology (TOIT)
Boolean operations and inclusion test for attribute-element constraints
Theoretical Computer Science
Smoothing and compression with stochastic k-testable tree languages
Pattern Recognition
Boolean operations for attribute-element constraints
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Towards practical typechecking for macro tree transducers
DBPL'07 Proceedings of the 11th international conference on Database programming languages
A bit-parallel tree matching algorithm for patterns with horizontal VLDC's
SPIRE'05 Proceedings of the 12th international conference on String Processing and Information Retrieval
Non-backtracking top-down algorithm for checking tree automata containment
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Structure-conforming XML document transformation based on graph homomorphism
Proceedings of the 2012 ACM symposium on Document engineering
Hi-index | 0.00 |