• 7 引用
  • 2 h指数
20142019

Research output per year

Pureに変更を加えた場合、すぐここに表示されます。

フィンガープリント Holger Thiesが有効な場合、研究トピックを掘り下げます。このトピックラベルは、この人物の業績からのものです。これらはともに一意のフィンガープリントを構成します。

ネットワーク 最近の国レベルでの外部協力。点をクリックして詳細を開いてください。

研究成果

  • 7 引用
  • 2 h指数
  • 4 会議での発言
  • 1 論文

Quantitative continuity and computable analysis in Coq

Steinberg, F., Théry, L. & Thies, H., 9 2019, 10th International Conference on Interactive Theorem Proving, ITP 2019. Harrison, J., O'Leary, J. & Tolmach, A. (版). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 28. (Leibniz International Proceedings in Informatics, LIPIcs; 巻数 141).

研究成果: 著書/レポートタイプへの貢献会議での発言

  • Second-order linear-time computability with applications to computable analysis

    Kawamura, A., Steinberg, F. & Thies, H., 1 1 2019, Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Watada, J. & Gopal, T. V. (版). Springer Verlag, p. 337-358 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11436 LNCS).

    研究成果: 著書/レポートタイプへの貢献会議での発言

  • Average-case polynomial-time computability of hamiltonian dynamics

    Kawamura, A., Thies, H. & Ziegler, M., 8 1 2018, 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018. Potapov, I., Worrell, J. & Spirakis, P. (版). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 30. (Leibniz International Proceedings in Informatics, LIPIcs; 巻数 117).

    研究成果: 著書/レポートタイプへの貢献会議での発言

  • 3 引用 (Scopus)

    Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving

    Kawamura, A., Steinberg, F. & Thies, H., 1 1 2018, Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Proceedings. de Queiroz, R., Martinez, M. & Moss, L. S. (版). Springer Verlag, p. 223-236 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10944 LNCS).

    研究成果: 著書/レポートタイプへの貢献会議での発言

  • 4 引用 (Scopus)

    Analytic functions in IrRAM

    Kawamura, A., Steinberg, F. & Thies, H., 1 1 2014, p. 31-33. 3 p.

    研究成果: 会議への寄与タイプ論文