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. 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,
A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System Pablo LAMILLA ALVAREZYoshiaki TAKATA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2014/05/01 Vol. E97-DNo. 5pp. 1149-1159 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Formal Verification Keyword: weighted pushdown systems, access control, model checking,