Research papers |
-
Authors: So Koide, Yoshiaki Takata, Hiroyuki Seki
Title: Non-Cooperative Rational Synthesis Problem for Probabilistic Strategies
Journal: IEICE Transactions on Information and Systems, Vol. E108-D, No. 7, The Institute of Electronics, Information and Communination Engineers
Year: 2025
-
Authors: Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
Title: Strategies and Equilibria on Indistinguishability of Winning Objectives and Related Decision Problems
Journal: IEICE Transactions on Information and Systems, Vol. E108-D, No. 3, The Institute of Electronics, Information and Communination Engineers
Year: 2025
-
Authors: Yoshiaki Takata, Akira Onishi, Ryoma Senda, Hiroyuki Seki
Title: A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata
Journal: IEICE Transactions on Information and Systems, Vol. E107-D, No. 12, pp. 1529-1532, The Institute of Electronics, Information and Communination Engineers
Year: 2024
-
Authors: So Koide, Yoshiaki Takata, Hiroyuki Seki
Title: Non-Cooperative Rational Synthesis Problem on Stochastic Games for Positional Strategies
Journal: IEICE Transactions on Information and Systems, Vol. E107-D, No. 3, pp. 301-311, The Institute of the Electronics, Information and Communication Engineers
Year: 2024
-
Authors: Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
Title: Pumping Lemmas for Languages Expressed by Computational Models with Registers
Journal: IEICE Transactions on Information and Systems, Vol. E106-D, No. 3, pp. 284-293
Year: 2023
-
Authors: Yoshiaki Takata, Akira Onishi, Ryoma Senda, Hiroyuki Seki
Title: A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata
Journal: IEICE Transactions on Information and Systems, Vol. E106-D, No. 3, pp. 294-302
Year: 2023
-
Authors: Yoshiaki Takata, Ryoma Senda, Hiroyuki Seki
Title: Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking
Journal: IEICE Transactions on Information and Systems, Vol. E105-D, No. 9, pp. 1620-1623, The Institute of Electronics, Information and Communication Engineers
Year: 2022
-
Authors: Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Title: Complexity Results on Register Context-Free Grammars and Related Formalisms
Journal: Theoretical Computer Science, Vol. 923, pp. 99-125, Elsevier
Year: 2022
-
Authors: Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Title: LTL Model Checking for Register Pushdown Systems
Journal: IEICE Transactions on Information and Systems, Vol. E104-D, No. 12, pp. 2131-2144, The Institute of Electronics, Information and Communication Engineers
Year: 2021
-
Authors: Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Title: Forward Regularity Preservation Property of Register Pushdown Systems
Journal: IEICE Transactions on Information and Systems, Vol. E104-D, No. 3, pp. 370-380, The Institute of Electronics, Information and Communication Engineers
Year: 2021
-
Authors: Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata
Title: Optimal Run Problem for Weighted Register Automata
Journal: Theoretical Computer Science, Vol. 850, pp. 185-201, Elsevier
Year: 2021
-
Authors: Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Title: Generalized Register Context-Free Grammars
Journal: IEICE Transactions on Information and Systems, Vol. E103-D, No. 3, pp. 540-548, The Institute of Electronics, Information and Communication Engineers
Year: 2020
-
Authors: LAMILLA ALVAREZ Pablo, TAKATA Yoshiaki
Title: A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System
Journal: IEICE Transactions on Information and Systems, Vol. E97-D, No. 5, pp. 1149-1159
Year: 2014
-
Authors: Yoshiaki Takata, Hiroyuki Seki
Title: Automatic Generation of History-Based Access Control from Information Flow Specification
Journal: 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), Lecture Notes in Computer Science 6252, pp. 259-275
Year: 2010
-
Authors: Yoshiaki Takata, Hiroyuki Seki
Title: Comparison of the Expressive Power of Language-based Access Control Models
Journal: IEICE Transactions on Information and Systems, Vol. E92-D, No. 5, pp. 1033-1036
Year: 2009
-
Authors: Yoshiaki Takata, Hiroyuki Seki
Title: Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Negotiation
Journal: IEICE Transactions on Information and Systems, Vol. E92-D, No. 2, pp. 200-210
Year: 2009
-
Authors: Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata, Hiroyuki Seki
Title: New Certificate Chain Discovery Methods for Trust Establishment in Ad Hoc Networks and Their Evaluation
Journal: 情報処理学会論文誌, Vol. 49, No. 1, pp. 362-374
Year: 2008
-
Authors: Isao Yagi, Yoshiaki Takata, Hiroyuki Seki
Title: A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power
Journal: IEICE Transactions on Information and Systems, Vol. E90-D, No. 5, pp. 799-807
Year: 2007
-
Authors: Isao Yagi, Yoshiaki Takata, Hiroyuki Seki
Title: A Static Analysis using Tree Automata for XML Access Control
Journal: コンピュータソフトウェア, Vol. 23, No. 3, pp. 51-65
Year: 2006
-
Authors: Jing Wang, Yoshiaki Takata, Hiroyuki Seki
Title: HBAC: A Model for History-based Access Control and Its Model Checking
Journal: 11th European Symposium On Research In Computer Security (ESORICS 2006), Lecture Notes in Computer Science 4189, pp. 263-278
Year: 2006
|