Ji Wang

According to our database1, Ji Wang authored at least 122 papers between 1992 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Bulk Acoustic Wave Characteristics of Pseudo Lateral-Field-Excitation on LGT Single Crystal for Liquid Phase Sensing.
Sensors, 2019

Indoor Localization within Multi-Story Buildings Using MAC and RSSI Fingerprint Vectors.
Sensors, 2019

Connectivity probability analysis of VANETs at different traffic densities using measured data at 5.9 GHz.
Physical Communication, 2019

Rademacher dropout: An adaptive dropout for deep neural network via optimizing generalization gap.
Neurocomputing, 2019

Automatically detecting missing cleanup for ungraceful exits.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Integrating Decision Sharing with Prediction in Decentralized Planning for Multi-Agent Coordination under Uncertainty.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Sum Rate Maximization for Frame-Based Multigateway Satellite Systems with Feeder Link Interference.
Proceedings of the 2019 IEEE International Conference on Communications, 2019

Complex Question Decomposition for Semantic Parsing.
Proceedings of the 57th Conference of the Association for Computational Linguistics, 2019

2018
Untangling Blockchain: A Data Processing View of Blockchain Systems.
IEEE Trans. Knowl. Data Eng., 2018

Optimal Collision-Free Robot Trajectory Generation Based on Time Series Prediction of Human Motion.
IEEE Robotics and Automation Letters, 2018

Modified PSO algorithms with "Request and Reset" for leak source localization using multiple robots.
Neurocomputing, 2018

Trust-based mechanism design for cooperative spectrum sensing in cognitive radio networks.
Computer Communications, 2018

Exponential regulation of the anti-collocatedly disturbed cage in a wave PDE-modeled ascending cable elevator.
Automatica, 2018

Balancing and suppression of oscillations of tension and cage in dual-cable mining elevators.
Automatica, 2018

Logtracker: learning log revision behaviors proactively from software evolution history.
Proceedings of the 26th Conference on Program Comprehension, 2018

Different Traffic Density Connectivity Probability Analysis in VANETs with Measured Data at 5.9 GHz.
Proceedings of the 16th International Conference on Intelligent Transportation Systems Telecommunications, 2018

Joint Optimization of Stateful VNF Placement and Routing Scheduling in Software-Defined Networks.
Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

Layerwise Perturbation-Based Adversarial Training for Hard Drive Health Degree Prediction.
Proceedings of the IEEE International Conference on Data Mining, 2018

Deep Learning-based Transformation Matrix Estimation for Bidirectional Interframe Prediction.
Proceedings of the IEEE 7th Global Conference on Consumer Electronics, 2018

Analyzing Interrupt Handlers via Interprocedural Summaries.
Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

2017
Dynamic sounding for multi-user MIMO in wireless LANs.
IEEE Trans. Consumer Electronics, 2017

A Method for Measurement of Nonlinearity of Laser Interferometer Based on Optical Frequency Tuning.
Sensors, 2017

A named data approach for DTN routing.
Proceedings of the 2017 Wireless Days, Porto, Portugal, March 29-31, 2017, 2017

Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

BLOCKBENCH: A Framework for Analyzing Private Blockchains.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Implicit Cooperative Caching based on Information Popularity for Vehicular Networks.
Proceedings of the 12th Workshop on Challenged Networks, 2017

Experiential Interaction Modeling for Virtual Training of Ultra-High Voltage Power System and Its Application.
Proceedings of the Advances in Computer Science and Ubiquitous Computing, 2017

2016
On MAC optimization for large-scale wireless sensor network.
Wireless Networks, 2016

In vivo precision of digital topological skeletonization based individual trabecula segmentation (ITS) analysis of trabecular microstructure at the distal radius and tibia by HR-pQCT.
Pattern Recognition Letters, 2016

Cyber Threat Detection and Application Analysis.
Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2016

Adaptive decision fusion using genetic algorithm.
Proceedings of the 2016 Annual Conference on Information Science and Systems, 2016

2015
Accurate Vessel Segmentation With Constrained B-Snake.
IEEE Trans. Image Processing, 2015

Threshold optimization of pseudo-inverse linear discriminants based on overall accuracies.
Proceedings of the 2015 International Joint Conference on Neural Networks, 2015

Spectrum: A visual analytics tool to explore movement logs.
Proceedings of the 2015 IEEE Conference on Visual Analytics Science and Technology, 2015

A load-transient-enhanced output-capacitor-free low-dropout regulator based on an ultra-fast push-pull amplifier.
Proceedings of the 2015 IEEE 11th International Conference on ASIC, 2015

