Browse "School of Computing(전산학부)" by Author Park, Sewon
Showing results 1 to 6 of 6
| Computable operations on compact subsets of metric spaces with applications to fréchet distance and shape optimization Park, Chansu; Park, Ji-Won; Park, Sewon; Seon, Dongseong; Ziegler, Martin A, 14th International Conference on Computability and Complexity in Analysis, CCA 2017, pp.37, KAIST School of Computing, 2017-07 |
| Computing Periods... Cho, Junhee; Park, Sewon; Ziegler, Martin A., 12th International Conference and Workshop on Algorithms and Computation (WALCOM), pp.132 - 143, Springer International Publishing, 2018-03-04 |
| Continuous abstract data types for verified computation = 검증된 계산을 위한 연속적 추상형 자료형link Park, Sewon; Ziegler, Martin; et al, 한국과학기술원, 2021 |
| On formal verification in imperative multivalued programming over continuous data types Müller, Norbert; Park, Sewon; Preining, Norbert; Ziegler, Martin A, 13th International Conference on Computability and Complexity in Analysis, CCA 2016, pp.35 - 38, University of Algarve, 2016-06 |
| Reliable diagonalization of degenerate matrices Park, Sewon; Ziegler, Martin A., 14th International Conference on Computability and Complexity in Analysis, CCA 2017, pp.40 - 41, KAIST School of Computing, 2017-07 |
| Semantics, Specification Logic, and Hoare Logic of Exact Real Computation Park, Sewon; Brauße, Franz; Collins, Pieter; Kim, SunYoung; Konečný, Michal; Lee, Gyesik; Müller, Norbert; et al, Logical Methods in Computer Science, v.20, no.2, 2024-06 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,775 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989