DNA Implementation of Theorem Proving with Resolution Refutation in Propositional Logic. - In-Hee Lee 001; Ji-Yoon Park; Hae-Man Jang; Young-Gyu Chai; Byoung-Tak Zhang (DNA, 2002)

RCA-Based Detection Methods for Resolution Refutation. - In-Hee Lee 001; Ji-Yoon Park; Young-Gyu Chai; Byoung-Tak Zhang (DNA, 2003)

An evolutionary Monte Carlo algorithm for predicting DNA hybridization. - Joon Shik Kim; Ji-Woo Lee; Yung-Kyun Noh; Ji-Yoon Park; Dong-Yoon Lee; Kyung-Ae Yang; Young-Gyu Chai; Jong Chan Kim; Byoung-Tak Zhang (Biosyst., 2008)

Multi-Residential Energy Scheduling Under Time-of-Use and Demand Charge Tariffs With Federated Reinforcement Learning. - Jae-Hoon Lee; Ji-Yoon Park; Hoon-Seong Sim; Hyun-Suk Lee (IEEE Trans. Smart Grid, 2023)