和﨑 克己
ワサキ カツミ (KATSUMI WASAKI)
更新日: 02/01
基本情報
- 所属
- 信州大学 工学部 電子情報システム工学科 教授
- 学位
-
博士(工学)(1997年3月 信州大学)
- J-GLOBAL ID
- 200901050538279345
- researchmap会員ID
- 1000192799
- 外部リンク
フォーマルアプローチ,特に並列分散システムのモデル化と解析、非同期回路の数学モデルと形式検証、モデル検査系向けハードウェアコンパイラに関する研究を行っています。ペトリネット検証ツール HiPS の紹介デモ動画はこちらからどうぞ!
研究キーワード
12経歴
6-
2009年12月 - 現在
-
2007年4月 - 2009年11月
-
2003年4月 - 2007年3月
-
2001年10月 - 2003年3月
-
1998年4月 - 2001年9月
-
1994年10月 - 1998年3月
受賞
9-
2023年9月
-
2023年8月
-
2016年9月
-
2012年10月
-
2012年10月
論文
155-
Proceedings of the 23rd International Conference on Control, Automation and Systems (ICCAS 2023) 1671-1676 2023年10月 査読有り
-
IFIP World Conference on Computers in Education (WCCE 2022), Advances in Information and Communication Technology 685 21-26 2023年10月 査読有り
-
The Fourteenth Japan-Finland Joint Symposium on Optics in Engineering (OIE2013) Abstracts 43-44 2023年9月 査読有り
-
Proceedings of the 2023 International Conference on Networking and Network Applications (NaNA2023) 558-567 2023年8月 査読有り
-
Proceedings of the 12th International Conference on Data Science, Technology and Applications (DATA 2023) 319-326 2023年7月 査読有り
-
Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing 1445 199-207 2023年5月 査読有り
-
Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing 1445 379-386 2023年5月 査読有り
-
Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing 1445 413-420 2023年5月 査読有り
-
Applied Sciences 13(9) 5335-5335 2023年4月24日
-
Proceedings of the 9th International Conference of Asian Society for Precision Engineering and Nanotechnology (ASPEN2022) (OR-11-0125) 528-530 2022年11月 査読有り
-
Applied Optics 61(30) 8926-8935 2022年10月20日 査読有り
-
519-520 2022年7月8日
-
Proceedings of 19th International Conference on Information Technology-New Generations (ITNG 2022), Advances in Intelligent Systems and Computing 1421 387-392 2022年6月 査読有り
-
Proceedings of 19th International Conference on Information Technology-New Generations (ITNG 2022), Advances in Intelligent Systems and Computing 1421 393-398 2022年6月 査読有り
-
Proceedings of The 33rd Annual Conference of Society for Information Technology & Teacher Education (SITE 2022) 219-223 2022年4月 査読有り
-
第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022 2022年3月 査読有り
-
CoRR abs/2210.02336 2022年
-
ICCE-TW 547-548 2022年 査読有り
-
Lecture Notes in Computer Science abs/2210.02336 141-146 2022年 査読有り
-
International Journal of Science and Engineering Investigations(IJSEI) 10(116) 45-50 2021年9月 査読有り
MISC
162-
第84回全国大会講演論文集 2022(1) 425-426 2022年2月17日
-
第84回全国大会講演論文集 2022(1) 423-424 2022年2月17日
-
第82回全国大会講演論文集 2020(1) 289-290 2020年2月20日
-
第82回全国大会講演論文集 2020(1) 287-288 2020年2月20日
-
第82回全国大会講演論文集 2020(1) 195-196 2020年2月20日
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 119(153) 77-82 2019年7月30日
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 118(295) 37-42 2018年11月12日
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 118(295) 43-47 2018年11月12日
-
情報処理学会研究報告(Web) 2017(UBI-55) 2017年
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 116(315) 31-35 2016年11月24日
-
第78回全国大会講演論文集 2016(1) 455-456 2016年3月10日
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115(420) 63-68 2016年1月25日
-
情報科学技術フォーラム講演論文集 15th 2016年
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115(187) 51-55 2015年8月24日
-
情報科学技術フォーラム講演論文集 14(1) 135-138 2015年8月24日
-
情報科学技術フォーラム講演論文集 14(1) 139-142 2015年8月24日
-
情報科学技術フォーラム講演論文集 14(1) 173-176 2015年8月24日
-
電子情報通信学会技術研究報告 115(187(ITS2015 7-10)) 2015年
-
情報科学技術フォーラム講演論文集 13(1) 155-158 2014年8月19日
-
情報科学技術フォーラム講演論文集 13(1) 159-162 2014年8月19日
共同研究・競争的資金等の研究課題
11-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2019年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2010年4月 - 2014年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2011年 - 2013年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2008年 - 2010年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2007年 - 2010年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2003年 - 2006年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2002年 - 2005年
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2004年 - 2004年
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2001年 - 2002年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2000年 - 2001年