IEICE Trans

Kenji HASHIMOTO

Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation - Bao Trung CHU Kenji HASHIMOTO Hiroyuki SEKI
Publication: Publication Date: 2019/10/01 Vol. E102-D No. 10 pp. 1952-1965 Type of Manuscript: PAPER Category: Software System Keyword: quantitative information flow, hybrid monitor, dynamic leakage,
	Summary \| Full Text:PDF(456.4KB)

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 counting, recognizable series, algebraic series, context-free grammar,
	Summary \| Full Text:PDF(435.1KB)

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: XML, compression, tree grammars, update,
	Summary \| Full Text:PDF(605.3KB)

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 transducers, query rewriting, query 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: determinacy, subsumption, tree 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: XML, tree automata, tree transducers, run-based queries, query 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 attack, security, static analysis, XML 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 database, inference attack, security, verification, functional 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 database, inference attack, security, verification,
	Summary \| Full Text:PDF(814.8KB)

Electrical Properties of YBa₂Cu₃O_x 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 epitaxy, surface resistance, resonator, intermodulation, YBa₂Cu₃O_x,
	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 synthesis, sinusoidal model, non-linear differential equation, pitch control,
	Summary \| Full Text:PDF(652.3KB)