2014
Static analysis of lists by combining shape and numerical abstractions.
Sci. Comput. Program., 2014

An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters.
Electr. Notes Theor. Comput. Sci., 2014

An Abstract Domain to Infer Octagonal Constraints with Absolute Value.
Proceedings of the Static Analysis - 21st International Symposium, 2014

Power Distribution Network Reconfiguration by Evolutionary Integer Programming.
Proceedings of the Parallel Problem Solving from Nature - PPSN XIII, 2014

A 9-bit 1-MS/s 7-μW SAR ADC for ultra low power radio.
Proceedings of the 2014 NORCHIP, Tampere, Finland, October 27-28, 2014, 2014

Making sense of daily life data: From commonalities to anomalies: VAST 2014 Mini Challenge #2.
Proceedings of the 2014 IEEE Conference on Visual Analytics Science and Technology, 2014

Event-based text visual analytics.
Proceedings of the 2014 IEEE Conference on Visual Analytics Science and Technology, 2014

ReCloud: semantics-based word cloud visualization of user reviews.
Proceedings of the Graphics Interface 2014, 2014

Decision fusion for parallel sequential sensors.
Proceedings of the 17th International Conference on Information Fusion, 2014

Distributed decision fusion using the Neyman-Pearson criterion.
Proceedings of the 17th International Conference on Information Fusion, 2014

Perfect versus imperfect monitoring in multi-agent opportunistic channel access.
Proceedings of the 9th International Conference on Cognitive Radio Oriented Wireless Networks and Communications, 2014

Trust-based data fusion mechanism design in cognitive radio networks.
Proceedings of the IEEE Conference on Communications and Network Security, 2014

Towards crowd-based customer service: a mixed-initiative tool for managing Q&A sites.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014

2013
Robust Relay Precoding Design for Two Way Relay Systems with Delayed and Limited Feedback.
IEEE Communications Letters, 2013

Internet-based Virtual Computing Environment: Beyond the data center as a computer.
Future Generation Comp. Syst., 2013

Static analysis of list-manipulating programs via bit-vectors and numerical abstractions.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Fisheye word cloud for temporal sentiment exploration.
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

2012
Solutions of nonlinear thickness-shear vibrations of an infinite isotropic plate with the homotopy analysis method.
Numerical Algorithms, 2012

Segmenting the Femoral Head and Acetabulum in the Hip Joint Automatically Using a Multi-Step Scheme.
IEICE Transactions, 2012

A logistic regression model for Semantic Web service matchmaking.
SCIENCE CHINA Information Sciences, 2012

Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
SAWSDL-iMatcher: A customizable and effective Semantic Web Service matchmaker.
J. Web Semant., 2011

Introduction to the Special Issue for the 10th International Conference on Quality Software (QSIC 2010).
Softw., Pract. Exper., 2011

A Programming Language Approach to Internet-Based Virtual Computing Environment.
J. Comput. Sci. Technol., 2011

Study on the Composite ABS Control of Vehicles with Four Electric Wheels.
JCP, 2011

Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering, 2011

SAWSDL Service Discovery Based on Fine-Grained Data Semantics.
IEICE Transactions, 2011

Using complex network features for fast clustering in the web.
Proceedings of the 20th International Conference on World Wide Web, 2011

A Transmit Precoding Scheme for Downlink Multiuser MIMO Systems.
Proceedings of the 74th IEEE Vehicular Technology Conference, 2011

Multi-Cell Collaborative Transmission Combining Closed-Loop and Open-Loop Techniques.
Proceedings of the 74th IEEE Vehicular Technology Conference, 2011

A bipartite graph based social network splicing method for person name disambiguation.
Proceedings of the Proceeding of the 34th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2011

A Wikipedia Based Semantic Graph Model for Topic Tracking in Blogsphere.
Proceedings of the IJCAI 2011, 2011

Linear Absolute Value Relation Analysis.
Proceedings of the Programming Languages and Systems, 2011

The first international workshop on dependability of clouds, data centers and virtual computing environments: DCDV 2011.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

The First International Workshop on Dependability of Clouds, data centers and Virtual Computing Environments.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Toward Optimal Deployment of Communication-Intensive Cloud Applications.
Proceedings of the IEEE International Conference on Cloud Computing, 2011

2010
Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs.
Comput. J., 2010

Research on trusted computing and its development.
SCIENCE CHINA Information Sciences, 2010

An Abstract Domain to Discover Interval Linear Equalities.
Proceedings of the Verification, 2010

