Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2023/03/01 Vol. E106-DNo. 3pp. 309-318 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science — Foundations of Computer Science Supporting the Information Society —) Category: Keyword: weighted multiple context-free grammar, weight, formal power series, expressive power, closure property,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2019/10/01 Vol. E102-DNo. 10pp. 1952-1965 Type of Manuscript: PAPER Category: Software System Keyword: quantitative information flow, hybrid monitor, dynamic leakage,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2018/06/01 Vol. E101-DNo. 6pp. 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,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2018/06/01 Vol. E101-DNo. 6pp. 1467-1478 Type of Manuscript: Special Section PAPER (Special Section on Formal Approaches) Category: Formal Approaches Keyword: XML, compression, tree grammars, update,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2016/06/01 Vol. E99-DNo. 6pp. 1410-1419 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Formal Methods Keyword: tree transducers, query rewriting, query preservation,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2016/03/01 Vol. E99-DNo. 3pp. 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,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2015/03/01 Vol. E98-DNo. 3pp. 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,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2013/06/01 Vol. E96-DNo. 6pp. 1268-1277 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Static Analysis Keyword: inference attack, security, static analysis, XML database,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2012/05/01 Vol. E95-DNo. 5pp. 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,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2009/05/01 Vol. E92-DNo. 5pp. 1022-1032 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Security Keyword: XML database, inference attack, security, verification,
Publication: IEICE TRANSACTIONS on Electronics Publication Date: 1998/10/25 Vol. E81-CNo. 10pp. 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, YBa2Cu3Ox,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1993/11/25 Vol. E76-ANo. 11pp. 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,