MSO definable string transductions and two-way finite-state transducers
ACM Transactions on Computational Logic (TOCL)
A formal model for an expressive fragment of XSLT
Information Systems - Databases: Creation, management and utilization
Bottom-up and top-down tree series transformations
Journal of Automata, Languages and Combinatorics
Output string languages of compositions of deterministic macro tree transducers
Journal of Computer and System Sciences
An operational and denotational approach to non-context-freeness
Theoretical Computer Science - Algebraic methods in language processing
Characterizing and Deciding MSO-Definability of Macro Tree Transductions
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
The Complexity of Compositions of Deterministic Tree Transducers
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Structured Document Transformations Based on XSL
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Composition of functions with accumulating parameters
Journal of Functional Programming
A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead
Information Processing Letters - Devoted to the rapid publication of short contributions to information processing
XML type checking with macro tree transducers
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Linear deterministic multi bottom-up tree transducers
Theoretical Computer Science
The equivalence problem for deterministic MSO tree transducers is decidable
Information Processing Letters
Finitary Compositions of Two-way Finite-State Transductions
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Compositions of extended top-down tree transducers
Information and Computation
Extended Multi Bottom-Up Tree Transducers
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
Circularity, composition, and decomposition results for pebble macro tree transducers
Journal of Automata, Languages and Combinatorics
Definable transductions and weighted logics for texts
Theoretical Computer Science
A learning algorithm for top-down XML transformations
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Millstream systems: a formal model for linking language modules by interfaces
ATANLP '10 Proceedings of the 2010 Workshop on Applications of Tree Automata in Natural Language Processing
Minimization of deterministic bottom-up tree transducers
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Tree transformations and dependencies
MOL'11 Proceedings of the 12th biennial conference on The mathematics of language
Exact XML type checking in polynomial time
ICDT'07 Proceedings of the 11th international conference on Database Theory
Polynomial-time inverse computation for accumulative functions with multiple data traversals
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
The equivalence problem for deterministic MSO tree transducers is decidable
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Macro tree transformations of linear size increase achieve cost-optimal parallelism
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
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
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Regular Transformations of Infinite Strings
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Survey: Weighted Extended Top-down Tree Transducers Part II—Application in Machine Translation
Fundamenta Informaticae - Non-Classical Models of Automata and Applications II
Finitary Compositions of Two-way Finite-State Transductions
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Second position clitics and monadic second-order transduction
ATANLP '12 Proceedings of the Workshop on Applications of Tree Automata Techniques in Natural Language Processing
Regular Functions and Cost Register Automata
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.02 |