Takata Yoshiaki

タカタヨシアキ | Takata Yoshiaki

Affiliation and department：
Job title： Professor
Homepage URL (1)： https://www.kochi-tech.ac.jp/profile/ja/takata-yoshiaki.html

Research field (1)： Information theory

Research keywords (2)： formal verification , software verification

Research theme for competitive and other funds (9)：

2009 - 2010 Formal models for verifying multi-threaded recursive programs
2008 - 2010 Automatic Analys is and Generation Methods for Language-based Access Control
2007 - 2008 A tree automata-based efficient access control method for XML databases
2006 - 2007 STUDY ONAUTOMATIC VERIFICATION OF HIGHLY RELIABLE SOFTWARE BYINFINITE STATE MODEL CHECKING
2005 - 2006 XML文書に対するガイドライン適合性自動検証法の開発

Show all

Papers (20)：

Yoshiaki Takata, Akira Onishi, Ryoma Senda, Hiroyuki Seki. A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata. IEICE Transactions on Information & Systems. 2023. 106. 3. 294-302
Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki. Pumping Lemmas for Languages Expressed by Computational Models with Registers. IEICE Transactions on Information & Systems. 2023. 106. 3. 284-293
Yoshiaki Takata, Ryoma Senda, Hiroyuki Seki. Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking. IEICE Transactions on Information & Systems. 2022. 105-D. 9. 1620-1623
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki. Complexity results on register context-free grammars and related formalisms. Theoretical Computer Science. 2022. 923. 99-125
MATSUMOTO Kotaro, TAKATA Yoshiaki, UGAWA Tomoharu. An Overhead Evaluation for Persistent Java Objects Using Non-Volatile Memory. Computer Software. 2021. 38. 2. 2_14-2_19

ｍore...

MISC (8)：

ｍore...

Professional career (1)：

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page