THIES Holger

最終更新日時: 2021/06/30 14:01:07

印刷する

氏名(漢字/フリガナ/アルファベット表記)
THIES Holger/ティース ホルガー/Thies, Holger
所属部署・職名(部局/所属/講座等/職名)
人間・環境学研究科/共生人間学専攻数理科学講座/特定講師
学部兼担
部局 所属 講座等 職名
国際高等教育院
総合人間学部
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
博士(学術) 東京大学
修士(数学) ダルムシュタット工科大学
使用言語
言語名(japanese) 言語名(english) コード
日本語 Japanese jpn
英語 English eng
researchmap URL
https://researchmap.jp/hthies
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
Florian Steinberg 0001, Laurent Théry, Holger Thies Florian Steinberg 0001, Laurent Théry, Holger Thies Florian Steinberg 0001, Laurent Théry, Holger Thies Computable analysis and notions of continuity in Coq. Computable analysis and notions of continuity in Coq. Computable analysis and notions of continuity in Coq. Log. Methods Comput. Sci., 17, 2 Log. Methods Comput. Sci., 17, 2 Log. Methods Comput. Sci., 17, 2 2021 研究論文(学術雑誌) 公開
Michal Konecný, Florian Steinberg 0001, Holger Thies Michal Konecný, Florian Steinberg 0001, Holger Thies Michal Konecný, Florian Steinberg 0001, Holger Thies Continuous and monotone machines. Continuous and monotone machines. Continuous and monotone machines. CoRR, abs/2005.01624 CoRR, abs/2005.01624 CoRR, abs/2005.01624 2020 研究論文(学術雑誌) 公開
Michal Konecný, Florian Steinberg 0001, Holger Thies Michal Konecný, Florian Steinberg 0001, Holger Thies Michal Konecný, Florian Steinberg 0001, Holger Thies Computable Analysis for Verified Exact Real Computation. Computable Analysis for Verified Exact Real Computation. Computable Analysis for Verified Exact Real Computation. , 50-18 , 50-18 , 50-18 2020 研究論文(国際会議プロシーディングス) 公開
Michal Konecný, Florian Steinberg 0001, Holger Thies Michal Konecný, Florian Steinberg 0001, Holger Thies Michal Konecný, Florian Steinberg 0001, Holger Thies Continuous and Monotone Machines. Continuous and Monotone Machines. Continuous and Monotone Machines. Leibniz International Proceedings in Informatics, LIPIcs, 170, 56-16 Leibniz International Proceedings in Informatics, LIPIcs, 170, 56-16 Leibniz International Proceedings in Informatics, LIPIcs, 170, 56-16 2020 研究論文(国際会議プロシーディングス) 公開
Florian Steinberg 0001, Laurent Théry, Holger Thies Florian Steinberg 0001, Laurent Théry, Holger Thies Florian Steinberg 0001, Laurent Théry, Holger Thies Quantitative continuity and computable analysis in Coq. Quantitative continuity and computable analysis in Coq. Quantitative continuity and computable analysis in Coq. CoRR, abs/1904.13203 CoRR, abs/1904.13203 CoRR, abs/1904.13203 2019 研究論文(学術雑誌) 公開
Akitoshi Kawamura, Florian Steinberg 0001, Holger Thies Akitoshi Kawamura, Florian Steinberg 0001, Holger Thies Akitoshi Kawamura, Florian Steinberg 0001, Holger Thies Second-Order Linear-Time Computability with Applications to Computable Analysis. Second-Order Linear-Time Computability with Applications to Computable Analysis. Second-Order Linear-Time Computability with Applications to Computable Analysis. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11436 LNCS, 21, 337-358 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11436 LNCS, 21, 337-358 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11436 LNCS, 21, 337-358 2019 英語 研究論文(国際会議プロシーディングス) 公開
Florian Steinberg 0001, Laurent Théry, Holger Thies Florian Steinberg 0001, Laurent Théry, Holger Thies Florian Steinberg 0001, Laurent Théry, Holger Thies Quantitative Continuity and Computable Analysis in Coq. Quantitative Continuity and Computable Analysis in Coq. Quantitative Continuity and Computable Analysis in Coq. Leibniz International Proceedings in Informatics, LIPIcs, 141, 28-21 Leibniz International Proceedings in Informatics, LIPIcs, 141, 28-21 Leibniz International Proceedings in Informatics, LIPIcs, 141, 28-21 2019 英語 研究論文(国際会議プロシーディングス) 公開
Akitoshi Kawamura, Florian Steinberg 0001, Holger Thies Akitoshi Kawamura, Florian Steinberg 0001, Holger Thies Akitoshi Kawamura, Florian Steinberg 0001, Holger Thies Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving. Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving. Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10944 LNCS, 223-236 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10944 LNCS, 223-236 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10944 LNCS, 223-236 2018 英語 研究論文(国際会議プロシーディングス) 公開
Akitoshi Kawamura, Holger Thies, Martin Ziegler 0001 Akitoshi Kawamura, Holger Thies, Martin Ziegler 0001 Akitoshi Kawamura, Holger Thies, Martin Ziegler 0001 Average-Case Polynomial-Time Computability of Hamiltonian Dynamics. Average-Case Polynomial-Time Computability of Hamiltonian Dynamics. Average-Case Polynomial-Time Computability of Hamiltonian Dynamics. Leibniz International Proceedings in Informatics, LIPIcs, 117, 30-17 Leibniz International Proceedings in Informatics, LIPIcs, 117, 30-17 Leibniz International Proceedings in Informatics, LIPIcs, 117, 30-17 2018 英語 研究論文(国際会議プロシーディングス) 公開
Florian Steinberg, Holger Thies Florian Steinberg, Holger Thies Florian Steinberg, Holger Thies Analytic functions and small complexity classes Analytic functions and small complexity classes Analytic functions and small complexity classes CCA 2016 - 13th International Conference on Computability and Complexity in Analysis - Proceedings, 49-52 CCA 2016 - 13th International Conference on Computability and Complexity in Analysis - Proceedings, 49-52 CCA 2016 - 13th International Conference on Computability and Complexity in Analysis - Proceedings, 49-52 2016 研究論文(国際会議プロシーディングス) 公開
Akitoshi Kawamura, Florian Steinberg, Holger Thies Akitoshi Kawamura, Florian Steinberg, Holger Thies Akitoshi Kawamura, Florian Steinberg, Holger Thies Analytic functions in IrRAM Analytic functions in IrRAM Analytic functions in IrRAM CCA 2014 - 11th International Conference on Computability and Complexity in Analysis, Proceedings, 31-33 CCA 2014 - 11th International Conference on Computability and Complexity in Analysis, Proceedings, 31-33 CCA 2014 - 11th International Conference on Computability and Complexity in Analysis, Proceedings, 31-33 2014 研究論文(国際会議プロシーディングス) 公開

  • <<
  • >>
  • 表示
タイトル言語:
外部資金:競争的資金 (科学研究費補助金)
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
Gant-in-Aid for Early-Career Scientists 代表 Computational complexity and practice of verified and efficient algorithms for dynamical systems Computational complexity and practice of verified and efficient algorithms for dynamical systems 2020/04/01〜2023/03/31