default search action
Yunho Kim
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j29]Toni Toharudin
, Rezzy Eko Caraka
Investigating Adolescent Vulnerability in Indonesia: A Socio-Remote Sensing Big Data Analytics Study Using Night Light Data. IEEE Access 12: 14800-14818 (2024) - [j28]Tafia Hasna Putri, Rezzy Eko Caraka, Toni Toharudin
Fine-Tuning of Predictive Models CNN-LSTM and CONV-LSTM for Nowcasting PM2.5 Level. IEEE Access 12: 28988-29003 (2024) - [j27]Rezzy Eko Caraka
Understanding Pediatric Health Trends in Papua: Insights From SUSENAS, RISKESDAS, Remote Sensing, and Its Relevance to Prabowo and Gibran's Free Lunch and Milk Program. IEEE Access 12: 51536-51555 (2024) - [j26]Hyunwoo Lee, Yunho Kim
Improved weight initialization for deep and narrow feedforward neural network. Neural Networks 176: 106362 (2024) - [j25]Yunho Kim
Learning Semantic Traversability With Egocentric Video and Automated Annotation Strategy. IEEE Robotics Autom. Lett. 9(11): 10423-10430 (2024) - [j24]Yunho Kim
Not Only Rewards but Also Constraints: Applications on Legged Robot Locomotion. IEEE Trans. Robotics 40: 2984-3003 (2024) - [i10]Yunho Kim, Jeonghyun Lee, Choongin Lee, Juhyeok Mun, Donghoon Youm, Jeongsoo Park, Jemin Hwangbo:
Learning Semantic Traversability with Egocentric Video and Automated Annotation Strategy. CoRR abs/2406.02989 (2024) - [i9]Seonghoon Yu, Ilchae Jung, Byeongju Han, Taeoh Kim, Yunho Kim, Dongyoon Wee, Jeany Son:
A Simple Baseline with Single-encoder for Referring Image Segmentation. CoRR abs/2408.15521 (2024) - [i8]Yunho Kim, Jaehyun Park, Heejun Kim, Sejin Kim, Byung-Jun Lee, Sundong Kim:
Diffusion-Based Offline RL for Improved Decision-Making in Augmented ARC Task. CoRR abs/2410.11324 (2024) - [i7]Jaehyun Park, Yunho Kim, Sejin Kim, Byung-Jun Lee, Sundong Kim:
DIAR: Diffusion-model-guided Implicit Q-learning with Adaptive Revaluation. CoRR abs/2410.11338 (2024) - 2023
- [j23]Toni Toharudin
Boosting Algorithm to Handle Unbalanced Classification of PM2.5 Concentration Levels by Observing Meteorological Parameters in Jakarta-Indonesia Using AdaBoost, XGBoost, CatBoost, and LightGBM. IEEE Access 11: 35680-35696 (2023) - [j22]Jun-Hyuk Ahn, Yun-Ho Kim
Infinitely Many Small Energy Solutions to the Double Phase Anisotropic Variational Problems Involving Variable Exponent. Axioms 12(3): 259 (2023) - [i6]Yunho Kim, Hyunsik Oh, Jeonghyun Lee, Jinhyeok Choi, Gwanghyeon Ji, Moonkyu Jung, Donghoon Youm, Jemin Hwangbo:
Not Only Rewards But Also Constraints: Applications on Legged Robot Locomotion. CoRR abs/2308.12517 (2023) - [i5]Hyunwoo Lee, Yunho Kim, Seungyeop Yang, Hayoung Choi:
Improved weight initialization for deep and narrow feedforward neural network. CoRR abs/2311.03733 (2023) - 2022
- [j21]Yunho Kim
Numerical investigation into the dependence of the Allen-Cahn equation on the free energy. Adv. Comput. Math. 48(3): 36 (2022) - [j20]Oleksandra Gulenko, Hyunmo Yang, KiSik Kim, Jin Young Youm, Minjae Kim, Yunho Kim
Deep-Learning-Based Algorithm for the Removal of Electromagnetic Interference Noise in Photoacoustic Endoscopic Image Processing. Sensors 22(10): 3961 (2022) - [j19]Yunho Kim, Shin Hong
Learning-based mutant reduction using fine-grained mutation operators. Softw. Test. Verification Reliab. 32(7) (2022) - [c35]Yunho Kim, Honguk Woo:
Integrating A Deep Learning-based Plane Detector in Mobile AR Systems for Improvement of Plane Detection. ICCAI 2022: 597-602 - [c34]Ahcheong Lee
POWER: Program Option-Aware Fuzzer for High Bug Detection Ability. ICST 2022: 220-231 - [c33]Robert Sebastian Herlim, Yunho Kim, Moonzoo Kim:
CITRUS: Automated Unit Testing Tool for Real-world C++ Programs. ICST 2022: 400-410 - [c32]Yunho Kim, Shin Hong:
Learning-based Mutant Reduction Using Fine-grained Mutation Operators. ICST 2022: 464 - [c31]Dohyeong Kim, Yunho Kim, Kyungjae Lee, Songhwai Oh:
Safety Guided Policy Optimization. IROS 2022: 2462-2467 - [c30]Yunho Kim, Chanyoung Kim, Jemin Hwangbo:
Learning Forward Dynamics Model and Informed Trajectory Sampler for Safe Quadruped Navigation. Robotics: Science and Systems 2022 - [i4]Yunho Kim, Chanyoung Kim, Jemin Hwangbo:
Learning Forward Dynamics Model and Informed Trajectory Sampler for Safe Quadruped Navigation. CoRR abs/2204.08647 (2022) - [i3]YeonSu Kim, Yoon A. Kim
Hybrid Numerical Modeling of Ballistic Clay under Low-Speed Impact using Artificial Neural Networks. CoRR abs/2205.14893 (2022) - [i2]Kihong Kim, Yunho Kim, Seokju Cho, Junyoung Seo, Jisu Nam, Kyuchul Lee
DiffFace: Diffusion-based Face Swapping with Facial Guidance. CoRR abs/2212.13344 (2022) - 2021
- [j18]Nakwon Lee
Directed Model Checking for Fast Abstract Reachability Analysis. IEEE Access 9: 158738-158750 (2021) - [j17]Joo Dong Yun
Two-stage adaptive random Fourier sampling method for image reconstruction. Pattern Recognit. 117: 107990 (2021) - [j16]Yunho Kim, Shin Hong
DEMINER: test generation for high test coverage through mutant exploration. Softw. Test. Verification Reliab. 31(1-2) (2021) - [c29]Robert Sebastian Herlim, Shin Hong, Yunho Kim, Moonzoo Kim:
Empirical Study of Effectiveness of EvoSuite on the SBST 2020 Tool Competition Benchmark. SSBSE 2021: 121-135 - [i1]Yunho Kim, Bukun Son, Dongjun Lee:
Learning multiple gaits of quadruped robot using hierarchical reinforcement learning. CoRR abs/2112.04741 (2021) - 2020
- [j15]Dongsun Lee, Yunho Kim
Novel mass-conserving Allen-Cahn equation for the boundedness of an order parameter. Commun. Nonlinear Sci. Numer. Simul. 85: 105224 (2020) - [j14]Yunho Kim, Dongju Lee, Junki Baek, Moonzoo Kim:
MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry. Inf. Softw. Technol. 123: 106221 (2020) - [j13]Jun Ik Lee, Yun-Ho Kim, Jongrak Lee:
Existence of Small-Energy Solutions to Nonlocal Schrödinger-Type Equations for Integrodifferential Operators in ℝN. Symmetry 12(1): 5 (2020)
2010 – 2019
- 2019
- [j12]Yunho Kim
A Newton's method characterization for real eigenvalue problems. Numerische Mathematik 142(4): 941-971 (2019) - [j11]Yunho Kim
Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs. ACM Trans. Softw. Eng. Methodol. 28(4): 23:1-23:34 (2019) - [c28]Yunho Kim, Dongju Lee, Junki Baek, Moonzoo Kim:
Concolic testing for high test coverage and reduced human effort in automotive industry. ICSE (SEIP) 2019: 151-160 - [c27]Yunho Kim, Shin Hong, Moonzoo Kim:
Target-driven compositional concolic testing with function summary refinement for effective bug detection. ESEC/SIGSOFT FSE 2019: 16-26 - 2018
- [j10]Yunho Kim, Kwangsue Chung:
Multipath-based transmission scheme for improving the QoE of HTTP adaptive streaming. J. Vis. Commun. Image Represent. 55: 12-20 (2018) - [j9]Jae-Myoung Kim, Yun-Ho Kim, Jongrak Lee:
Multiplicity of Small or Large Energy Solutions for Kirchhoff-Schrödinger-Type Equations Involving the Fractional p-Laplacian in ℝN. Symmetry 10(10): 436 (2018) - [c26]Yunho Kim, Yunja Choi, Moonzoo Kim:
Precise concolic unit testing of C programs using extended units and symbolic alarm filtering. ICSE 2018: 315-326 - [c25]Duy Loc Phan, Yunho Kim, Moonzoo Kim:
MUSIC: Mutation Analysis Tool with High Configurability and Extensibility. ICST Workshops 2018: 40-46 - [c24]Yunho Kim, Shin Hong, Bongseok Ko, Duy Loc Phan, Moonzoo Kim:
Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage. ICST 2018: 239-249 - 2017
- [j8]Shin Hong, Taehoon Kwak, Byeongcheol Lee, Yiru Jeon, Bongseok Ko, Yunho Kim, Moonzoo Kim:
MUSEUM: Debugging real-world multilingual programs using mutation analysis. Inf. Softw. Technol. 82: 80-95 (2017) - 2015
- [j7]Zhihong Xu, Yunho Kim, Moonzoo Kim, Myra B. Cohen, Gregg Rothermel:
Directed test suite augmentation: an empirical investigation. Softw. Test. Verification Reliab. 25(2): 77-114 (2015) - [c23]Shin Hong, Byeongcheol Lee, Taehoon Kwak, Yiru Jeon, Bongsuk Ko, Yunho Kim, Moonzoo Kim:
Mutation-Based Fault Localization for Real-World Multilingual Programs (T). ASE 2015: 464-475 - 2014
- [j6]Yunho Kim
Image Restoration Using One-Dimensional Sobolev Norm Profiles of Noise and Texture. SIAM J. Imaging Sci. 7(1): 366-390 (2014) - [j5]Yunho Kim
Intensity Nonuniformity Correction for Brain MR Images with Known Voxel Classes. SIAM J. Imaging Sci. 7(1): 528-557 (2014) - [c22]Yunho Kim, Moonzoo Kim:
SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study. APSEC (1) 2014: 55-62 - [c21]Seokhyeon Moon, Yunho Kim, Moonzoo Kim, Shin Yoo:
Ask the Mutants: Mutating Faulty Programs for Fault Localization. ICST 2014: 153-162 - [c20]Yunho Kim, Zhihong Xu, Moonzoo Kim, Myra B. Cohen, Gregg Rothermel:
Hybrid Directed Test Suite Augmentation: An Interleaving Framework. ICST 2014: 263-272 - 2013
- [j4]Patrick Guidotti, Yunho Kim
Image Restoration with a New Class of Forward-Backward-Forward Diffusion Equations of Perona-Malik Type with Applications to Satellite Image Enhancement. SIAM J. Imaging Sci. 6(3): 1416-1444 (2013) - [c19]Yunho Kim, Youil Kim, Taeksu Kim, Gunwoo Lee, Yoonkyu Jang, Moonzoo Kim:
Automated unit testing of large industrial embedded software using concolic testing. ASE 2013: 519-528 - 2012
- [j3]Moonzoo Kim, Yunho Kim, Yunja Choi:
Concolic testing of the multi-sector read operation for flash storage platform software. Formal Aspects Comput. 24(3): 355-374 (2012) - [j2]Massimo Fornasier, Yunho Kim
Wavelet Decomposition Method for L2//TV-Image Deblurring. SIAM J. Imaging Sci. 5(3): 857-885 (2012) - [c18]Yunho Kim, Moonzoo Kim, Young Joo Kim, Yoonkyu Jang:
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE. ICSE 2012: 1143-1152 - [c17]Moonzoo Kim, Yunho Kim, Gregg Rothermel:
A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation. ICST 2012: 340-349 - [c16]Moonzoo Kim, Yunho Kim, Yoonkyu Jang:
Industrial Application of Concolic Testing on Embedded Software: Case Studies. ICST 2012: 390-399 - [c15]Melissa Tong, Yunho Kim, Yunho Zhan, Guillermo Sapiro, Christophe Lenglet
A variational model for denoising high angular resolution diffusion imaging. ISBI 2012: 530-533 - 2011
- [j1]Moonzoo Kim, Yunho Kim, Hotae Kim:
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study. IEEE Trans. Software Eng. 37(2): 146-160 (2011) - [c14]Moonzoo Kim, Yunho Kim:
Automated Analysis of Industrial Embedded Software. ATVA 2011: 51-59 - [c13]Yunho Kim, John B. Garnett, Luminita A. Vese:
A convex minimization model in image restoration via one-dimensional Sobolev norm profiles. ICIP 2011: 693-696 - [c12]Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel:
A Hybrid Directed Test Suite Augmentation Technique. ISSRE 2011: 150-159 - [c11]Yunho Kim, Moonzoo Kim:
SCORE: a scalable concolic testing tool for reliable embedded software. SIGSOFT FSE 2011: 420-423 - 2010
- [c10]Yunho Kim, Moonzoo Kim, Nam Dang:
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform. ICTAC 2010: 199-213 - [c9]Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel, Myra B. Cohen:
Directed test suite augmentation: techniques and tradeoffs. SIGSOFT FSE 2010: 257-266
2000 – 2009
- 2009
- [c8]Yunho Kim, Paul M. Thompson
HARDI Denoising: Variational Regularization of the Spherical Apparent Diffusion Coefficient sADC. IPMI 2009: 515-527 - [c7]Moonzoo Kim, Yunho Kim:
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System. SBMF 2009: 251-265 - 2008
- [c6]Yunho Kim
Functional minimization problems in image processing. Computational Imaging 2008: 68140 - [c5]Fengming Hu, Yun-Ho Kim, Kyung Tae Kim, Hee Yong Youn, Chang-Won Park:
Energy-based selective cluster-head rotation in wireless sensor networks. ICAIT 2008: 121:1-121:7 - [c4]Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim:
Pre-testing Flash Device Driver through Model Checking Techniques. ICST 2008: 475-484 - [c3]Moonzoo Kim, Yunho Kim, Hotae Kim:
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker. ASE 2008: 198-207 - [c2]Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim:
Formal Verification of a Flash Memory Device Driver - An Experience Report. SPIN 2008: 144-159 - 2002
- [c1]Jin-Ho Kim, Yun-Ho Kim, Sang-Wook Kim, Sooho Ok:
An Efficient Processing of Queries with Joins and Aggregate Functions in Data Warehousing Environment. DEXA Workshops 2002: 785-794
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: