Between SAT and UNSAT: The Fundamental Difference in CDCL SAT
Oh, Chanseok
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (01.01.2015)
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (01.01.2015)
Get full text
Book Chapter
Identification of a quality-control mechanism for mRNA 5′-end capping
Kiledjian, Megerditch, Jiao, Xinfu, Xiang, Song, Oh, ChanSeok, Martin, Charles E, Tong, Liang
Published in Nature (London) (30.09.2010)
Published in Nature (London) (30.09.2010)
Get full text
Journal Article
Chemical Genetic Profiling and Characterization of Small-molecule Compounds That Affect the Biosynthesis of Unsaturated Fatty Acids in Candida albicans
Xu, Deming, Sillaots, Susan, Davison, John, Hu, Wenqi, Jiang, Bo, Kauffman, Sarah, Martel, Nick, Ocampo, Pam, Oh, Chanseok, Trosok, Steve, Veillette, Karynn, Wang, Hao, Yang, Minghui, Zhang, Li, Becker, Jeffrey, Martin, Charles E., Roemer, Terry
Published in The Journal of biological chemistry (17.07.2009)
Published in The Journal of biological chemistry (17.07.2009)
Get full text
Journal Article
VERMEER: A Tool for Tracing and Explaining Faulty C Programs
Schwartz-Narbonne, Daniel, Chanseok Oh, Schaf, Martin, Wies, Thomas
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Dxo1 is a new type of eukaryotic enzyme with both decapping and 5′-3′ exoribonuclease activity
Chang, Jeong Ho, Jiao, Xinfu, Chiba, Kunitoshi, Oh, ChanSeok, Martin, Charles E, Kiledjian, Megerditch, Tong, Liang
Published in Nature structural & molecular biology (01.10.2012)
Published in Nature structural & molecular biology (01.10.2012)
Get full text
Journal Article
Dxol is a new type of eukaryotic enzyme with both decapping and 5'-3' exoribonuclease activity
Chang, Jeong Ho, Jiao, Xinfu, Chiba, Kunitoshi, Oh, ChanSeok, Martin, Charles E, Kiledjian, Megerditch, Tong, Liang
Published in Nature structural & molecular biology (01.10.2012)
Published in Nature structural & molecular biology (01.10.2012)
Get full text
Journal Article
HETEROCYCLIC COMPOUND AND ORGANIC LIGHT-EMITTING DEVICE AND ELECTRONIC APPARATUS INCLUDING THE SAME
Sim, Munki, Sunwoo, Kyoung, Pak, Sunyoung, Oh, Chanseok, Jung, Minjung
Year of Publication 25.07.2024
Get full text
Year of Publication 25.07.2024
Patent
Organic light-emitting device including heterocyclic compound with boron and nitrogen
Sim, Munki, Ko, Soobyung, Park, Junha, Baek, Jangyeol, Oh, Chanseok, Lee, Hyoyoung, Pak, Hankyu
Year of Publication 30.07.2024
Get full text
Year of Publication 30.07.2024
Patent