高井 利憲
Toshinori Takai
更新日: 2022/09/18
論文
25
表示件数
-
Computer Safety, Reliability, and Security - SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings 71-78 2018年 査読有り
-
SEC journal 12(3) 16-23 2016年12月
-
2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW) 461-466 2014年 査読有り
-
2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW) 198-203 2014年 査読有り
-
2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW) 192-197 2014年 査読有り
-
2014 IEEE 12TH INTERNATIONAL CONFERENCE ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING (DASC)/2014 IEEE 12TH INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTING (EMBEDDEDCOM)/2014 IEEE 12TH INTERNATIONAL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING (PICOM) 32-+ 2014年 査読有り
-
情報処理 51(10) 1332-1340 2010年10月15日
-
情報処理 51(9) 1204-1214 2010年9月15日
-
情報処理 51(8) 1049-1057 2010年8月15日
-
構成学 3(1) 36-46 2010年
-
Synthesiology English edition 3(1) 64-76 2010年
-
情報処理 49(5) 499-505 2008年5月15日
-
システム/制御/情報 51(9) 393-398 2007年
-
コンピュータソフトウェア = Computer software 23(3) 14-34 2006年7月26日
-
電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems (Japanese edition) 89(4) 642-650 2006年4月1日
-
RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS 4136 402-416 2006年 査読有り
-
コンピュータ ソフトウェア 23(3) 14-34 2006年
-
コンピュータソフトウェア = Computer software 22(1) 2-44 2005年1月26日
-
Electr. Notes Theor. Comput. Sci. 124(1) 97-111 2005年 査読有り
-
コンピュータ ソフトウェア 22(1) 2-44 2005年