People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Shujun Deng, Zhiqiu Kong, * Jinian Bian, Yanni Zhao (Department of Computer Science and Technology, Tsinghua University, China) Page: pp. 769 - 774
Shujun Deng, Zhiqiu Kong, * Jinian Bian, Yanni Zhao (Tsinghua Univ., China) Page: pp. 769 - 774: Detailed information (abstract, keywords, etc) Slides
Zhiqiu Kong, Jinian Bian, Yanni Zhao, and Shujun Deng (Tsinghua University – China) 6. Semi-Confliction Guided Problem Partitioning Algorithm in FPGA-based SAT Solver
Constrained Stimulus Generation with Self-Adjusting Using Tabu Search with Memory Yanni ZHAO Jinian BIAN Shujun DENG Zhiqiu KONG Kang ZHAO
Zhiqiu Kong, Jinian Bian, Yanni Zhao, Shujun Deng, Hierarchical Formal Verification Methodology based on Transactions [WS]. WRTLT. 2009 ; Zhiqiu Kong, Shujun Deng, Jinian ...
WRTLT. 2009 z Zhiqiu Kong , Shujun Deng, Jinian Bian, Yanni Zhao. Even Distribution Evaluation in Random Stimulus Generation [C]. JCIS. 2008 z Shujun Deng, Zhiqiu Kong ...
[1] Yanni Zhao, Jinian Bian, Shujun Deng, Zhiqiu Kong, Kang Zhao. Constrained Stimulus Generation with Self-adjusting Using Tabu Search with Memory.
Linkedin