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)

Version Space Learning with DNA Molecules. - Hee-Woong Lim; Ji-Eun Yun; Hae-Man Jang; Young-Gyu Chai; Suk-In Yoo; 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)

A Lab-on-a-Chip Module for Bead Separation in DNA-Based Concept Learning. - Hee-Woong Lim; Hae-Man Jang; Sung-Mo Ha; Young-Gyu Chai; Suk-In Yoo; 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)