高田喜朗

タカタヨシアキ | Takata Yoshiaki

所属機関・部署：
職名：教授
ホームページURL (1件)： https://www.kochi-tech.ac.jp/profile/ja/takata-yoshiaki.html

研究分野 (1件)：情報学基礎論

研究キーワード (2件)：形式的検証 , ソフトウェア検証

競争的資金等の研究課題 (9件)：

全件表示

論文 (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
松本康太郎, 高田喜朗, 鵜川始陽. 不揮発性メモリを用いたJavaオブジェクト永続化のオーバヘッドの調査. コンピュータソフトウェア. 2021. 38. 2. 2_14-2_19

MISC (8件)：

学位 (1件)：

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

高田 喜朗