Young Joo Kim

According to our database1, Young Joo Kim
  • authored at least 10 papers between 2005 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Path-tracking simulation and field tests for an auto-guidance tillage tractor for a paddy field.
Computers and Electronics in Agriculture, 2015

2013
Validating Software Reliability Early through Statistical Model Checking.
IEEE Software, 2013

2012
Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE.
Proceedings of the 34th International Conference on Software Engineering, 2012

Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation.
Proceedings of the Hardware and Software: Verification and Testing, 2012

2009
Incremental discount policy of cell-phone carrier with connection success rate constraint.
European Journal of Operational Research, 2009

An optimal operating policy for the production system with rework.
Computers & Industrial Engineering, 2009

2008
AsiDesigner: exon-based siRNA design server considering alternative splicing.
Nucleic Acids Research, 2008

2006
SNP@Domain: a web resource of single nucleotide polymorphisms (SNPs) within protein domain structures and sequences.
Nucleic Acids Research, 2006

2005
FESD: a Functional Element SNPs Database in human.
Nucleic Acids Research, 2005


  Loading...