| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ji Wang, Yuanzhi Cheng, Yili Fu, Shengjun Zhou, Shinichi Tamura |
Segmenting the Femoral Head and Acetabulum in the Hip Joint Automatically Using a Multi-Step Scheme.  |
IEICE Transactions  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Rongxing Wu, Ji Wang, Jianke Du, Yuantai Hu, Hongping Hu |
Solutions of nonlinear thickness-shear vibrations of an infinite isotropic plate with the homotopy analysis method. |
Numerical Algorithms |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunming Hu, Gabor Karsai, Jie Xu, Andreas Polze, Ji Wang, Andy J. Wellings (eds.) |
15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2012, Shenzhen, China, April 11-13, 2012 |
ISORC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Renjian Li, Ji Wang, Liqian Chen, Wanwei Liu, Dengping Wei |
Quantitative analysis for symbolic heap bounds of CPS software. |
Comput. Sci. Inf. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dengping Wei, Ting Wang, Ji Wang |
SAWSDL Service Discovery Based on Fine-Grained Data Semantics. |
IEICE Transactions |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ji Wang, Wing Kwong Chan, Fei-Ching Kuo |
Introduction to the Special Issue for the 10th International Conference on Quality Software (QSIC 2010). |
Softw., Pract. Exper. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dengping Wei, Ting Wang, Ji Wang, Abraham Bernstein |
SAWSDL-iMatcher: A customizable and effective Semantic Web Service matchmaker. |
J. Web Sem. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Eric Wong, Ji Wang, Fei-Ching Kuo |
Guest Editors' Introduction. |
International Journal of Software Engineering and Knowledge Engineering |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuanxue Song, Ji Wang, Liqiang Jin |
Study on the Composite ABS Control of Vehicles with Four Electric Wheels. |
JCP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Wang, Rui Shen, Huaimin Wang |
A Programming Language Approach to Internet-Based Virtual Computing Environment. |
J. Comput. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jintao Tang, Ting Wang, Qin Lu, Ji Wang, Wenjie Li |
A Wikipedia Based Semantic Graph Model for Topic Tracking in Blogsphere. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jogesh K. Muppala, Matti A. Hiltunen, Robert J. Stroud, Ji Wang |
The First International Workshop on Dependability of Clouds, data centers and Virtual Computing Environments. |
DSN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jintao Tang, Ting Wang, Ji Wang, Qin Lu, Wenjie Li |
Using complex network features for fast clustering in the web. |
WWW (Companion Volume) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenbang Chen, Zhiming Liu, Ji Wang |
Failure-Divergence Refinement of Compensating Communicating Processes. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jintao Tang, Qin Lu, Ting Wang, Ji Wang, Wenjie Li |
A bipartite graph based social network splicing method for person name disambiguation. |
SIGIR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei Fan, Ji Wang, Zibin Zheng, Michael R. Lyu |
Toward Optimal Deployment of Communication-Intensive Cloud Applications. |
IEEE CLOUD |
2011 |
DBLP DOI BibTeX RDF |
Cloud nodes, Cloud deployment, Communication-Intensive, Quality-of-Service, Clustering Analysis |
| 1 | Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot |
Linear Absolute Value Relation Analysis. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Wang, Lihua Li, Lei Song, Hualei Wang, Qi Sun, Wanlu Sun |
Multi-Cell Collaborative Transmission Combining Closed-Loop and Open-Loop Techniques. |
VTC Fall |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hualei Wang, Lihua Li, Ji Wang, Lei Song, Yue Ma, Zhou Zhou |
A Transmit Precoding Scheme for Downlink Multiuser MIMO Systems. |
VTC Fall |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Changxiang Shen, Huanguo Zhang, Huaimin Wang, Ji Wang, Bo Zhao, Fei Yan, Fajiang Yu, Liqiang Zhang, Mingdi Xu |
Research on trusted computing and its development. |
SCIENCE CHINA Information Sciences |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuejun Yang, Ji Wang, Xiaodong Yi |
Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs. |
Comput. J. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengdong Zhang, Ji Wang, Rui Shen, Jie Xu |
Towards Building Efficient Content-Based Publish/Subscribe Systems over Structured P2P Overlays. |
ICPP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Wang, W. K. Chan, Fei-Ching Kuo (eds.) |
Proceedings of the 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 14-15 July 2010 |
QSIC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot |
An Abstract Domain to Discover Interval Linear Equalities. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wanwei Liu, Ji Wang |
A tighter analysis of Piterman's Büchi determinization. |
Inf. Process. Lett. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yemei Qin, Ji Wang |
Distribution Network Reconfiguration Based on Particle Clonal Genetic Algorithm. |
JCP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang |
Symbolic model checking APSL. |
Frontiers of Computer Science in China |
2009 |
DBLP DOI BibTeX RDF |
tableau approach, extended NuSMV, symbolic model checking, property specification language |
| 1 | Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi |
Automated Worst-Case Execution Time Analysis Based on Program Modes. |
Comput. J. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Wang, Xiaodong Ma, Wei Dong, Hou-Feng Xu, Wanwei Liu |
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
memory leak detection, static analysis, flow-sensitive, demand-driven |
| 1 | Bin Chen, Nong Xiao, Zhiping Cai, Ji Wang |
DPM: A Demand-driven Virtual Disk Prefetch Mechanism for Mobile Personal Computing Environments. |
NPC |
2009 |
DBLP DOI BibTeX RDF |
virtual disk, personal computing environment, peer-to-peer, virtual machine, prefetch |
| 1 | Ji Wang, Wen-Kai Lu |
A Method of Correction for Marine Seismic Acquisition. |
IGARSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Siqi Shen, Ji Wang, Rui Shen, Shengdong Zhang, Pei Fan |
Mobility of Internet-Based Virtual Computing Environment. |
ICPADS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Shen, Ji Wang, Shengdong Zhang, Siqi Shen, Pei Fan |
A framework for constructing peer-to-peer overlay networks in Java. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
peer-to-peer, overlay network, asynchronous messaging |
| 1 | Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot |
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Chen, Nong Xiao, Zhiping Cai, Zhiying Wang, Ji Wang |
Fast, On-Demand Software Deployment with Lightweight, Independent Virtual Disk Images. |
GCC |
2009 |
DBLP DOI BibTeX RDF |
virtual disk image, virtual machine, virtual machine monitor, software deployment, COW |
| 1 | Jintao Tang, Ting Wang, Ji Wang, Dengping Wei |
Efficient social network approximate analysis on blogosphere based on network structure characteristics. |
SNAKDD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | XinJun Mao, Lijun Shan, Hong Zhu, Ji Wang |
An adaptive casteship mechanism for developing multi-agent systems. |
IJCAT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaodong Ma, Ji Wang, Wei Dong |
Shape Analysis by Refining on Abstract Evaluation Path. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian |
Automating Software FMEA via Formal Analysis of Dependence Relations. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Software FMEA, formal analysis, dependence relations |
| 1 | Yemei Qin, Ji Wang, Weihua Gui |
Particle Clonal Genetic Algorithm Using Sequence Coding for Solving Distribution Network Reconfiguration. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jintao Tang, Ting Wang, Ji Wang |
Information Flow Detection and Tracking on Web2.0 BLOGS Based on Social Networks. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaodong Ma, Ji Wang, Wei Dong |
Computing Must and May Alias to Detect Null Pointer Dereference. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dengping Wei, Ting Wang, Ji Wang, Yaodong Chen |
Extracting Semantic Constraint from Description Text for Semantic Web Service Discovery. |
International Semantic Web Conference |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma |
Symbolic Model Checking APSL. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Symbolic model checking, PSL |
| 1 | Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong |
Modelling and model checking suspendible business processes via statechart diagrams and CSP. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Zhenbang Chen, Ji Wang |
A Contract-based Approach to Specifying and Verifying Safety Critical Systems. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Ji Wang, Zhichang Qi, Ni Rong |
Compositional Verification of UML Dynamic Models. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shulin Wang, Ji Wang, Huowang Chen, Shutao Li |
Feature Extraction and Classification of Tumor Based on Wavelet Package and Support Vector Machines. |
PAKDD |
2007 |
DBLP DOI BibTeX RDF |
wavelet package decomposition, support vector machines, feature extraction, gene expression profiles, tumor classification |
| 1 | Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen |
Axiomatizing Extended Temporal Logic Fragments Via Instantiation. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | XinJun Mao, Jianming Zhao, Ji Wang |
Engineering Adaptive Multi-Agent Systems with ODAM Methodology. |
PRIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaodong Yi, Ji Wang, Xuejun Yang |
Slicing Execution for Model Checking C Programs. |
International Journal of Software Engineering and Knowledge Engineering |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xicheng Lu, Huaimin Wang, Ji Wang |
Internet-based virtual computing environment (iVCE): Concepts and architecture. |
Science in China Series F: Information Sciences |
2006 |
DBLP DOI BibTeX RDF |
Internet, collaboration, aggregation, resource, virtual computing environment |
| 1 | Xiaodong Yi, Ji Wang, Xuejun Yang |
Stateful Dynamic Partial-Order Reduction. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi |
Towards Formal Interfaces for Web Services with Transactions. |
SITIS |
2006 |
DBLP DOI BibTeX RDF |
Interface theory, Web service, Composition, Transaction |
| 1 | Ting Wang, Yaoyong Li, Kalina Bontcheva, Hamish Cunningham, Ji Wang |
Automatic Extraction of Hierarchical Relations from Text. |
ESWC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Wang, Zhengjun Zhai, Xiaobin Cai |
Real-Time Continuous Collision Detection Based on Swept Volume and Depth Texture. |
ICAT Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung |
An Interface Theory Based Approach to Verification of Web Services. |
COMPSAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wing Lok Yeung, Ji Wang, Wei Dong |
Verifying Choreographic Descriptions of Web Services Based on CSP. |
SCW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianming Zhao, XinJun Mao, Ji Wang |
Developing Multi-Agent Systems with Dynamic Binding Mechanism. |
IAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shulin Wang, Huowang Chen, Ji Wang, Dingxing Zhang, Shutao Li |
Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines. |
CIS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong |
Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | XinJun Mao, Zhiming Chang, Lijun Shan, Hong Zhu, Ji Wang |
The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ji Wang, Xiaodong Yi, Xuejun Yang |
Towards a Framework for Scalable Model Checking of Concurrent C Programs. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi |
Automated WCET Analysis Based on Program Modes. |
AST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shulin Wang, Ji Wang, Huowang Chen, Boyun Zhang |
SVM-Based Tumor Classification with Gene Expression Data. |
ADMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Yu, Ji Wang, Ting Wang, Huowang Chen |
Representing Wholes by Structure. |
ICCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Wang, M. J. Ikram, Ashfaq A. Khokhar |
Efficient transmission of MPEG-2 video bit streams over HIPERLAN/2. |
Wireless Communications and Mobile Computing |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjun Wen, Ji Wang, Zhi-Chang Qi |
2/3 Alternating Simulation Between Interface Automata. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong |
Improvements Towards Formalizing UML State Diagrams in CSP. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi |
Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Wang, Rui Shen, Hong Zhu |
Agent Oriented Programming Based on SLABS. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Ji Wang |
Contract-Based Formal Specification of Safety Critical Systems. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | XinJun Mao, Ji Wang, Jiajia Chen |
Modeling Organization Structure of Multi-Agent System. |
IAT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaodong Yi, Ji Wang, Xuejun Yang |
Verification of C Programs using Slicing Execution. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Wang, Rui Shen, Hong Zhu |
Caste-Centric Agent-Oriented Programming. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Wang, Rui Shen, Hong Zhu |
Towards an agent oriented programming language with caste and scenario mechanisms. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
scenario, agent-oriented programming, caste |
| 1 | Xin Wang, Ji Wang, Zhi-Chang Qi |
Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjun Wen, Ji Wang, Zhi-Chang Qi |
Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Shen, Ji Wang, Hong Zhu |
Scenario Mechanism in Agent-Oriented Programming. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi |
Property-Oriented Testing of Real-Time Systems. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuhao Li, Ji Wang, Zhi-Chang Qi |
Property-Oriented Test Generation from UML Statecharts. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjun Wen, Ji Wang, Zhi-Chang Qi |
Reverse Observation Equivalence Between Labelled State Transition Systems. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiong Yan, Ji Wang, Huowang Chen |
UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. |
ISPA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | XinJun Mao, Ji Wang, Eric Yu |
A Framework to Specify and Evaluate Coordination in MAS with Logic. |
IAT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Wang, Ji Wang, Yang Yu, Rui Shen, Jinhong Liu, Huowang Chen |
MetaData Pro: Ontology-Based Metadata Processing for Web Resources. |
WISE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Jiong, Ji Wang, Huowang Chen |
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinhui Shan, Ji Wang, Zhi-Chang Qi, Jianping Wu |
Improved Method to Generate Path-Wise Test Data. |
J. Comput. Sci. Technol. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Jiong, Ji Wang, Huowang Chen |
Deriving Software Statistical Testing Model from UML Model. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Wang, Ashfaq A. Khokhar, Vijay K. Garg |
Video Communication with QoS Guarantees over HIPERLAN/2. |
ISMSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Wang, Wei Dong, Zhichang Qi |
Slicing Hierarchical Automata for Model Checking UML Statecharts. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi |
Model Checking UML Statecharts. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinhui Shan, Ji Wang, Zhichang Qi |
On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiegeng Luo, Huowang Chen, Bingshan Wang, Ji Wang, Zhenghu Gong, Zhichang Qi |
Verifying automata specification of distributed probabilistic real-time systems. |
J. Comput. Sci. Technol. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya |
Formal Design of Hybrid Systems. |
FTRTFT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Wang, Huowang Chen |
Temporal Reasoning About Real Time Reactive Systems. |
IWAR |
1992 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")