I agree that this site is using cookies. You can find further informations here.
X
Kim, Dohan
123  results:
Search for persons X
?
1

Field Distribution Study for Microwave Processing Plasma Un..:

, In: 2024 IEEE 21st Biennial Conference on Electromagnetic Field Computation (CEFC),
Kang, Keekon ; Kim, Dohan ; Shon, Chae-Hwa.. - p. 1-2 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Uniformity enhancement of a microwave surface-wave plasma b..:

Kim, Dohan ; Kang, Keekon ; Shon, Chae-Hwa..
Japanese Journal of Applied Physics.  63 (2024)  2 - p. 026001 , 2024
Link: https://doi.org/10.35848..
 
?
3

Certification of Confluence- and Commutation-Proofs via Par..:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Hirokawa, Nao ; Kim, Dohan ; Shintani, Kiraku. - p. 147-161 , 2024
Link: https://dl.acm.org/doi/1..
 
?
4

Loan Growth and Quality over the Credit Cycle:

Kim, Dohan ; Sohn, Wook
International Review of Economics & Finance.  , 2024
Link: https://doi.org/10.1016/..
 
?
5

Equational theorem proving for clauses over strings:

Kim, Dohan
Mathematical Structures in Computer Science.  , 2024
Link: https://doi.org/10.1017/..
 
?
6

Phase-transition time of a commercial magnetron driving a s..:

Kim, Dohan ; Cha, Ju-Hong ; Shon, Chae-Hwa..
Japanese Journal of Applied Physics.  62 (2023)  2 - p. 026001 , 2023
Link: https://doi.org/10.35848..
 
?
7

Stability regions of discrete linear periodic systems with ..:

Shin, Jong Son ; Miyazaki, Rinko ; Kim, Dohan
Advances in Continuous and Discrete Models.  2023 (2023)  1 - p. , 2023
Link: https://doi.org/10.1186/..
 
?
8

Real representations of powers of real matrices and its app..:

Kim, Dohan ; Miyazaki, Rinko ; Son Shin, Jong
Linear and Multilinear Algebra.  , 2023
Link: https://doi.org/10.1080/..
 
?
9

Demi-linear analysis III—demi-distributions with compact su..:

Li, Rong-lu ; Zhong, Shu-hui ; Kim, Dohan.
Applied Mathematics-A Journal of Chinese Universities.  37 (2022)  1 - p. 1-20 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Computing-In-Memory Using 1T1C Embedded DRAM Cell with Micr..:

, In: 2022 IEEE International Conference on Consumer Electronics-Asia (ICCE-Asia),
Lim, Do-Yoon ; Jung, In-Jun ; Kim, Do-Han. - p. 1-4 , 2022
Link: https://doi.org/10.1109/..
 
?
11

Comparison of Meta-Heuristic Algorithms for Task Scheduling..:

, In: 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC),
Kim, Dohan ; Wu, Aming ; Kwon, Young-Woo - p. 252-255 , 2022
Link: https://doi.org/10.1109/..
 
?
12

Demi-linear analysis II —demi-distributions:

Li, Rong-lu ; Zhong, Shu-hui ; Kim, Do-han.
Applied Mathematics-A Journal of Chinese Universities.  36 (2021)  2 - p. 187-206 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Equational Theorem Proving Modulo:

, In: Automated Deduction – CADE 28; Lecture Notes in Computer Science,
Kim, Dohan ; Lynch, Christopher - p. 166-182 , 2021
Link: https://doi.org/10.1007/..
 
?
14

NVDIMM-C: A Byte-Addressable Non-Volatile Memory Module for..:

, In: 2020 IEEE International Symposium on High Performance Computer Architecture (HPCA),
Lee, Changmin ; Shin, Wonjae ; Kim, Dae Jeong... - p. 502-514 , 2020
Link: https://doi.org/10.1109/..
 
?
15

High efficiency tandem polymer solar cells with MoO3/Ni/ZnO..:

Seo, Jooyeok ; Moon, Yejin ; Lee, Sooyong...
Nanoscale Horizons.  4 (2019)  5 - p. 1221-1226 , 2019
Link: https://doi.org/10.1039/..
 
1-15