If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Holger Thies is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles
Computable Analysis Mathematics
Hamiltonians Engineering & Materials Science
Parameterized Complexity Mathematics
Computability Mathematics
Polynomials Engineering & Materials Science
Mathematical operators Engineering & Materials Science
Linear Time Mathematics
Analytic function Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2014 2019

  • 5 Citations
  • 1 h-Index
  • 4 Conference contribution
  • 1 Paper

Quantitative continuity and computable analysis in Coq

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Set theory

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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computable Analysis
Computability
Linear Time
Costs
Complexity Classes
1 Citation (Scopus)

Average-case polynomial-time computability of hamiltonian dynamics

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hamiltonians
Trajectories
Polynomials
Computational complexity
Dynamical systems
4 Citations (Scopus)

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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Parameterized Complexity
Mathematical operators
Analytic function
Polynomial time
Operator

Analytic functions in IrRAM

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

Research output: Contribution to conferencePaper