Kazuhiro Inaba

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity Acta Informatica	2021-04-28	Paper
Polynomial-time inverse computation for accumulative functions with multiple data traversals Higher-Order and Symbolic Computation	2017-05-15	Paper
Bidirectionalizing graph transformations Proceedings of the 15th ACM SIGPLAN international conference on Functional programming	2015-03-05	Paper
Unsafe order-2 tree languages are context-sensitive Lecture Notes in Computer Science	2014-04-16	Paper
Marker-directed optimization of UnCAL graph transformations Logic-Based Program Synthesis and Transformation	2013-03-13	Paper
The Complexity of Tree Transducer Output Languages	2012-10-19	Paper
Compact representation for answer sets of \(n\)-ary regular queries Theoretical Computer Science	2010-10-07	Paper
Compact Representation for Answer Sets of n-ary Regular Queries Implementation and Application of Automata	2009-07-09	Paper
Multi-Return Macro Tree Transducers Implementation and Applications of Automata	2009-02-12	Paper

Research outcomes over time

This page was built for person: Kazuhiro Inaba