The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Shulin Wang, Ji Wang, Huowang Chen, Boyun Zhang
    SVM-Based Tumor Classification with Gene Expression Data. [Citation Graph (0, 0)][DBLP]
    ADMA, 2006, pp:864-870 [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. Jinhui Shan, Ji Wang, Zhichang Qi
    On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:237-0 [Conf]
  5. Rui Shen, Ji Wang, Hong Zhu
    Scenario Mechanism in Agent-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:464-471 [Conf]
  6. 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]
  7. Ji Wang, Rui Shen, Hong Zhu
    Towards an agent oriented programming language with caste and scenario mechanisms. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:1297-1298 [Conf]
  8. Wei Dong, Ji Wang
    Contract-Based Formal Specification of Safety Critical Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2005, pp:7-8 [Conf]
  9. Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi
    Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2005, pp:13-18 [Conf]
  10. Ji Wang, Rui Shen, Hong Zhu
    Agent Oriented Programming Based on SLABS. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2005, pp:127-132 [Conf]
  11. 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]
  12. Ting Wang, Yaoyong Li, Kalina Bontcheva, Hamish Cunningham, Ji Wang
    Automatic Extraction of Hierarchical Relations from Text. [Citation Graph (0, 0)][DBLP]
    ESWC, 2006, pp:215-229 [Conf]
  13. Xin Wang, Ji Wang, Zhi-Chang Qi
    Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:199-212 [Conf]
  14. Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya
    Formal Design of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:738-755 [Conf]
  15. XinJun Mao, Ji Wang, Jiajia Chen
    Modeling Organization Structure of Multi-Agent System. [Citation Graph (0, 0)][DBLP]
    IAT, 2005, pp:116-119 [Conf]
  16. XinJun Mao, Ji Wang, Eric Yu
    A Framework to Specify and Evaluate Coordination in MAS with Logic. [Citation Graph (0, 0)][DBLP]
    IAT, 2004, pp:325-328 [Conf]
  17. Jianming Zhao, XinJun Mao, Ji Wang
    Developing Multi-Agent Systems with Dynamic Binding Mechanism. [Citation Graph (0, 0)][DBLP]
    IAT, 2006, pp:52-58 [Conf]
  18. Ji Wang, Zhengjun Zhai, Xiaobin Cai
    Real-Time Continuous Collision Detection Based on Swept Volume and Depth Texture. [Citation Graph (0, 0)][DBLP]
    ICAT Workshops, 2006, pp:137-140 [Conf]
  19. Yang Yu, Ji Wang, Ting Wang, Huowang Chen
    Representing Wholes by Structure. [Citation Graph (0, 0)][DBLP]
    ICCS, 2006, pp:441-454 [Conf]
  20. 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]
  21. Yanjun Wen, Ji Wang, Zhi-Chang Qi
    Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:259-273 [Conf]
  22. Yanjun Wen, Ji Wang, Zhi-Chang Qi
    2/3 Alternating Simulation Between Interface Automata. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:173-187 [Conf]
  23. Xiaodong Yi, Ji Wang, Xuejun Yang
    Stateful Dynamic Partial-Order Reduction. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:149-167 [Conf]
  24. Yanjun Wen, Ji Wang, Zhi-Chang Qi
    Reverse Observation Equivalence Between Labelled State Transition Systems. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:204-219 [Conf]
  25. Jiong Yan, Ji Wang, Huowang Chen
    UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. [Citation Graph (0, 0)][DBLP]
    ISPA, 2004, pp:433-445 [Conf]
  26. Ji Wang, Huowang Chen
    Temporal Reasoning About Real Time Reactive Systems. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:249-256 [Conf]
  27. Shuhao Li, Ji Wang, Zhi-Chang Qi
    Property-Oriented Test Generation from UML Statecharts. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:122-131 [Conf]
  28. Ji Wang, Ashfaq A. Khokhar, Vijay K. Garg
    Video Communication with QoS Guarantees over HIPERLAN/2. [Citation Graph (0, 0)][DBLP]
    ISMSE, 2002, pp:312-319 [Conf]
  29. Yan Jiong, Ji Wang, Huowang Chen
    Deriving Software Statistical Testing Model from UML Model. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:343-350 [Conf]
  30. Yan Jiong, Ji Wang, Huowang Chen
    Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. [Citation Graph (0, 0)][DBLP]
    QSIC, 2004, pp:22-31 [Conf]
  31. Ji Wang, Rui Shen, Hong Zhu
    Caste-Centric Agent-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    QSIC, 2005, pp:431-438 [Conf]
  32. Xiaodong Yi, Ji Wang, Xuejun Yang
    Verification of C Programs using Slicing Execution. [Citation Graph (0, 0)][DBLP]
    QSIC, 2005, pp:109-116 [Conf]
  33. XinJun Mao, Zhiming Chang, Lijun Shang, Hong Zhu, Ji Wang
    The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:639-644 [Conf]
  34. 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]
  35. Ting Wang, Ji Wang, Yang Yu, Rui Shen, Jinhong Liu, Huowang Chen
    MetaData Pro: Ontology-Based Metadata Processing for Web Resources. [Citation Graph (0, 0)][DBLP]
    WISE Workshops, 2004, pp:34-45 [Conf]
  36. 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]
  37. Xiaodong Yi, Ji Wang, Xuejun Yang
    Slicing Execution for Model Checking C Programs. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2006, v:16, n:5, pp:747-768 [Journal]
  38. Jinhui Shan, Ji Wang, Zhi-Chang Qi, Jianping Wu
    Improved Method to Generate Path-Wise Test Data. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2003, v:18, n:2, pp:235-240 [Journal]
  39. 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]
  40. Ji Wang, M. J. Ikram, Ashfaq A. Khokhar
    Efficient transmission of MPEG-2 video bit streams over HIPERLAN/2. [Citation Graph (0, 0)][DBLP]
    Wireless Communications and Mobile Computing, 2005, v:5, n:2, pp:153-164 [Journal]
  41. Shulin Wang, Huowang Chen, Ji Wang, Dingxing Zhang, Shutao Li
    Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines. [Citation Graph (0, 0)][DBLP]
    CIS, 2006, pp:46-56 [Conf]
  42. 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]
  43. Shulin Wang, Ji Wang, Huowang Chen, Shutao Li
    Feature Extraction and Classification of Tumor Based on Wavelet Package and Support Vector Machines. [Citation Graph (0, 0)][DBLP]
    PAKDD, 2007, pp:871-878 [Conf]
  44. 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]

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


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


  47. Fast, On-Demand Software Deployment with Lightweight, Independent Virtual Disk Images. [Citation Graph (, )][DBLP]


  48. Automated WCET Analysis Based on Program Modes. [Citation Graph (, )][DBLP]


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


  50. Towards a Framework for Scalable Model Checking of Concurrent C Programs. [Citation Graph (, )][DBLP]


  51. DPM: A Demand-driven Virtual Disk Prefetch Mechanism for Mobile Personal Computing Environments. [Citation Graph (, )][DBLP]


  52. Engineering Adaptive Multi-Agent Systems with ODAM Methodology. [Citation Graph (, )][DBLP]


  53. Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. [Citation Graph (, )][DBLP]


  54. Extracting Semantic Constraint from Description Text for Semantic Web Service Discovery. [Citation Graph (, )][DBLP]


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


  56. An Abstract Domain to Discover Interval Linear Equalities. [Citation Graph (, )][DBLP]


  57. Symbolic Model Checking APSL. [Citation Graph (, )][DBLP]


  58. A framework for constructing peer-to-peer overlay networks in Java. [Citation Graph (, )][DBLP]


  59. Information Flow Detection and Tracking on Web2.0 BLOGS Based on Social Networks. [Citation Graph (, )][DBLP]


  60. Particle Clonal Genetic Algorithm Using Sequence Coding for Solving Distribution Network Reconfiguration. [Citation Graph (, )][DBLP]


  61. Automated Worst-Case Execution Time Analysis Based on Program Modes. [Citation Graph (, )][DBLP]


  62. Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs. [Citation Graph (, )][DBLP]


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


Search in 0.354secs, Finished in 0.357secs
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