Sewon Park
Orcid: 0000-0002-6443-2617Affiliations:
- Kyoto University, Graduate School of Informatics, Japan
- KAIST School of Computing, Daejeon, Republic of Korea
According to our database1,
Sewon Park
authored at least 14 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Log. Methods Comput. Sci., 2024
Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers.
CoRR, 2024
A Coq Formalization of Taylor Models and Power Series for Solving Ordinary Differential Equations.
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024
2023
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023
Proceedings of the Fundamentals of Computation Theory - 24th International Symposium, 2023
2022
Extracting efficient exact real number computation from proofs in constructive type theory.
CoRR, 2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
2021
Proceedings of the Logic, Language, Information, and Computation, 2021
2019
2018
Proceedings of the WALCOM: Algorithms and Computation - 12th International Conference, 2018
2017
Computable Operations on Compact Subsets of Metric Spaces with Applications to Fréchet Distance and Shape Optimization.
CoRR, 2017
2016
On Formal Verification in Imperative Multivalued Programming over Continuous Data Types.
CoRR, 2016