高井利憲 (Toshinori Takai) - マイポータル - researchmap

基本情報

所属: 独立行政法人産業技術総合研究所産学官連携推進部門関西産学官連携センター組込みシステム技術連携研究体

J-GLOBAL ID: 200901085030416957
researchmap会員ID: 5000102322

外部リンク: http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=T25467370

MISC

14

時相論理の充足可能性判定器のための論理式生成法

電子情報通信学会論文誌 D-I J89-D(4) 642-650 2006年
ACTAS: A system design for associative and commutative tree automata theory

Hitoshi Ohsaki, Toshinori Takai

Electronic Notes in Theoretical Computer Science 124(1) 97-111 2005年3月2日
時相論理の充足可能性判定器のための性能評価法

算譜科学研究速報 2005年
Precondisions of properties described in CTL for statementsmanipulating pointers

算譜科学研究速報 2005年
Reasoning about Term Rewriting in Kleene Categories with Converse

産業技術総合研究所算譜科学グループ速報 2004年
ACTAS: A System Design for Associative and Commutative Tree Automata Theory

AIST Programming Science Group Techical Report 2004年
ACTAS: Associative and Commutative Tree Automata Simulator

産業技術総合研究所算譜科学グループ速報 2004年
A Verification Technique Using Term Rewriting Systems and Abstract Interpretation

産業技術総合研究所算譜科学グループ速報 2004年
Layered transducing term rewriting system and its recognizability preserving property

T Takai, H Seki, Y Fujinaka, Y Kaji

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E86D(2) 285-295 2003年2月
抽象化を用いた検証ツールの調査

産業技術総合研究所算譜科学グループ研究速報 2003年
暗号通信手順の安全性自動検証技術に関する研究成果報告書

AIST PROGTAMMING SCIENCE GROUP TECHNICAL REPORT 2003年
A tree automata theory for unification modulo equational rewriting

AIST Programming Science Group Techical Report 2(6) 2002年
Decidability and closure properties of equational tree languages

AIST Programming Science Group Technical Report 2002年
Termination property of inverse finite path overlapping term rewriting system

電子情報通信学会英文誌D E85D(3) 487-496 2002年