Toshinori TAKAI


Facilitating Use of Assurance Cases in Industries by Workshops with an Agent-Based Method
Yutaka MATSUNO Toshinori TAKAI Shuichiro YAMAMOTO 
Publication:   
Publication Date: 2020/06/01
Vol. E103-D  No. 6  pp. 1297-1308
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
assurance casesGSN (goal structuring notation)workshop
 Summary | Full Text:PDF(2.1MB)

Layered Transducing Term Rewriting System and Its Recognizability Preserving Property
Toshinori TAKAI Hiroyuki SEKI Youhei FUJINAKA Yuichi KAJI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/02/01
Vol. E86-D  No. 2  pp. 285-295
Type of Manuscript:  Special Section PAPER (Special Issue on Selected Papers from LA Symposium)
Category: Term Rewriting Systems
Keyword: 
term rewriting systemtree automatonrecognizabilityrecognizability preserving propertylayered transducing TRS
 Summary | Full Text:PDF(322.6KB)

Termination Property of Inverse Finite Path Overlapping Term Rewriting System is Decidable
Toshinori TAKAI Yuichi KAJI Hiroyuki SEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2002/03/01
Vol. E85-D  No. 3  pp. 487-496
Type of Manuscript:  PAPER
Category: Theory/Models of Computation
Keyword: 
term rewriting systemterminationtree automaton
 Summary | Full Text:PDF(496KB)