Chanseok Oh
According to our database1,
Chanseok Oh
authored at least 6 papers
between 2014 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018
2016
PhD thesis, 2016
2015
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
2014
Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014
Proceedings of the IEEE High Performance Extreme Computing Conference, 2014