| Axiomatic reals and certified efficient exact real computation M Konečný, S Park, H Thies Logic, Language, Information, and Computation: 27th International Workshop …, 2021 | 8 | 2021 |
| Extracting efficient exact real number computation from proofs in constructive type theory M Konečný, S Park, H Thies arXiv preprint arXiv:2202.00891, 2022 | 6 | 2022 |
| Semantics, logic, and verification of" exact real computation F Brauße, P Collins, J Kanig, SY Kim, M Konečny, G Lee, N Müller, ... arXiv preprint arXiv 1608, 2016 | 5 | 2016 |
| Foundation of computer (algebra) analysis systems: semantics, logic, programming, verification S Park, F Brauße, P Collins, S Kim, M Konečný, G Lee, N Müller, ... | 4 | 2020 |
| On formal verification in imperative multivalued programming over continuous data types NT Müller, S Park, N Preining, M Ziegler CoRR, abs/1608.05787, 2016 | 4 | 2016 |
| Certified Computation of Nondeterministic Limits M Konečný, S Park, H Thies NASA Formal Methods Symposium, 771-789, 2022 | 3 | 2022 |
| Computable Operations on Compact Subsets of Metric Spaces with Applications to Fr\'echet Distance and Shape Optimization C Park, JW Park, S Park, D Seon, M Ziegler arXiv preprint arXiv:1701.08402, 2017 | 3 | 2017 |
| From Coq proofs to certified exact real computation in AERN M Konecný, S Park, H Thies Proc. 18th Internat. Conf. on Computability and Complexity in Analysis (CCA), 2021 | 1 | 2021 |
| Topological Aspects on Nondetermistic Computation D Lim, S Park 한국정보과학회 학술발표논문집, 1107-1108, 2020 | 1 | 2020 |
| Compact Subsets in Exact Real Computation J Hwang, S Park 한국정보과학회 학술발표논문집, 1104-1106, 2020 | 1 | 2020 |
| Computing periods J Cho, S Park, M Ziegler International Workshop on Algorithms and Computation, 132-143, 2018 | 1 | 2018 |
| Verified Exact Real Computation with Nondeterministic Functions and Limits S Park International Symposium on Fundamentals of Computation Theory, 363-377, 2023 | | 2023 |
| Formalizing Hyperspaces for Extracting Efficient Exact Real Computation M Konečný, S Park, H Thies 48th International Symposium on Mathematical Foundations of Computer Science …, 2023 | | 2023 |
| Nondeterministic limits and certified exact real computation M Konecný, S Park, H Thies | | 2022 |
| Grassmannian as Continuous Data Type with Computable Semantics S Lee, D Lim, S Park, M Ziegler 한국정보과학회 학술발표논문집, 1767-1769, 2019 | | 2019 |
| Is Brownian Motion Computable? H Lee, S Park, M Ziegler SCIENTIFIC PROGRAMME COMMITTEE, 2019 | | 2019 |
| Randomized Computation of Continuous Data: Is Brownian Motion Computable? W Fouché, H Lee, D Lim, S Park, M Schröder, M Ziegler arXiv preprint arXiv:1906.06684, 2019 | | 2019 |
| Tensor Calculus in Exact Real Computation on Simplicial Complexes C Park, S Park, M Ziegler 한국정보과학회 학술발표논문집, 1729-1731, 2018 | | 2018 |
| Reliable diagonalization of degenerate matrices S Park, MA Ziegler 14th International Conference on Computability and Complexity in Analysis …, 2017 | | 2017 |
| Semantics, Specification Logic, and Hoare Logic of Exact Real Computation S Park, F Brauße, P Collins, SY Kim, M Konečný, G Lee, N Müller, ... arXiv preprint arXiv:1608.05787, 2016 | | 2016 |
