Zero overhead watermarking technique for FPGA designs. - Adarsh K. Jain; Lin Yuan; Pushkin R. Pari; Gang Qu 001 (ACM Great Lakes Symposium on VLSI, 2003)

Generating 'Random' 3-SAT Instances with Specific Solution Space Structure. - Pushkin R. Pari; Jane Lin; Lin Yuan; Gang Qu 001 (AAAI, 2004)

Finding Redundant Constraints for FSM Minimization. - Lin Yuan; Pushkin R. Pari; Gang Qu 001 (AAAI, 2004)

Soft IP Protection: Watermarking HDL Codes. - Lin Yuan; Pushkin R. Pari; Gang Qu 001 (Information Hiding, 2004)

How many solutions does a SAT instance have? - Pushkin R. Pari; Lin Yuan; Gang Qu 001 (ISCAS (5), 2004)

Dual-Processor Design of Energy Efficient Fault-Tolerant System. - Shaoxiong Hua; Pushkin R. Pari; Gang Qu 001 (ASAP, 2006)