The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wei Dong: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peng He, Jiandong Li, Wei Dong
    A Novel Distributed Topology Control Algorithm for Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    AINA Workshops (2), 2007, pp:653-658 [Conf]
  2. Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi
    Model Checking UML Statecharts. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:363-370 [Conf]
  3. Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi
    Property-Oriented Testing of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:358-365 [Conf]
  4. Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
    Improvements Towards Formalizing UML State Diagrams in CSP. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:176-184 [Conf]
  5. Wei Dong, Ji Wang
    Contract-Based Formal Specification of Safety Critical Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2005, pp:7-8 [Conf]
  6. Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung
    An Interface Theory Based Approach to Verification of Web Services. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2006, pp:139-144 [Conf]
  7. Wanjun Zhang, Yi Zeng, Wei Dong, Guoqing Li, Dingsheng Liu
    Standardization of Page Service Using XSLT Based on Grid System. [Citation Graph (0, 0)][DBLP]
    GCC (1), 2003, pp:1034-1038 [Conf]
  8. Ji Wang, Wei Dong, Zhichang Qi
    Slicing Hierarchical Automata for Model Checking UML Statecharts. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:435-446 [Conf]
  9. Guo Yu, Peng Li, Wei Dong
    Achieving Low-Cost Linearity Test and Diagnosis of Sigma Delta ADCs via Frequency-Domain Nonlinear Analysis and Macromodeling. [Citation Graph (0, 0)][DBLP]
    ISQED, 2007, pp:513-518 [Conf]
  10. Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
    Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:97-107 [Conf]
  11. Wei Dong, Zhenbang Chen, Ji Wang
    A Contract-based Approach to Specifying and Verifying Safety Critical Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:2, pp:89-103 [Journal]
  12. Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
    Modelling and model checking suspendible business processes via statechart diagrams and CSP. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:65, n:1, pp:14-29 [Journal]
  13. Changci Pang, Wei Dong, Zhongli Wei
    Green's function and positive solutions of nth order m-point boundary value problem. [Citation Graph (0, 0)][DBLP]
    Applied Mathematics and Computation, 2006, v:182, n:2, pp:1231-1239 [Journal]
  14. Cuiping Jia, Wei Dong, Caixia Liu, Xindong Zhang, Jingran Zhou, Zhicheng Zhong, Hailin Xue, Huidong Zang, Baokun Xu, Weiyou Chen
    Convex corners undercutting and rhombus compensation in KOH with and without IPA solution on (110) silicon. [Citation Graph (0, 0)][DBLP]
    Microelectronics Journal, 2006, v:37, n:11, pp:1297-1301 [Journal]
  15. Wei Dong, Xindong Zhang, Caixia Liu, Ming Li, Baokun Xu, Weiyou Chen
    Mechanism for convex corner undercutting of (110) silicon in KOH. [Citation Graph (0, 0)][DBLP]
    Microelectronics Journal, 2004, v:35, n:5, pp:417-419 [Journal]
  16. Mengluo Ji, Huaimin Wang, Mengjun Li, Wei Dong, Zhichang Qi
    An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Research and Development, 2006, v:43, n:11, pp:2020-2026 [Journal]
  17. Wei Dong, Peng Li
    Accelerating Harmonic Balance Simulation Using Efficient Parallelizable Hierarchical Preconditioning. [Citation Graph (0, 0)][DBLP]
    DAC, 2007, pp:436-439 [Conf]
  18. Guo Yu, Wei Dong, Zhuo Feng, Peng Li
    A Framework for Accounting for Process Model Uncertainty in Statistical Static Timing Analysis. [Citation Graph (0, 0)][DBLP]
    DAC, 2007, pp:829-834 [Conf]
  19. Wei Dong, Zhijiang Du, Lining Sun
    Conceptional Design and Kinematics Modeling of a Wide-Range Flexure Hinge-Based Parallel Manipulator. [Citation Graph (0, 0)][DBLP]
    ICRA, 2005, pp:4031-4036 [Conf]
  20. Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen
    Axiomatizing Extended Temporal Logic Fragments Via Instantiation. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:322-336 [Conf]
  21. Zhe Wang, Wei Dong, William Josephson, Qin Lv, Moses Charikar, Kai Li
    Sizing sketches: a rank-based analysis for similarity search. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS, 2007, pp:157-168 [Conf]
  22. W. L. Yeung, Ji Wang, Wei Dong
    Verifying Choreographic Descriptions of Web Services Based on CSP. [Citation Graph (0, 0)][DBLP]
    SCW, 2006, pp:97-104 [Conf]

  23. Parameter Estimation for MIMO Systems with Multiple Frequency Offsets. [Citation Graph (, )][DBLP]


  24. Compositional Verification of UML Dynamic Models. [Citation Graph (, )][DBLP]


  25. Impartial Anticipation in Runtime-Verification. [Citation Graph (, )][DBLP]


  26. Cultural difference in image tagging. [Citation Graph (, )][DBLP]


  27. Modeling LSH for performance tuning. [Citation Graph (, )][DBLP]


  28. Automating Software FMEA via Formal Analysis of Dependence Relations. [Citation Graph (, )][DBLP]


  29. ImageNet: A large-scale hierarchical image database. [Citation Graph (, )][DBLP]


  30. WavePipe: parallel transient simulation of analog and digital circuits on multi-core shared-memory machines. [Citation Graph (, )][DBLP]


  31. Parallelizable stable explicit numerical integration for efficient circuit simulation. [Citation Graph (, )][DBLP]


  32. FIT: A Flexible, LIght-Weight, and Real-Time Scheduling System for Wireless Sensor Platforms. [Citation Graph (, )][DBLP]


  33. Performance of Bulk Data Dissemination in Wireless Sensor Networks. [Citation Graph (, )][DBLP]


  34. Efficient VCO phase macromodel generation considering statistical parametric variations. [Citation Graph (, )][DBLP]


  35. SRAM dynamic stability: theory, variability and analysis. [Citation Graph (, )][DBLP]


  36. MAPS: multi-algorithm parallel circuit simulation. [Citation Graph (, )][DBLP]


  37. Final-value ODEs: Stable numerical integration and its application to parallel circuit analysis. [Citation Graph (, )][DBLP]


  38. A New Formal Test Method for Networked Software Integration Testing. [Citation Graph (, )][DBLP]


  39. A wearable, self-calibrating, wireless sensor network for body motion processing. [Citation Graph (, )][DBLP]


  40. A low-cost motion tracker and its error analysis. [Citation Graph (, )][DBLP]


  41. DPLC: Dynamic Packet Length Control in Wireless Sensor Networks. [Citation Graph (, )][DBLP]


  42. Bridging Test Languages to Reuse Test Information: A Metamodel for Test Information. [Citation Graph (, )][DBLP]


  43. Simulation Study of CPG Model: Exploring of a Certain Characteristics of Rhythm of Gait Movement on the Intelligent Creature. [Citation Graph (, )][DBLP]


  44. Computing Must and May Alias to Detect Null Pointer Dereference. [Citation Graph (, )][DBLP]


  45. Toward a cultural-sensitive image tagging interface. [Citation Graph (, )][DBLP]


  46. Efficiently matching sets of features with random histograms. [Citation Graph (, )][DBLP]


  47. A Location-Determination Application in WirelessHART. [Citation Graph (, )][DBLP]


  48. Asymmetric distance estimation with sketches for similarity search in high-dimensional spaces. [Citation Graph (, )][DBLP]


  49. Elon: enabling efficient and long-term reprogramming for wireless sensor networks. [Citation Graph (, )][DBLP]


  50. Towards Formal Interfaces for Web Services with Transactions. [Citation Graph (, )][DBLP]


  51. Page Size Optimization for Code Dissemination in Wireless Sensor Networks. [Citation Graph (, )][DBLP]


  52. Joint Frequency Offset and Channel Estimation for MIMO Systems Based on Particle Swarm Optimization. [Citation Graph (, )][DBLP]


  53. Joint Frequency Offset and Channel Estimation in Frequency Selective MIMO Correlated Fading Channels. [Citation Graph (, )][DBLP]


  54. Joint timing error, frequency offset and channel estimation for MIMO systems. [Citation Graph (, )][DBLP]


  55. Object Reputation Based Anti-Pollution P2P File Sharing System. [Citation Graph (, )][DBLP]


  56. Toward a Dynamic Model of Robotic Marionettes. [Citation Graph (, )][DBLP]


  57. Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology. [Citation Graph (, )][DBLP]


  58. A Dynamic TimeSynchronization Scheme for Multihop Sensor Networks. [Citation Graph (, )][DBLP]


  59. Design of Some Artificial Immune Operators in Software Test Cases Generation. [Citation Graph (, )][DBLP]


  60. A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications. [Citation Graph (, )][DBLP]


  61. GMDD: a database of GMO detection methods. [Citation Graph (, )][DBLP]


  62. A note on list improper coloring of plane graphs. [Citation Graph (, )][DBLP]


  63. Shape Analysis by Refining on Abstract Evaluation Path. [Citation Graph (, )][DBLP]


Search in 0.068secs, Finished in 0.071secs
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