高井 利憲
Toshinori Takai
更新日: 2022/09/18
基本情報
- 所属
- 奈良先端科学技術大学院大学 先端科学技術研究科
- J-GLOBAL ID
- 201801013068224635
- researchmap会員ID
- B000347735
議論学とシステムアシュアランスを研究しています。
研究キーワード
5研究分野
1学歴
4-
1998年3月 - 2001年4月
-
1996年4月 - 1998年3月
-
1994年4月 - 1996年3月
-
1989年4月 - 1994年3月
論文
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年
講演・口頭発表等
13-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2018年10月26日
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2016年3月3日
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2015年3月5日
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2015年3月5日
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2015年1月26日
-
電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 2012年11月15日
-
日本ソフトウェア科学会大会講演論文集 2005年
-
日本ソフトウェア科学会大会講演論文集 2003年
-
数理解析研究所講究録 2001年5月
-
電子情報通信学会技術研究報告. COMP, コンピュテーション 1998年10月30日
-
電子情報通信学会技術研究報告. COMP, コンピュテーション 1998年10月30日
-
電子情報通信学会技術研究報告. COMP, コンピュテーション 1997年4月25日