Weimin Wu

	2007
16		Shujun Deng, Jinian Bian, Weimin Wu, Xiaoqing Yang, Yanni Zhao: EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure. DAC 2007: 588-593
	2006
15		Shujun Deng, Weimin Wu, Jinian Bian: Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving. CSCWD 2006: 522-528
14		Shujun Deng, Weimin Wu, Jinian Bian: Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving. CSCWD (Selected Papers) 2006: 297-307
13		Ming Zhu, Jinian Bian, Weimin Wu: A novel collaborative scheme of simulation and model checking for system properties verification. Computers in Industry 57(8-9): 752-757 (2006)
	2004
12		Gan Liu, Youlin Ruan, Weimin Wu, Weimin Lang, Guangxi Zhu: Optimal Stochastic Control for Multi-Services Call Admission in Mobile Wireless Networks. CIT 2004: 575-580
11		Jianzhou Zhao, Jinian Bian, Weimin Wu: PFGASAT- A Genetic SAT Solver Combining Partitioning and Fuzzy Strategie. COMPSAC 2004: 108-113
10		Ming Zhu, Jinian Bian, Weimin Wu: Model Optimization Techniques in a Verification Platform for Classified Properties. ICESS 2004: 542-548
9		Yu Ru, Weimin Wu, Hongye Su, Jian Chu: State Feedback Control of DES on the Finite Forbidden State Problem. ICRA 2004: 5159-5164
8		Gan Liu, Weimin Lang, Weimin Wu, Youlin Ruan, Xiaofeng Shen, Guangxi Zhu: QoS-guaranteed call admission scheme for broadband multiservices mobile wireless networks. ISCC 2004: 454-459
7		Yu Ru, Weimin Wu, Hongye Su, Jian Chu: State feedback based deadlock-free supervisor synthesis for bounded Petri nets. SMC (2) 2004: 1666-1671
	2003
6		Ming Zhu, Jinian Bian, Weimin Wu, Hongxi Xue: Property Classification for Functional Verification Based. Asian Test Symposium 2003: 503
5		Yongqiang Lu, Xianlong Hong, Wenting Hou, Weimin Wu, Yici Cai: Combining clustering and partitioning in quadratic placement. ISCAS (4) 2003: 720-723
4		Wenting Hou, Xianlong Hong, Weimin Wu, Yici Cai: FaSa: A Fast and Stable Quadratic Placement Algorithm. J. Comput. Sci. Technol. 18(3): 318-324 (2003)
	2002
3		Weimin Wu, Hongye Su, Jian Chu: Supervisory Control of Discrete Event Systems using Enabling Arc Petri Nets. ICRA 2002: 1913-1918
	2001
2		Wenting Hou, Hong Yu, Xianlong Hong, Yici Cai, Weimin Wu, Jun Gu, William H. Kao: A new congestion-driven placement algorithm based on cell inflation. ASP-DAC 2001: 605-608
1		Weimin Wu, Hongye Su, Jianbo Hu, Jian Chu: Petri Net Controller Synthesis for Discrete Event Systems Using Weighted Inhibitor Arc. ICRA 2001: 3582-3587

Coauthor Index

1	Jinian Bian	[6] [10] [11] [13] [14] [15] [16]
2	Yici Cai	[2] [4] [5]
3	Jian Chu	[1] [3] [7] [9]
4	Shujun Deng	[14] [15] [16]
5	Jun Gu	[2]
6	Xianlong Hong	[2] [4] [5]
7	Wenting Hou	[2] [4] [5]
8	Jianbo Hu	[1]
9	William H. Kao	[2]
10	Weimin Lang	[8] [12]
11	Gan Liu	[8] [12]
12	Yongqiang Lu	[5]
13	Yu Ru	[7] [9]
14	Youlin Ruan	[8] [12]
15	Xiaofeng Shen	[8]
16	Hongye Su	[1] [3] [7] [9]
17	Hongxi Xue	[6]
18	Xiaoqing Yang	[16]
19	Hong Yu	[2]
20	Jianzhou Zhao	[11]
21	Yanni Zhao	[16]
22	Guangxi Zhu	[8] [12]
23	Ming Zhu	[6] [10] [13]

Colors in the list of coauthors