Search the dblp DataBase

Publications of Author

1. Gan Liu, Youlin Ruan, Weimin Wu, Weimin Lang, Guangxi Zhu
   Optimal Stochastic Control for Multi-Services Call Admission in Mobile Wireless Networks. [Citation Graph (0, 0)][DBLP]
   CIT, 2004, pp:575-580 [Conf]
   
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. [Citation Graph (0, 0)][DBLP]
   ASP-DAC, 2001, pp:605-608 [Conf]
   
3. Ming Zhu, Jinian Bian, Weimin Wu, Hongxi Xue
   Property Classification for Functional Verification Based. [Citation Graph (0, 0)][DBLP]
   Asian Test Symposium, 2003, pp:503- [Conf]
   
4. Jianzhou Zhao, Jinian Bian, Weimin Wu
   PFGASAT- A Genetic SAT Solver Combining Partitioning and Fuzzy Strategie. [Citation Graph (0, 0)][DBLP]
   COMPSAC, 2004, pp:108-113 [Conf]
   
5. Shujun Deng, Weimin Wu, Jinian Bian
   Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving. [Citation Graph (0, 0)][DBLP]
   CSCWD, 2006, pp:522-528 [Conf]
   
6. Ming Zhu, Jinian Bian, Weimin Wu
   Model Optimization Techniques in a Verification Platform for Classified Properties. [Citation Graph (0, 0)][DBLP]
   ICESS, 2004, pp:542-548 [Conf]
   
7. Weimin Wu, Hongye Su, Jian Chu
   Supervisory Control of Discrete Event Systems using Enabling Arc Petri Nets. [Citation Graph (0, 0)][DBLP]
   ICRA, 2002, pp:1913-1918 [Conf]
   
8. Weimin Wu, Hongye Su, Jianbo Hu, Jian Chu
   Petri Net Controller Synthesis for Discrete Event Systems Using Weighted Inhibitor Arc. [Citation Graph (0, 0)][DBLP]
   ICRA, 2001, pp:3582-3587 [Conf]
   
9. Yongqiang Lu, Xianlong Hong, Wenting Hou, Weimin Wu, Yici Cai
   Combining clustering and partitioning in quadratic placement. [Citation Graph (0, 0)][DBLP]
   ISCAS (4), 2003, pp:720-723 [Conf]
   
10. Gan Liu, Weimin Lang, Weimin Wu, Youlin Ruan, Xiaofeng Shen, Guangxi Zhu
    QoS-guaranteed call admission scheme for broadband multiservices mobile wireless networks. [Citation Graph (0, 0)][DBLP]
    ISCC, 2004, pp:454-459 [Conf]
    
11. Yu Ru, Weimin Wu, Hongye Su, Jian Chu
    State feedback based deadlock-free supervisor synthesis for bounded Petri nets. [Citation Graph (0, 0)][DBLP]
    SMC (2), 2004, pp:1666-1671 [Conf]
    
12. Wenting Hou, Xianlong Hong, Weimin Wu, Yici Cai
    FaSa: A Fast and Stable Quadratic Placement Algorithm. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2003, v:18, n:3, pp:318-324 [Journal]
    
13. Wu Weimin, Li Kailun, Su Qing
    Array Modeling in Java Virtual Machine. [Citation Graph (0, 0)][DBLP]
    APPT, 2007, pp:617-623 [Conf]
    
14. Shujun Deng, Weimin Wu, Jinian Bian
    Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving. [Citation Graph (0, 0)][DBLP]
    CSCWD (Selected Papers), 2006, pp:297-307 [Conf]
    
15. Shujun Deng, Jinian Bian, Weimin Wu, Xiaoqing Yang, Yanni Zhao
    EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure. [Citation Graph (0, 0)][DBLP]
    DAC, 2007, pp:588-593 [Conf]
    
16. Yu Ru, Weimin Wu, Hongye Su, Jian Chu
    State Feedback Control of DES on the Finite Forbidden State Problem. [Citation Graph (0, 0)][DBLP]
    ICRA, 2004, pp:5159-5164 [Conf]
    
17. 
    Cooperation of SMV and Jeda for the property checking of mixed control and data intensive designs. [Citation Graph (, )][DBLP]
    
    
18. 
    Design of Petri Net-based Deadlock Prevention Controllers for Flexible Manufacturing Systems. [Citation Graph (, )][DBLP]
    
    
19. 
    AnyviewC: A Visual Practice Platform for Data Structures Course. [Citation Graph (, )][DBLP]