Shuo-Ren Lin

According to our database, Shuo-Ren Lin authored at least 3 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Flexibility and Optimization of QBF Skolem-Herbrand Certificates.

Valeriy Balabanov, Shuo-Ren Lin, Jie-Hong R. Jiang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

2013

Software Workarounds for Hardware Errors: Instruction Patch Synthesis.

Tsung-Po Liu, Shuo-Ren Lin, Jie-Hong R. Jiang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

Automatic test pattern generation for delay defects using timed characteristic functions.

Shin-Yann Ho, Shuo-Ren Lin, Ko-Lung Yuan, Chien-Yen Kuo, Kuan-Yu Liao, Jie-Hong R. Jiang, Chien-Mo James Li

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013