| 2024 | ICTAC | Verification with Common Knowledge of Rationality for Graph Games. | Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki |
| 2023 | ICTAC | A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy. | Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki |
| 2022 | ICTAC | Active Learning for Deterministic Bottom-Up Nominal Tree Automata. | Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki |
| 2021 | ICTAC | Reactive Synthesis from Visibly Register Pushdown Automata. | Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki |
| 2019 | ICTAC | Optimal Run Problem for Weighted Register Automata. | Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata |
| 2019 | LATA | Generalized Register Context-Free Grammars. | Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki |
| 2018 | ICTAC | Complexity Results on Register Context-Free Grammars and Register Tree Automata. | Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki |
| 2013 | SIN | An HBAC-based approximation for IBAC programs. | Pablo Lamilla lvarez, Yoshiaki Takata |
| 2010 | ATVA | Automatic Generation of History-Based Access Control from Information Flow Specification. | Yoshiaki Takata, Hiroyuki Seki |
| 2007 | AINA | Certificate Chain Discovery in Web of Trust for Ad Hoc Networks. | Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata, Hiroyuki Seki |
| 2006 | ESORICS | HBAC: A Model for History-Based Access Control and Its Model Checking. | Jing Wang, Yoshiaki Takata, Hiroyuki Seki |
| 2006 | SACMAT | Integrating presence inference into trust management for ubiquitous systems. | Jun Noda, Mie Takahashi, Itaru Hosomi, Hisashi Mouri, Yoshiaki Takata, Hiroyuki Seki |
| 2005 | ATVA | A Static Analysis Using Tree Automata for XML Access Control. | Isao Yagi, Yoshiaki Takata, Hiroyuki Seki |
| 2003 | HCI | Automatic Accessibility Guideline Validation of XML Documents Based on a Specification Language. | Yoshiaki Takata, Takeshi Nakamura, Hiroyuki Seki |
| 2003 | PPAM | Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition. | Susumu Kiyamura, Yoshiaki Takata, Hiroyuki Seki |
| 2002 | ICICS | A Specification Language for Distributed Policy Control. | Shigeta Kuninobu, Yoshiaki Takata, Daigo Taguchi, Masayuki Nakae, Hiroyuki Seki |
| 2001 | CCS | An efficient security verification method for programs with stack inspection. | Naoya Nitta, Yoshiaki Takata, Hiroyuki Seki |
| 2001 | ICICS | An Efficient Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes. | Shigeta Kuninobu, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue |
| 2001 | SACMAT | Security verification of programs with stack inspection. | Naoya Nitta, Hiroyuki Seki, Yoshiaki Takata |
| 2000 | ER | Flexible Category Structure for Supporting WWW Retrieval. | Yoshiaki Takata, Kokoro Nakagawa, Hiroyuki Seki |