THIES Holger

Last Update: 2021/06/30 14:01:07

Print

Name(Kanji/Kana/Abecedarium Latinum)
THIES Holger/ティース ホルガー/Thies, Holger
Primary Affiliation(Org1/Job title)
Graduate School of Human and Environmental Studies/Program-Specific Senior Lecturer/Program-Specific Junior Associate Professor
Faculty
Org1 Job title
Institute for Liberal Arts and Sciences (ILAS)
総合人間学部
Academic Degree
Field(Japanese) Field(English) University(Japanese) University(English) Method
博士(学術) 東京大学
修士(数学) ダルムシュタット工科大学
Language of Instruction
Language(japanese) Language(english) Code
日本語 Japanese jpn
英語 English eng
researchmap URL
https://researchmap.jp/hthies
Published Papers
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
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 Research paper(scientific journal) Disclose to all
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 Research paper(scientific journal) Disclose to all
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 Research paper(international conference proceedings) Disclose to all
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 Research paper(international conference proceedings) Disclose to all
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 Research paper(scientific journal) Disclose to all
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 Refereed English Research paper(international conference proceedings) Disclose to all
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 Refereed English Research paper(international conference proceedings) Disclose to all
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 Refereed English Research paper(international conference proceedings) Disclose to all
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 Refereed English Research paper(international conference proceedings) Disclose to all
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 Research paper(international conference proceedings) Disclose to all
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 Research paper(international conference proceedings) Disclose to all

  • <<
  • >>
Title language:
External funds: competitive funds and Grants-in-Aid for Scientific Research (Kakenhi)
Type Position Title(Japanese) Title(English) Period
Gant-in-Aid for Early-Career Scientists Representative 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