THIES HOLGER
ティース ホルガー (THIES HOLGER)
更新日: 01/31
基本情報
- 所属
- 京都大学 大学院人間・環境学研究科 特定講師
- 学位
-
博士(2018年8月 東京大学)
- J-GLOBAL ID
- 201901005618652421
- researchmap会員ID
- B000365899
- 外部リンク
研究分野
1経歴
5-
2021年4月 - 現在
-
2019年5月 - 2021年4月
-
2018年9月 - 2019年4月
-
2018年4月 - 2018年8月
-
2015年4月 - 2015年8月
学歴
4-
2015年9月 - 2018年8月
-
2013年4月 - 2015年3月
-
2009年10月 - 2013年3月
-
2008年10月 - 2011年9月
論文
16-
CoRR abs/2202.00891 2022年
-
NASA Formal Methods - 14th International Symposium(NFM) 771-789 2022年
-
Logic, Language, Information, and Computation - 27th International Workshop(WoLLIC) 252-268 2021年
-
Computer Algebra in Scientific Computing - 23rd International Workshop(CASC) 370-390 2021年
-
Log. Methods Comput. Sci. 17(2) 2021年
-
CoRR abs/2005.01624 56-16 2020年
-
40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science(FSTTCS) 50-18 2020年
-
Leibniz International Proceedings in Informatics, LIPIcs 170 56-16 2020年
-
CoRR abs/1904.13203 28-21 2019年
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11436 LNCS(21) 337-358 2019年 査読有り
-
Leibniz International Proceedings in Informatics, LIPIcs 141 28-21 2019年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10944 LNCS 223-236 2018年 査読有り
-
Leibniz International Proceedings in Informatics, LIPIcs 117 30-17 2018年 査読有り
-
CCA 2016 - 13th International Conference on Computability and Complexity in Analysis - Proceedings 49-52 2016年
-
CCA 2014 - 11th International Conference on Computability and Complexity in Analysis, Proceedings 31-33 2014年
共同研究・競争的資金等の研究課題
1-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2018年4月 - 2020年3月