卜部 夏木
ウラベ ナツキ (NATSUKI URABE)
更新日: 2024/12/29
基本情報
- 所属
- 国立情報学研究所 アーキテクチャ科学研究系 特任研究員
- 学位
-
博士（情報理工学）(2019年3月 東京大学)
- 連絡先
- urabenatsuki
nii.ac.jp - ORCID iD
https://orcid.org/0000-0002-1554-6618- J-GLOBAL ID
- 202101006520066332
- researchmap会員ID
- R000028666
- 外部リンク
研究キーワード
5経歴
2-
2021年6月 - 現在
-
2019年5月 - 2021年5月
学歴
3-
2016年4月 - 2019年3月
-
2014年4月 - 2016年3月
-
2010年4月 - 2014年3月
論文
20-
Coalgebraic Methods in Computer Science 44-64 2024年7月26日
-
IEEE Transactions on Automatic Control 67(12) 6896-6903 2022年
-
CoRR abs/2203.13247 2022年
-
NASA Formal Methods - 14th International Symposium(NFM) 470-488 2022年
-
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 40(9) 1934-1946 2021年9月 査読有り筆頭著者
-
ACM Transactions on Programming Languages and Systems 43(2) 1-46 2021年7月 査読有り
-
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(9) 1934-1946 2021年
-
ACM Trans. Program. Lang. Syst. 43(2) 5-46 2021年
-
Tools and Algorithms for the Construction and Analysis of Systems 135-153 2019年 査読有り
-
Coalgebraic Methods in Computer Science 214-234 2018年 査読有り筆頭著者
-
Automated Technology for Verification and Analysis 476-493 2018年 査読有り
-
Log. Methods Comput. Sci. 14(3) 2018年 査読有り
-
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2017年6月 査読有り筆頭著者
-
Information and Computation 252 110-137 2017年2月 査読有り筆頭著者
-
Log. Methods Comput. Sci. 13(3) 2017年 査読有り筆頭著者
-
Coalgebraic Trace Semantics for Buechi and Parity Automata 24-15 2016年 査読有り筆頭著者
-
Coalgebraic Infinite Traces and Kleisli Simulations 320-335 2015年 査読有り筆頭著者
-
CONCUR 2014 – Concurrency Theory 451-466 2014年 査読有り筆頭著者
講演・口頭発表等
7-
CALCO 2021 2021年9月2日
-
CMCS 2018 2018年4月14日
-
LICS 2017 2017年6月21日
-
CONCUR 2016 2016年8月25日
-
CALCO 2015 2015年6月26日
-
CONCUR 2014 2014年8月19日
-
理論計算機科学と圏論ワークショップ 2014年3月18日
共同研究・競争的資金等の研究課題
1-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 特別研究員奨励費 2016年4月 - 2019年3月