Eunhee Kim

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 13

Top Topics

Formal Verification

Nonlinear Systems

Top Venues

Publications

Eunhee Kim, Sunghwan Sohn, Hyunwook Moon, Jun Hyeok Choi, Kiwon Lee
Linear Frequency Modulation and Orthogonal Code Modulation for Co-Located Multiple-Input Multiple-Output High-Frequency Surface Wave Radar. Remote. Sens. 16 (1) (2024)
Eunhee Kim, Ilkyu Kim, Wansik Kim
Non-Uniform MIMO Array Design for Radar Systems Using Multi-Channel Transceivers. Remote. Sens. 15 (1) (2023)
Eunhee Kim, TaeHwa Park, JaeYoung Moon, Wonsang You, Tae-Gwan Ha, Kyung-Joong Kim
DAncing body, Speaking Hands (DASH): Sign Dance Generation System with Deep Learning. SIGGRAPH Posters (2023)
YoungMin Kwon, Eunhee Kim, Gul Agha
A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems. QEST (2023)
Eunhee Kim, In-kyu Kim, Seungsu Han, Jaemin Lee, Sang-jin Shin
A Wideband Noise Radar System Using a Phased Array with True Time Delay. Remote. Sens. 14 (18) (2022)
Eunhee Kim, Andrius Baskys, Anandi V. Law, Moom R. Roosan, Yan Li, Don Roosan
Scoping review: the empowerment of Alzheimer's Disease caregivers with mHealth applications. npj Digit. Medicine 4 (2021)
Jonathan Glover, Eunhee Kim
Optimal Team Composition: Diversity to Foster Implicit Team Incentives. Manag. Sci. 67 (9) (2021)
YoungMin Kwon, Eunhee Kim
A Design of GPU-Based Quantitative Model Checking. VMCAI (2021)
Jay Hoon Jung, Eunhee Kim, YoungMin Kwon
Quantitative Model Checking for a Resilient Control System. SSCI (2019)
Sungwoong Jeon, Sangwon Kim, Shinwon Ha, Seungmin Lee, Eunhee Kim, So Yeun Kim, Sun Hwa Park, Jung Ho Jeon, Sung Won Kim, Cheil Moon, Bradley J. Nelson, Jin-young Kim, Seong-Woon Yu, Hongsoo Choi
Magnetically actuated microrobots as a platform for stem cell transplantation. Sci. Robotics 4 (30) (2019)
YoungMin Kwon, Eunhee Kim
Quantitative Model Checking for a Controller Design. SPIN (2018)
YoungMin Kwon, Eunhee Kim, Seonghwan Jeong, Arthur H. Lee
Quantitative Model Checking for a Smart Grid Pricing. QEST (2017)
Jeonghun Lee, Eunhee Kim, Sangwon Kim, Sanghun Jeon, Hongsoo Choi
A flexible microrobots with magnetic actuation for medical tool. URAI (2016)
YoungMin Kwon, Eunhee Kim
Bounded Model Checking of Hybrid Systems for Control. IEEE Trans. Autom. Control. 60 (11) (2015)
S. M. Kamruzzaman, Eunhee Kim, Dong Geun Jeong, Wha Sook Jeon
Energy-aware routing protocol for cognitive radio ad hoc networks. IET Commun. 6 (14) (2012)
S. M. Kamruzzaman, Eunhee Kim, Dong Geun Jeong
Spectrum and Energy Aware Routing Protocol for Cognitive Radio Ad Hoc Networks. ICC (2011)
Christian Murphy, Eunhee Kim, Gail E. Kaiser, Adam Cannon
Backstop: a tool for debugging runtime errors. SIGCSE (2008)
Eunhee Kim, Maria M. Plummer, Starr Roxanne Hiltz, Quentin Jones
Perceived Benefits and Concerns of Prospective Users of the SmartCampus Location-Aware Community System Test-bed. HICSS (2007)
Starr Roxanne Hiltz, Eunhee Kim, Peter Shea
Faculty Motivators and De-motivators for Teaching Online: Results of Focus Group Interviews at One University. HICSS (2007)
Hee-Kyung Cho, Matthias Trier, Eunhee Kim
The Use of Instant Messaging in Working Relationship Development: A Case Study. J. Comput. Mediat. Commun. 10 (4) (2005)
Hoijin Yoon, Eunhee Kim, Jooyoung Seo, Byoungju Choi
Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study. FATES (2004)
Eunhee Kim, Starr Roxanne Hiltz, Julian Scher, Murray Turoff
Multimedia Diversification of the Asynchronous Learning Network Learning Environment. AMCIS (2003)