小川 瑞史
オガワ ミズヒト (Mizuhito Ogawa)
更新日: 2023/09/28
基本情報
- 所属
- 北陸先端科学技術大学院大学 情報科学研究科 教授
- 学位
-
博士（理学）(東京大学)
- J-GLOBAL ID
- 200901076088523819
- researchmap会員ID
- 5000087739
- 外部リンク
研究分野
1経歴
2学歴
2-
- 1985年
-
- 1983年
論文
57-
Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, Proceedings 235-247 2019年 査読有り
-
10th International Conference on Knowledge and Systems Engineering, KSE 2018, Ho Chi Minh City, Vietnam, November 1-3, 2018 382-388 2018年 査読有り
-
ACM International Conference Proceeding Series 2017年12月5日 査読有り
-
FORMAL METHODS IN SYSTEM DESIGN 51(3) 462-499 2017年12月 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10483 189-206 2017年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10610 281-297 2017年 査読有り
-
Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings 189-206 2017年 査読有り
-
FOUNDATIONS AND PRACTICE OF SECURITY (FPS 2015) 9482 229-247 2016年 査読有り
-
FOUNDATIONS AND PRACTICE OF SECURITY (FPS 2015) 9482 229-247 2016年 査読有り
-
2016 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE) 22-29 2016年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9706 228-237 2016年 査読有り
-
NII Shonan Meet. Rep. 2015 2015年 査読有り
-
CoRR abs/1509.04699 2015年 査読有り
-
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2015) 9268 189-205 2015年 査読有り
-
24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany 423-440 2015年 査読有り
-
AUTOMATED DEDUCTION - CADE-25 9195 111-126 2015年 査読有り
-
Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, affiliated with the 26th International Conference on Computer Aided Verification (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2 67 2014年 査読有り
-
FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014 8475 336-352 2014年 査読有り
-
Proceedings - Asia-Pacific Software Engineering Conference, APSEC (2) 159-164 2013年 査読有り
MISC
1-
情報処理学会論文誌プログラミング（PRO） 44(13) 25-37 2003年10月15日
講演・口頭発表等
2-
12th International Workshop on Satisfiability Modulo Theories (SMT2014) 2014年7月18日 招待有り
-
IWC 2014 (3rd International Workshop on Confluence 2014年7月13日
社会貢献活動
2