Yuying Wang

According to our database1, Yuying Wang authored at least 42 papers between 1998 and 2020.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


A New Positioning Method Based on Multiple Ultrasonic Sensors for Autonomous Mobile Robot.
Sensors, 2020

Blockchain-Based Fair Payment Protocol for Deduplication Cloud Storage System.
IEEE Access, 2019

Maritime Surveillance With Undersampled SAR.
IEEE Geosci. Remote Sensing Lett., 2017

Moving target reconstruction approach for the multichannel in Azimuth HRWS SAR system.
Proceedings of the 2017 IEEE International Geoscience and Remote Sensing Symposium, 2017

Fuzzing the Font Parser of Compound Documents.
Proceedings of the 4th IEEE International Conference on Cyber Security and Cloud Computing, 2017

Quantum clustering using kernel entropy component analysis.
Neurocomputing, 2016

Type-2 fuzzy event parallel computing system: Overcoming computer int index limitation in big data.
Appl. Soft Comput., 2016

Understanding and detecting performance and security bugs in IOT OSes.
Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

IStage: An Interactive Stage System.
Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016

Solving the Dynamic Stochastic General Equilibrium Model with Stochastic Volatility: An Application in China.
JACIII, 2015

Type-2 fuzzy probabilistic system for proactive monitoring of uncertain data-intensive seasonal time series.
PhD thesis, 2014

Web Service Composition Verification of Safety Properties Based on Predicate Abstraction.
JSW, 2014

Test Case Generation of Web Service Composition based on CP-nets.
JSW, 2014

A multi-population cooperative coevolutionary algorithm for multi-objective capacitated arc routing problem.
Inf. Sci., 2014

An Improved Decomposition-Based Memetic Algorithm for Multi-Objective Capacitated Arc Routing Problem.
Appl. Soft Comput., 2014

Study on Complex Event Processing for CPS: An Event Model Perspective.
Proceedings of the 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops, 2014

Formal Verification of Lunar Rover Control Software Using UPPAAL.
Proceedings of the FM 2014: Formal Methods, 2014

A Key Pre-distribution Scheme Based on Multiple Key Spaces in Wireless Sensor Networks.
Proceedings of the Tenth International Conference on Computational Intelligence and Security, 2014

A Novel Key Pre-distribution Scheme in Wireless Sensor Networks.
Proceedings of the Tenth International Conference on Computational Intelligence and Security, 2014

Clinical research on treatment of insomnia due to deficiency of the heart and spleen treated by acupuncture with ear pricking.
Proceedings of the 2014 IEEE International Conference on Bioinformatics and Biomedicine, 2014

Type-2 Fuzzy SARIMA system for real-valued uncertain non-stationary data-intensive seasonal time series.
Proceedings of the 2013 IEEE Symposium on Advances in Type-2 Fuzzy Logic Systems, 2013

An Implementation towards Integrated Simulation of Cyber-physical Systems.
Proceedings of the 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, 2013

J̃-plane - a new form of representation for Type-2 Fuzzy Probability.
Proceedings of the FUZZ-IEEE 2013, 2013

Study on Integrated Modeling Methods toward Co-simulation of Cyber-Physical System.
Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012

Type-2 fuzzy probabilistic system.
Proceedings of the 9th International Conference on Fuzzy Systems and Knowledge Discovery, 2012

Type-2 Fuzzy Event.
Proceedings of the 9th International Conference on Fuzzy Systems and Knowledge Discovery, 2012

Ability-training-oriented automated assessment in introductory programming course.
Comput. Educ., 2011

A Configurable Environment Simulation Tool for Embedded Software.
Proceedings of the Autonomic and Trusted Computing - 8th International Conference, 2011

Experiments on Test Case Reuse of Test Coverage Criteria.
Proceedings of the Symposia and Workshops on Ubiquitous, 2010

Design and implementation of configurable simulation system for embedded software based on MDA.
Proceedings of the SummerSim '10, 2010

CFCSS without Aliasing for SPARC Architecture.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

A MDA-Based Approach for General Embedded Software Simulation Platform.
Proceedings of the International Conference on Scalable Computing and Communications / Eighth International Conference on Embedded Computing, 2009

An Improved Path-Based Reliability Prediction Model for Component-Based Embedded Software.
Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009

A Bilingual Teaching Modal in a Programing Language Course.
Proceedings of the ETT 2009, 2009

Semantic similarity-based grading of student programs.
Inf. Softw. Technol., 2007

Fuzzy-Smith Control for QoS-Adaptive Notification Service.
Proceedings of the Ubiquitous Intelligence and Computing, 4th International Conference, 2007

Mutual Effect of Instruction Layout Optimization and Instruction Memory Hierarchy.
Proceedings of the 2007 International Conference on Parallel Processing Workshops (ICPP Workshops 2007), 2007

An Architecture to Support Multi-node Downloading of Distributed Virtual Environment on Grid.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2007

An Integer Incremental AOI Algorithm for Progressive Downloading of Large Scale VRML Environments.
Proceedings of the Technologies for E-Learning and Digital Entertainment, 2007

Evaluating solvency versus efficiency performance and different forms of organization and marketing in US property--liability insurance companies.
Eur. J. Oper. Res., 2004

Dea Evaluations of the Efficiency of Organizational Forms and Distribution Systems in the Us Property and Liability Insurance Industry.
Int. J. Systems Science, 1998

An Approach to Generate Membership Function by Using Kohonen's SOFM Nets.
Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998