Yoshiaki Takata

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