Towards Building Efficient Content-Based Publish/Subscribe Systems over Structured P2P Overlays.
Proceedings of the 39th International Conference on Parallel Processing, 2010

2009
Distribution Network Reconfiguration Based on Particle Clonal Genetic Algorithm.
JCP, 2009

Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships.
Proceedings of the Static Analysis, 16th International Symposium, 2009

A framework for constructing peer-to-peer overlay networks in Java.
Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

DPM: A Demand-driven Virtual Disk Prefetch Mechanism for Mobile Personal Computing Environments.
Proceedings of the NPC 2009, 2009

Efficient social network approximate analysis on blogosphere based on network structure characteristics.
Proceedings of the 3rd Workshop on Social Network Mining and Analysis, 2009

A Method of Correction for Marine Seismic Acquisition.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2009

Mobility of Internet-Based Virtual Computing Environment.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

Fast, On-Demand Software Deployment with Lightweight, Independent Virtual Disk Images.
Proceedings of the Eighth International Conference on Grid and Cooperative Computing, 2009

2008
An adaptive casteship mechanism for developing multi-agent systems.
IJCAT, 2008

Extracting Semantic Constraint from Description Text for Semantic Web Service Discovery.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Information Flow Detection and Tracking on Web2.0 BLOGS Based on Social Networks.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Particle Clonal Genetic Algorithm Using Sequence Coding for Solving Distribution Network Reconfiguration.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

The Noise Reduction of Structural Multichannel Signals Based on Independent Component Analysis.
Proceedings of the Fourth International Conference on Natural Computation, 2008

2007
Engineering Adaptive Multi-Agent Systems with ODAM Methodology.
Proceedings of the Agent Computing and Multi-Agent Systems, 2007

Feature Extraction and Classification of Tumor Based on Wavelet Package and Support Vector Machines.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2007

2006
Slicing Execution for Model Checking C Programs.
International Journal of Software Engineering and Knowledge Engineering, 2006

Internet-based virtual computing environment (iVCE): Concepts and architecture.
Science in China Series F: Information Sciences, 2006

The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Towards a Framework for Scalable Model Checking of Concurrent C Programs.
Proceedings of the Leveraging Applications of Formal Methods, 2006

The Classification of Tumor Using Gene Expression Profile Based on Support Vector Machines and Factor Analysis.
Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006

Stateful Dynamic Partial-Order Reduction.
Proceedings of the Formal Methods and Software Engineering, 2006

Representing Wholes by Structure.
Proceedings of the Conceptual Structures: Inspiration and Application, 2006

Real-Time Continuous Collision Detection Based on Swept Volume and Depth Texture.
Proceedings of the 16th International Conference on Artificial Reality and Telexistence, 2006

Developing Multi-Agent Systems with Dynamic Binding Mechanism.
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Automatic Extraction of Hierarchical Relations from Text.
Proceedings of the Semantic Web: Research and Applications, 2006

Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines.
Proceedings of the Computational Intelligence and Security, International Conference, 2006

SVM-Based Tumor Classification with Gene Expression Data.
Proceedings of the Advanced Data Mining and Applications, Second International Conference, 2006

2005
Efficient transmission of MPEG-2 video bit streams over HIPERLAN/2.
Wireless Communications and Mobile Computing, 2005

Verification of C Programs using Slicing Execution.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Caste-Centric Agent-Oriented Programming.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Modeling Organization Structure of Multi-Agent System.
Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

Agent Oriented Programming Based on SLABS.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Towards an agent oriented programming language with caste and scenario mechanisms.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2004
MetaData Pro: Ontology-Based Metadata Processing for Web Resources.
Proceedings of the Web Information Systems, 2004

Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models.
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software.
Proceedings of the Parallel and Distributed Processing and Applications, 2004

A Framework to Specify and Evaluate Coordination in MAS with Logic.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

Scenario Mechanism in Agent-Oriented Programming.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003
Deriving Software Statistical Testing Model from UML Model.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

2002
Video Communication with QoS Guarantees over HIPERLAN/2.
Proceedings of the 4th International Symposium on Multimedia Software Engineering, 2002

1996
On the Design of Hybrid Control Systems Using Automata Models.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1995
Formal Specification of Stability in Hybrid Control Systems.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

A Formal Description of Hybrid Systems.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994
Formal Design of Hybrid Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993
A formal technique to analyze real-time systems.
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992
Temporal Reasoning About Real Time Reactive Systems.
Proceedings of the Automated Reasoning, 1992


  Loading...