Browse "School of Computing(전산학부)" by Author Mueller, Norbert
Showing results 1 to 2 of 2
| Computational benefit of smoothness: Parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy Kawamura, Akitoshi; Mueller, Norbert; Roesnick, Carsten; Ziegler, Martin A., JOURNAL OF COMPLEXITY, v.31, no.5, pp.689 - 714, 2015-10 |
| SEMANTICS, SPECIFICATION LOGIC, AND HOARE LOGIC OF EXACT REAL COMPUTATION Park, Sewon; Brausse, Franz; Collins, Pieter; Kim, Sunyoung; Konecny, Michal; Lee, Gyesik; Mueller, Norbert; et al, LOGICAL METHODS IN COMPUTER SCIENCE, v.20, no.2, 2024-06 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,889 2020 - 2024
- 5,392 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989