Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2026/07/01 Vol. E109-DNo. 7pp. 1164-1167 Type of Manuscript: LETTER Category: Fundamentals of Information Systems Keyword: multi-player game, secure equilibrium, winning region,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2025/03/01 Vol. E108-DNo. 3pp. 239-251 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science —Mathematical Foundations of Computer Science and Its Applications—) Category: Keyword: graph game, Muller objective, O-indistinguishable strategy, objective-indistinguishability equilibrium,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2023/03/01 Vol. E106-DNo. 3pp. 294-302 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science — Foundations of Computer Science Supporting the Information Society —) Category: Keyword: LTL with the freeze quantifier, µ-calculus, register automaton, equivalent transformation, model checking,
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: 2023/03/01 Vol. E106-DNo. 3pp. 284-293 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science — Foundations of Computer Science Supporting the Information Society —) Category: Keyword: register automaton, register context-free grammar, register tree automaton, pumping lemma,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2022/09/01 Vol. E105-DNo. 9pp. 1620-1623 Type of Manuscript: LETTER Category: Fundamentals of Information Systems Keyword: model checking, register pushdown system, regular valuation,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2021/03/01 Vol. E104-DNo. 3pp. 370-380 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science — New Trends of Theory of Computation and Algorithm —) Category: Keyword: register pushdown system, register automaton, regularity preservation property,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2020/03/01 Vol. E103-DNo. 3pp. 540-548 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science — Frontiers of Theory of Computation and Algorithm —) Category: Keyword: register context-free grammar, register type, computational complexity, data word, data language,
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 Communications Publication Date: 2019/08/01 Vol. E102-BNo. 8pp. 1390-1400 Type of Manuscript: Special Section PAPER (Special Section on Technology Trials and Proof-of-Concept Activities for 5G and Beyond) Category: Keyword: 5G, cell densification, distributed antenna system, coordinated multi-user MIMO, field experiment,
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: 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: 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 Communications Publication Date: 2014/02/01 Vol. E97-BNo. 2pp. 350-358 Type of Manuscript: Special Section PAPER (Special Section on Technologies for Effective Utilization of Spectrum White Space) Category: Keyword: TV white space, protected area, interference contour, minimum separation distance, regulation,
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: 2010/05/01 Vol. E93-DNo. 5pp. 941-941 Type of Manuscript: FOREWORD Category: Keyword:
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2005/01/01 Vol. E88-BNo. 1pp. 47-57 Type of Manuscript: Special Section PAPER (Special Section on Multi-carrier Signal Processing Techniques for Next Generation Mobile Communications--Part 1) Category: MIMO Keyword: MIMO, OFCDM, QR decomposition, maximum likelihood detection, turbo coding,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2002/03/01 Vol. E85-DNo. 3pp. 487-496 Type of Manuscript: PAPER Category: Theory/Models of Computation Keyword: term rewriting system, termination, tree automaton,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1999/01/25 Vol. E82-DNo. 1pp. 89-98 Type of Manuscript: Special Section PAPER (Special Issue on New Generation Database Technologies) Category: Theoretical Aspects Keyword: object-oriented database, authorization, security flaw, term rewriting system,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1996/06/25 Vol. E79-DNo. 6pp. 820-828 Type of Manuscript: PAPER Category: Automata,Languages and Theory of Computing Keyword: natural language specification, algebraic specification, data type,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1994/10/25 Vol. E77-DNo. 10pp. 1077-1085 Type of Manuscript: PAPER Category: Automata, Languages and Theory of Computing Keyword: computational learning theory, recognizable series, automata, formal language,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1992/07/25 Vol. E75-DNo. 4pp. 509-516 Type of Manuscript: PAPER Category: Automaton, Language and Theory of Computing Keyword: lexical-functional grammars, formal language, automata, generative capacity,