The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Xu Wang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002