Search the dblp DataBase

Publications of Author

1. Xu Wang, Marta Z. Kwiatkowska
   On process-algebraic verification of asynchronous circuits. [Citation Graph (0, 0)][DBLP]
   ACSD, 2006, pp:37-46 [Conf]
   
2. Jean-Luc Koning, Marc-Philippe Huget, Jun Wei, Xu Wang
   Extended Modeling Languages for Interaction Protocol Design. [Citation Graph (0, 0)][DBLP]
   AOSE, 2001, pp:68-83 [Conf]
   
3. Jun Wei, Shing-Chi Cheung, Xu Wang
   Exploiting Automatic Analysis of E-Commerce Protocols. [Citation Graph (0, 0)][DBLP]
   COMPSAC, 2001, pp:55-0 [Conf]
   
4. Xu Wang, A. W. Roscoe, Ranko Lazic
   Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption. [Citation Graph (0, 0)][DBLP]
   IFM, 2004, pp:247-266 [Conf]
   
5. Jun Wei, Shing-Chi Cheung, Huan Zhou, Xu Wang, Jing Li, Yulin Feng
   Modeling and Verifying Strong Cache Consistency for Mobile Data Access . [Citation Graph (0, 0)][DBLP]
   ISSRE, 2001, pp:103-111 [Conf]
   
6. Xu Wang, Tao Huang, Jun Qian
   Group Model for Decentralized Federation of Object Creation Service. [Citation Graph (0, 0)][DBLP]
   TOOLS (27), 1998, pp:127-0 [Conf]
   
7. Xu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang
   Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:231-246 [Journal]
   
8. Xu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang
   Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:146, n:2, pp:189-206 [Journal]
   
9. Xu Wang, Shing-Chi Cheung, Jun Wei
   A CSP and Z combined modeling of document exchange processes in e-commerce protocols. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2002, v:44, n:14, pp:875-889 [Journal]
   
10. Xu Wang, Marta Z. Kwiatkowska
    Compositional State Space Reduction Using Untangled Actions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:3, pp:27-46 [Journal]
    
11. 
    A Practical Approach of Curved Ray Prestack Kirchhoff Time Migration on GPGPU. [Citation Graph (, )][DBLP]
    
    
12. 
    SNS Based Information Authorization Delegation Mechanism and Implementation. [Citation Graph (, )][DBLP]
    
    
13. 
    Research and Implementation of Web-Based E-Learning Course Auto-generating Platform. [Citation Graph (, )][DBLP]
    
    
14. 
    Tile Percolation: An OpenMP Tile Aware Parallelization Technique for the Cyclops-64 Multicore Processor. [Citation Graph (, )][DBLP]
    
    
15. 
    Fuzzy Control with Tracking Differentiator for Microturbine. [Citation Graph (, )][DBLP]
    
    
16. 
    A novel sexual adaptive genetic algorithm based on two-step evolutionary scenario of baldwin effect and analysis of global convergence. [Citation Graph (, )][DBLP]
    
    
17. 
    A Quantitative Study of the On-Chip Network and Memory Hierarchy Design for Many-Core Processor. [Citation Graph (, )][DBLP]
    
    
18. 
    Understanding Locality-Awareness in Peer-to-Peer Systems. [Citation Graph (, )][DBLP]
    
    
19. 
    A Fuzzy-Based Method for Evaluating the Trustworthiness of Software Processes. [Citation Graph (, )][DBLP]
    
    
20. 
    GFFC: The Global Feedback Based Flow Control in the NoC Design for Many-core Processor. [Citation Graph (, )][DBLP]
    
    
21. 
    A hybrid self-adaptive genetic algorithm based on sexual reproduction and baldwin effect for global optimization. [Citation Graph (, )][DBLP]
    
    
22. 
    Multi-objective evolutionary algorithm based on adaptive discrete Differential Evolution. [Citation Graph (, )][DBLP]
    
    
23. 
    A Novel Heart Rate Detection Algorithm in Ballistocardiogram Based on Wavelet Transform. [Citation Graph (, )][DBLP]
    
    
24. 
    Wavelet Transform Adaptive De-noising Algorithm and Application Based on a Novel Variable Step Function. [Citation Graph (, )][DBLP]
    
    
25. 
    An Energy and Distance Based Clustering Protocol for Wireless Sensor Networks. [Citation Graph (, )][DBLP]
    
    
26. 
    Abnormal Acoustic Noise Reduction in X-Ray Tube Single-Phase Motor. [Citation Graph (, )][DBLP]
    
    
27. 
    Tile Reduction: The First Step towards Tile Aware Parallelization in OpenMP. [Citation Graph (, )][DBLP]
    
    
28. 
    A bilinear transform approach for vocal tract length normalization. [Citation Graph (, )][DBLP]
    
    
29. 
    Reduced Reference Image Quality Assessment Based on Contourlet Domain and Natural Image Statistics. [Citation Graph (, )][DBLP]
    
    
30. 
    On the structure of graph edge designs that optimize the algebraic connectivity. [Citation Graph (, )][DBLP]
    
    
31. 
    Stabilization of a class of sandwich nonlinear systems via state feedback. [Citation Graph (, )][DBLP]
    
    
32. 
    Practical Pre-stack Kirchhoff Time Migration of Seismic Processing on General Purpose GPU. [Citation Graph (, )][DBLP]
    
    
33. 
    Experimental Evaluation of SZ-2 Phase Coding to Mitigate Range Ambiguity. [Citation Graph (, )][DBLP]
    
    
34. 
    Based on a Fuzzy Logic Technique to Identify Clutter Echoes of Weather Radar in Time Domain Automatically. [Citation Graph (, )][DBLP]