P. Lin

Application of Max-SAT-based ATPG to optimal cancer therapy design

S. Khatri, P. Lin, 2012, BMC Genomics.

Exploring a circuit design approach based on one-hot multi-valued domino logic

Dibakar Gope, S. Khatri, P. Lin, 2010, 2010 53rd IEEE International Midwest Symposium on Circuits and Systems.

Logic Synthesis for Genetic Diseases: Modeling Disease Behavior Using Boolean Networks

S. Khatri, P. Lin, 2013 .

Determining Gene Function in Boolean Networks using SAT

Sunil P. Khatri, Pey-Chang Kent Lin, S. Khatri, 2014 .

ATPG for Cancer Therapy

Sunil P. Khatri, Pey-Chang Kent Lin, S. Khatri, 2014 .

Determining gene function in boolean networks using boolean satisfiability

Sunil P. Khatri, Pey-Chang Kent Lin, S. Khatri, 2012, Proceedings 2012 IEEE International Workshop on Genomic Signal Processing and Statistics (GENSIPS).

Application of logic synthesis to the understanding and cure of genetic diseases

Sunil P. Khatri, Pey-Chang Kent Lin, S. Khatri, 2012, DAC Design Automation Conference 2012.

Efficient cancer therapy using Boolean networks and Max-SAT-based ATPG

Sunil P. Khatri, Pey-Chang Kent Lin, S. Khatri, 2011, 2011 IEEE International Workshop on Genomic Signal Processing and Statistics (GENSIPS).

Timing aware partitioning for multi-FPGA based logic simulation using top-down selective hierarchy flattening

Sunil P. Khatri, Pey-Chang Kent Lin, Subramanian Poothamkurissi Swaminathan, 2012, 2012 IEEE 30th International Conference on Computer Design (ICCD).

VLSI implementation of a non-linear feedback shift register for high-speed cryptography applications

Sunil P. Khatri, Pey-Chang Kent Lin, S. Khatri, 2010, GLSVLSI '10.

Inference of gene predictor set using Boolean satisfiability

Sunil P. Khatri, Pey-Chang Kent Lin, S. Khatri, 2010, 2010 IEEE International Workshop on Genomic Signal Processing and Statistics (GENSIPS).

Predictor Set Inference using SAT

Sunil P. Khatri, Pey-Chang Kent Lin, S. Khatri, 2014 .