Inference of gene predictor set using Boolean satisfiability. - Pey-Chang Kent Lin; Sunil P. Khatri (GENSiPS, 2010)

VLSI implementation of a non-linear feedback shift register for high-speed cryptography applications. - Pey-Chang Kent Lin; Sunil P. Khatri (ACM Great Lakes Symposium on VLSI, 2010)

Efficient cancer therapy using Boolean networks and Max-SAT-based ATPG. - Pey-Chang Kent Lin; Sunil P. Khatri (GENSiPS, 2011)

A novel cryptographic key exchange scheme using resistors. - Pey-Chang Kent Lin; Alex Ivanov; Bradley Johnson; Sunil P. Khatri (ICCD, 2011)

Application of logic synthesis to the understanding and cure of genetic diseases. - Pey-Chang Kent Lin; Sunil P. Khatri (DAC, 2012)

Boolean satisfiability using noise based logic. - Pey-Chang Kent Lin; Ayan Mandal; Sunil P. Khatri (DAC, 2012)

Determining gene function in boolean networks using boolean satisfiability. - Pey-Chang Kent Lin; Sunil P. Khatri (GENSiPS, 2012)

Timing aware partitioning for multi-FPGA based logic simulation using top-down selective hierarchy flattening. - Subramanian Poothamkurissi Swaminathan; Pey-Chang Kent Lin; Sunil P. Khatri (ICCD, 2012)

Noise-based algorithms for functional equivalence and tautology checking. - Pey-Chang Kent Lin; Sunil P. Khatri (ICCD, 2013)

Efficient Transistor-Level Symbolic Timing Simulation Using Cached Partial Circuit States. - Clayton B. McDonald; Hsinwei Chou; Vijay Durairaj; Pey-Chang Kent Lin (ICCAD, 2015)