Yoshiaki Takata

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 20

Top Topics

Biological Vision

Regular Tree Languages

Computational Model

Syntactic Pattern Recognition

Top Venues

IEICE Trans. Inf. Syst.

Theor. Comput. Sci.

Publications

Yoshiaki Takata, Akira Onishi, Ryoma Senda, Hiroyuki Seki
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata. CoRR (2024)
So Koide, Yoshiaki Takata, Hiroyuki Seki
Non-Cooperative Rational Synthesis Problem on Stochastic Games for Positional Strategies. IEICE Trans. Inf. Syst. 107 (3) (2024)
Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
A game-theoretic approach to indistinguishability of winning objectives as user privacy. CoRR (2023)
Yoshiaki Takata, Akira Onishi, Ryoma Senda, Hiroyuki Seki
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata. IEICE Trans. Inf. Syst. 106 (3) (2023)
Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy. ICTAC (2023)
Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
Pumping Lemmas for Languages Expressed by Computational Models with Registers. IEICE Trans. Inf. Syst. 106 (3) (2023)
Yoshiaki Takata, Ryoma Senda, Hiroyuki Seki
Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking. CoRR (2022)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Complexity results on register context-free grammars and related formalisms. Theor. Comput. Sci. 923 (2022)
Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
Active Learning for Deterministic Bottom-Up Nominal Tree Automata. ICTAC (2022)
Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
Active Learning for Deterministic Bottom-up Nominal Tree Automata. CoRR (2022)
Yoshiaki Takata, Ryoma Senda, Hiroyuki Seki
Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking. IEICE Trans. Inf. Syst. (9) (2022)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
LTL Model Checking for Register Pushdown Systems. IEICE Trans. Inf. Syst. (12) (2021)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Forward Regularity Preservation Property of Register Pushdown Systems. IEICE Trans. Inf. Syst. (3) (2021)
Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata
Optimal run problem for weighted register automata. Theor. Comput. Sci. 850 (2021)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Reactive Synthesis from Visibly Register Pushdown Automata. ICTAC (2021)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Generalized Register Context-Free Grammars. IEICE Trans. Inf. Syst. (3) (2020)
Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata
Optimal Run Problem for Weighted Register Automata. ICTAC (2019)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Generalized Register Context-Free Grammars. LATA (2019)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Complexity Results on Register Pushdown Automata. CoRR (2019)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Complexity Results on Register Context-Free Grammars and Register Tree Automata. ICTAC (2018)
Pablo Lamilla Álvarez, Yoshiaki Takata
A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System. IEICE Trans. Inf. Syst. (5) (2014)
Pablo Lamilla Álvarez, Yoshiaki Takata
An HBAC-based approximation for IBAC programs. SIN (2013)
Yoshiaki Takata, Hiroyuki Seki
Automatic Generation of History-Based Access Control from Information Flow Specification. ATVA (2010)
Yoshiaki Takata, Hiroyuki Seki
Comparison of the Expressive Power of Language-Based Access Control Models. IEICE Trans. Inf. Syst. (5) (2009)
Yoshiaki Takata, Hiroyuki Seki
Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Negotiation. IEICE Trans. Inf. Syst. (2) (2009)
Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata, Hiroyuki Seki
New Certificate Chain Discovery Methods for Trust Establishment in Ad Hoc Networks and Their Evaluation. Inf. Media Technol. 3 (1) (2008)
Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata, Hiroyuki Seki
Certificate Chain Discovery in Web of Trust for Ad Hoc Networks. AINA Workshops (2) (2007)
Isao Yagi, Yoshiaki Takata, Hiroyuki Seki
A Static Analysis using Tree Automata for XML Access Control. Inf. Media Technol. 2 (2) (2007)
Isao Yagi, Yoshiaki Takata, Hiroyuki Seki
A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power. IEICE Trans. Inf. Syst. (5) (2007)
Jing Wang, Yoshiaki Takata, Hiroyuki Seki
HBAC: A Model for History-Based Access Control and Its Model Checking. ESORICS (2006)
Jun Noda, Mie Takahashi, Itaru Hosomi, Hisashi Mouri, Yoshiaki Takata, Hiroyuki Seki
Integrating presence inference into trust management for ubiquitous systems. SACMAT (2006)
Isao Yagi, Yoshiaki Takata, Hiroyuki Seki
A Static Analysis Using Tree Automata for XML Access Control. ATVA (2005)
Shigeta Kuninobu, Yoshiaki Takata, Naoya Nitta, Hiroyuki Seki
Policy Controlled System and Its Model Checking. IEICE Trans. Inf. Syst. (7) (2005)
Yoshiaki Takata, Takeshi Nakamura, Hiroyuki Seki
Accessibility Verification of WWW Documents by an Automatic Guideline Verification Tool. HICSS (2004)
Yoshiaki Takata, Takeshi Nakamura, Hiroyuki Seki
Automatic Accessibility Guideline Validation of XML Documents Based on a Specification Language. HCI (4) (2003)
Susumu Kiyamura, Yoshiaki Takata, Hiroyuki Seki
Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition. PPAM (2003)
Shigeta Kuninobu, Yoshiaki Takata, Daigo Taguchi, Masayuki Nakae, Hiroyuki Seki
A Specification Language for Distributed Policy Control. ICICS (2002)
Reishi Yokomori, Fumiaki Ohata, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue
An information-leak analysis system based on program slicing. Inf. Softw. Technol. 44 (15) (2002)
Mizuho Ikeda, Yoshiaki Takata, Hiroyuki Seki
Formal Specification and Implemenation Using a Task Flow Diagram in Interactive System Design. ISAS-SCI (1) (2001)
Reishi Yokomori, Fumiaki Ohata, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue
Analysis and Implementation Method of Program to Detect Inappropriate Information Leak. APAQS (2001)
Naoya Nitta, Hiroyuki Seki, Yoshiaki Takata
Security verification of programs with stack inspection. SACMAT (2001)
Naoya Nitta, Yoshiaki Takata, Hiroyuki Seki
An efficient security verification method for programs with stack inspection. CCS (2001)
Shigeta Kuninobu, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue
An Efficient Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes. ICICS (2001)
Yoshiaki Takata, Kokoro Nakagawa, Hiroyuki Seki
Flexible Category Structure for Supporting WWW Retrieval. ER (Workshops) (2000)