| 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, ... Logical Methods in Computer Science 20, 2024 | 21* | 2024 |
| Axiomatic reals and certified efficient exact real computation M Konečnı, S Park, H Thies Logic, Language, Information, and Computation: 27th International Workshop …, 2021 | 12 | 2021 |
| Extracting efficient exact real number computation from proofs in constructive type theory M Konečnı, S Park, H Thies Journal of Logic and Computation, exae066, 2024 | 9 | 2024 |
| Certified computation of nondeterministic limits M Konečnı, S Park, H Thies NASA Formal Methods Symposium, 771-789, 2022 | 8 | 2022 |
| 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 | 3 | 2023 |
| 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 |
| A Coq Formalization of Taylor Models and Power Series for Solving Ordinary Differential Equations S Park, H Thies 15th International Conference on Interactive Theorem Proving (ITP 2024), 30 …, 2024 | 2 | 2024 |
| 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 |
| Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers M Konečnı, S Park, H Thies arXiv preprint arXiv:2410.13508, 2024 | | 2024 |
| An Imperative Language for Verified Exact Real-Number Computation A Bauer, S Park, A Simpson arXiv preprint arXiv:2409.11946, 2024 | | 2024 |
| cAERN library M Konečnı, S Park, H Thies Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2024 | | 2024 |
| Verified Exact Real Computation with Nondeterministic Functions and Limits S Park International Symposium on Fundamentals of Computation Theory, 363-377, 2023 | | 2023 |
| Towards a verified and computable theory of compositional dynamic systems P Collins, B Laarakker, S Park, S Sindorf, H Thies Dubrovnik, 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 |
Michal KonečnıHonorary Senior Research Fellow - U of Birmingham, Visiting Industrial Fellow, Aston UniversityVerified email at aston.ac.uk
