Kenji HASHIMOTO


Direct Update of XML Documents with Data Values Compressed by Tree Grammars
Kenji HASHIMOTO Ryunosuke TAKAYAMA Hiroyuki SEKI 
Publication:   
Publication Date: 2018/06/01
Vol. E101-D  No. 6  pp. 1467-1478
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approaches)
Category: Formal Approaches
Keyword: 
XMLcompressiontree grammarsupdate
 Summary | Full Text:PDF(605.3KB)

Counting Algorithms for Recognizable and Algebraic Series
Bao Trung CHU Kenji HASHIMOTO Hiroyuki SEKI 
Publication:   
Publication Date: 2018/06/01
Vol. E101-D  No. 6  pp. 1479-1490
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approaches)
Category: Formal Approaches
Keyword: 
string countingrecognizable seriesalgebraic seriescontext-free grammar
 Summary | Full Text:PDF(435.1KB)

Query Rewriting for Nondeterministic Tree Transducers
Kazuki MIYAHARA Kenji HASHIMOTO Hiroyuki SEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/06/01
Vol. E99-D  No. 6  pp. 1410-1419
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal Methods
Keyword: 
tree transducersquery rewritingquery preservation
 Summary | Full Text:PDF(432.9KB)

Determinacy and Subsumption of Single-Valued Bottom-Up Tree Transducers
Kenji HASHIMOTO Ryuta SAWADA Yasunori ISHIHARA Hiroyuki SEKI Toru FUJIWARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/03/01
Vol. E99-D  No. 3  pp. 575-587
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science---Developments of the Theory of Algorithms and Computation---)
Category: 
Keyword: 
determinacysubsumptiontree transducer
 Summary | Full Text:PDF(558.8KB)

Node Query Preservation for Deterministic Linear Top-Down Tree Transducers
Kazuki MIYAHARA Kenji HASHIMOTO Hiroyuki SEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/03/01
Vol. E98-D  No. 3  pp. 512-523
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science---New Spirits in Theory of Computation and Algorithm---)
Category: 
Keyword: 
XMLtree automatatree transducersrun-based queriesquery preservation
 Summary | Full Text:PDF(565.6KB)

Deciding Schema k-Secrecy for XML Databases
Chittaphone PHONHARATH Kenji HASHIMOTO Hiroyuki SEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/06/01
Vol. E96-D  No. 6  pp. 1268-1277
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Static Analysis
Keyword: 
inference attacksecuritystatic analysisXML database
 Summary | Full Text:PDF(656KB)

Decidability of the Security against Inference Attacks Using a Functional Dependency on XML Databases
Kenji HASHIMOTO Hiroto KAWAI Yasunori ISHIHARA Toru FUJIWARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/05/01
Vol. E95-D  No. 5  pp. 1365-1374
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Database Security
Keyword: 
XML databaseinference attacksecurityverificationfunctional dependency
 Summary | Full Text:PDF(607.9KB)

Verification of the Security against Inference Attacks on XML Databases
Kenji HASHIMOTO Kimihide SAKANO Fumikazu TAKASUKA Yasunori ISHIHARA Toru FUJIWARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/05/01
Vol. E92-D  No. 5  pp. 1022-1032
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Security
Keyword: 
XML databaseinference attacksecurityverification
 Summary | Full Text:PDF(814.8KB)

Electrical Properties of YBa2Cu3Ox Films Grown by Liquid Phase Epitaxy
Sadahiko MIURA Kenji HASHIMOTO Jian-Guo WEN Katumi SUZUKI Tadataka MORISHITA 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 1998/10/25
Vol. E81-C  No. 10  pp. 1549-1556
Type of Manuscript:  INVITED PAPER (Special Issue on Low- and High-Temperature Superconductive Electron Devices and Their Applications)
Category: High-Frequency Properties of Thin Films
Keyword: 
liquid phase epitaxysurface resistanceresonatorintermodulationYBa2Cu3Ox
 Summary | Full Text:PDF(1MB)

High Quality Synthetic Speech Generation Using Synchronized Oscillators
Kenji HASHIMOTO Takemi MOCHIDA Yasuaki SATO Tetsunori KOBAYASHI Katsuhiko SHIRAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/11/25
Vol. E76-A  No. 11  pp. 1949-1956
Type of Manuscript:  Special Section PAPER (Special Section on Speech Synthesis: Current Technologies and Thier Application)
Category: 
Keyword: 
speech synthesissinusoidal modelnon-linear differential equationpitch control
 Summary | Full Text:PDF(652.3KB)