Attribute grammars: definitions, systems and bibliography
Attribute grammars: definitions, systems and bibliography
Invited talk: automata theory for database theoreticians
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Theoretical Computer Science
Algebras for querying text regions: expressive power and optimization
Journal of Computer and System Sciences - Fourteenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Acta Cybernetica
Typechecking for XML transformers
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
DTD inference for views of XML data
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Expressive and efficient pattern languages for tree-structured data (extended abstract)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Regular expression pattern matching for XML
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Web Odyssey: from Codd to XML
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Extended path expressions of XML
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Expressiveness of structured document query languages based on attribute grammars
Journal of the ACM (JACM)
ACM SIGMOD Record
Monadic datalog and the expressive power of languages for web information extraction
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Validating streaming XML documents
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Containment and equivalence for an XPath fragment
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the power of walking for querying tree-structured data
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Query automata over finite trees
Theoretical Computer Science
A formal model for an expressive fragment of XSLT
Information Systems - Databases: Creation, management and utilization
Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa
Locating Matches of Tree Patterns in Forests
Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science
Typechecking for Semistructured Data
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Automata- and logic-based pattern languages for tree-structured data
Proceedings of the 2nd international conference on Semantics in databases
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Typechecking Top-Down Uniform Unranked Tree Transducers
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Logic as a Query Language: From Frege to XML
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
XPath Containment in the Presence of Disjunction, DTDs, and Variables
ICDT '03 Proceedings of the 9th International Conference on Database Theory
A Web odyssey: from codd to XML
ACM SIGMOD Record
A structural adviser for the XML document authoring
Proceedings of the 2003 ACM symposium on Document engineering
ACM SIGMOD Record
Model checking XML manipulating software
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Logic-based web information extraction
ACM SIGMOD Record
Supervised learning for the legacy document conversion
Proceedings of the 2004 ACM symposium on Document engineering
Frontiers of tractability for typechecking simple XML transformations
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Expressiveness of XSDs: from practice to theory, there and back again
WWW '05 Proceedings of the 14th international conference on World Wide Web
XML type checking with macro tree transducers
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Closure properties and decision problems of dag automata
Information Processing Letters
On the complexity of typechecking top-down XML transformations
Theoretical Computer Science - Database theory
Taxonomy of XML schema languages using formal language theory
ACM Transactions on Internet Technology (TOIT)
Type inference for unique pattern matching
ACM Transactions on Programming Languages and Systems (TOPLAS)
Expressiveness and complexity of XML Schema
ACM Transactions on Database Systems (TODS)
Comparing XML path expressions
Proceedings of the 2006 ACM symposium on Document engineering
TDX: a high-performance table-driven XML parser
Proceedings of the 44th annual Southeast regional conference
A system for the static analysis of XPath
ACM Transactions on Information Systems (TOIS)
The complexity of tree automata and XPath on grammar-compressed trees
Theoretical Computer Science - Implementation and application of automata
Journal of Computer and System Sciences
Frontiers of tractability for typechecking simple XML transformations
Journal of Computer and System Sciences
On the minimization of XML Schemas and tree automata for unranked trees
Journal of Computer and System Sciences
Tight lower bounds for query processing on streaming and external memory data
Theoretical Computer Science
Efficient Revalidation of XML Documents
IEEE Transactions on Knowledge and Data Engineering
Deciding XPath containment with MSO
Data & Knowledge Engineering
Static analysis of XML processing with data values
ACM SIGMOD Record
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Simple off the shelf abstractions for XML schema
ACM SIGMOD Record
HCH for checking containment of XPath fragment
Journal of Computer Science and Technology
XPath evaluation in linear time
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Typechecking top-down XML transformations: Fixed input or output schemas
Information and Computation
ACM Computing Surveys (CSUR)
XPath evaluation in linear time with polynomial combined complexity
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Random Generation of Deterministic Tree (Walking) Automata
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
A probabilistic learning method for XML annotation of documents
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Closure properties and decision problems of dag automata
Information Processing Letters
Tree pattern mining with tree automata constraints
Information Systems
Weighted tree-walking automata
Acta Cybernetica
Visibly pushdown transducers for approximate validation of streaming XML
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Parametric random generation of deterministic tree automata
Theoretical Computer Science
ACM Transactions on Database Systems (TODS)
Solutions in XML data exchange
Proceedings of the 14th International Conference on Database Theory
Rewrite rules for search database systems
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XPath evaluation in linear time
Journal of the ACM (JACM)
Exact XML type checking in polynomial time
ICDT'07 Proceedings of the 11th international conference on Database Theory
Automata for positive core XPath queries on compressed documents
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Hidden conditioned homomorphism for XPath fragment containment
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
A static analysis using tree automata for XML access control
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Model checking for database theoreticians
ICDT'05 Proceedings of the 10th international conference on Database Theory
A logic-based approach to cache answerability for XPath queries
XSym'06 Proceedings of the 4th international conference on Database and XML Technologies
State complexity of the concatenation of regular tree languages
Theoretical Computer Science
Tree automata and XPath on compressed trees
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Foundations of XML based on logic and automata: a snapshot
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Regular expressions for data words
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Validating XML documents in the streaming model with external memory
Proceedings of the 15th International Conference on Database Theory
Deciding twig-definability of node selecting tree automata
Proceedings of the 15th International Conference on Database Theory
Algorithms for regular languages that use algebra
ACM SIGMOD Record
Regular path queries on large graphs
SSDBM'12 Proceedings of the 24th international conference on Scientific and Statistical Database Management
Transformations Between Different Models of Unranked Bottom-Up Tree Automata
Fundamenta Informaticae
State complexity of projection and quotient on unranked trees
DCFS'12 Proceedings of the 14th international conference on Descriptional Complexity of Formal Systems
Between tree patterns and conjunctive queries: is there tractability beyond acyclicity?
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
Lower bounds for the size of deterministic unranked tree automata
Theoretical Computer Science
Proceedings of the 16th International Conference on Database Theory
Validating XML documents in the streaming model with external memory
ACM Transactions on Database Systems (TODS) - Invited papers issue
XML tree structure compression using RePair
Information Systems
Hi-index | 0.00 |