( en | de | ru )

 

Disambiguation of "Kim, KyungHee"

Author of the publication

copydeleteadd this publication to your clipboard
Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking.

, , and . ASE, page 495-499. IEEE Computer Society, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kyunghee Kim

Ky ng Kim

Die Artikelstruktur in passiven zweisprachigen Wörterbüchern Deutsch-Koreanisch: Konzeption zur Erstellung eines zweisprachigen Lernerwörterbuchs Deutsch-Koreanisch. Uni Heidelberg, (2008)

Kim Kressel

Sangho Kim

Youngmin Kim

 

Other publications of authors with the same name

Integrating TDNN-based diphone recognition with table-driven morphology parsing for understanding of spoken Korean., , , and . ICSLP, page 5-8. ISCA, (1994)The Benefits of Synchronized Genuine Smiles in Face-to-Face Service Encounters., , , and . CSE (4), page 801-808. IEEE Computer Society, (2009)Cardiovascular Monitoring Using Earphones and a Mobile Device., , , , and . IEEE Pervasive Comput., 11 (4): 18-26 (2012)STL-DP: Differentially Private Time Series Exploring Decomposition and Compression Methods., , and . CIKM Workshops, volume 3318 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Shybot: friend-stranger interaction for children living with autism., , , and . CHI Extended Abstracts, page 3375-3380. ACM, (2008)Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking., , and . ASE, page 495-499. IEEE Computer Society, (2009)JRF-E: using model checking to give advice on eliminating memory model-related bugs., , and . ASE, page 215-224. ACM, (2010)JRF-E: using model checking to give advice on eliminating memory model-related bugs., , and . Autom. Softw. Eng., 19 (4): 491-530 (2012)RDscan: A New Method for Improving Germline and Somatic Variant Calling Based on Read Depth Distribution., , , , , , , and . J. Comput. Biol., 29 (9): 987-1000 (2022)Common sense assistant for writing stories that teach social skills., , and . CHI Extended Abstracts, page 2805-2810. ACM, (2008)