Qinhai Zhang

The Controlling Value Boolean Matching

Anne-Marie Trullemans, Ricardo Ferreira, Qinhai Zhang, 1997 .

Application of Specific Delay Window Routing for Timing Optimization in FPGA Designs

Qinhai Zhang, Evan Wegley, 2015, FPGA.

Combined approach of ROBDDs and structural analysis in the mapping and matching of logic functions

Qinhai Zhang, A. M. Trullemans, R. Jacobi, 1995 .

Improving BDDs manipulation through incremental reduction and enhanced heuristics

Qinhai Zhang, Ney Calazans, C. Trullemans, 1991, Proceedings of the IEEE 1991 Custom Integrated Circuits Conference.

Logic Verification of Incomplete Functions and Design Error Location

Qinhai Zhang, Charles Trullemans, 1993, CHARME.

Application of Specific Delay Window Routing for Timing Optimization in FPGA Designs

Qinhai Zhang, Evan Wegley, Yanhua Yi, 2016, ACM Trans. Reconfigurable Technol. Syst..

Advanced ordering and manipulation techniques for binary decision diagrams

Qinhai Zhang, Ney Calazans, B. Yernaux, 1992, [1992] Proceedings The European Conference on Design Automation.

A Classification of Metacyclic 2-Groups

Qinhai Zhang, Mingyao Xu, Mingyao Xu, 2006 .

Finite p-groups all of whose non-abelian proper subgroups are generated by two elements

Qinhai Zhang, Mingyao Xu, Lijian An, 2008 .