Wensheng Tang

Orcid: 0000-0003-1137-1758

According to our database1, Wensheng Tang authored at least 55 papers between 2006 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions.
ACM Trans. Softw. Eng. Methodol., March, 2024

Collaborative Optimization of Learning Team Formation Based on Multidimensional Characteristics and Constraints Modeling: A Team Leader-Centered Approach via E-CARGO.
IEEE Trans. Comput. Soc. Syst., February, 2024

SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis.
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023
Predicting examinee performance based on a fuzzy cloud cognitive diagnosis framework in e-learning environment.
Soft Comput., December, 2023

Predicting Student Performance in Future Exams via Neutrosophic Cognitive Diagnosis in Personalized E-Learning Environment.
IEEE Trans. Learn. Technol., October, 2023

A Segmented Variable-Parameter ZNN for Dynamic Quadratic Minimization With Improved Convergence and Robustness.
IEEE Trans. Neural Networks Learn. Syst., May, 2023

DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Synthesizing Conjunctive Queries for Code Search.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

A Multi-level Approach to Learning Early Warning based on Cognitive Diagnosis and Learning Behaviors Analysis.
Proceedings of the 26th International Conference on Computer Supported Cooperative Work in Design, 2023

2022
Complexity-guided container replacement synthesis.
Proc. ACM Program. Lang., 2022

Exercise Recommendation Based on Cognitive Diagnosis and Neutrosophic Set.
Proceedings of the 25th IEEE International Conference on Computer Supported Cooperative Work in Design, 2022

Hybrid Recommendation of Personalized MOOC Resources: A User Context-aware Approach.
Proceedings of the 25th IEEE International Conference on Computer Supported Cooperative Work in Design, 2022

Collaborative Prediction of Examinee Performance based on Fuzzy Cognitive Diagnosis via cloud model.
Proceedings of the 25th IEEE International Conference on Computer Supported Cooperative Work in Design, 2022

2021
Loss-Aware Throughput Estimation Scheduler for Multi-Path TCP in Heterogeneous Wireless Networks.
IEEE Trans. Wirel. Commun., 2021

Resource Utilization-Aware Collaborative Optimization of IaaS Cloud Service Composition for Data-Intensive Applications.
IEEE Trans. Syst. Man Cybern. Syst., 2021

High-order error function designs to compute time-varying linear matrix equations.
Inf. Sci., 2021

Skeletal approximation enumeration for SMT solver testing.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Fuzzing SMT solvers via two-dimensional input space exploration.
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020
A Noise-Tolerant Zeroing Neural Network for Time-Dependent Complex Matrix Inversion Under Various Kinds of Noises.
IEEE Trans. Ind. Informatics, 2020

A Short Flows Fast Transmission Algorithm Based on MPTCP Congestion Control.
Proceedings of the Artificial Intelligence and Security - 6th International Conference, 2020

Research on DINA Model in Online Education.
Proceedings of the e-Learning, e-Education, and Online Training, 2020

Research on Educational Data Mining Based on Big Data.
Proceedings of the e-Learning, e-Education, and Online Training, 2020

2019
Collaborative Optimization of Service Composition for Data-Intensive Applications in a Hybrid Cloud.
IEEE Trans. Parallel Distributed Syst., 2019

Receiver-Side TCP Countermeasure in Cellular Networks.
Sensors, 2019

Symmetric integrators based on continuous-stage Runge-Kutta-Nyström methods for reversible systems.
Appl. Math. Comput., 2019

High order symplectic integrators based on continuous-stage Runge-Kutta-Nyström methods.
Appl. Math. Comput., 2019

A MPTCP Scheduler Combined With Congestion Control for Short Flow Delivery in Signal Transmission.
IEEE Access, 2019

Continuous-Variable Arbitrated Quantum Signature Based on Dense Coding and Teleportation.
IEEE Access, 2019

Tuning the Aggressive Slow-Start Behavior of MPTCP for Short Flows.
IEEE Access, 2019

Performance Evaluation of Multipath TCP Scheduling Algorithms.
IEEE Access, 2019

Identifying error code misuses in complex system.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018
A high capacity quantum weak blind signature based on logistic chaotic maps.
Quantum Inf. Process., 2018

Reducing transport latency for short flows with multipath TCP.
J. Netw. Comput. Appl., 2018

Symplecticity-preserving continuous-stage Runge-Kutta-Nyström methods.
Appl. Math. Comput., 2018

A note on continuous-stage Runge-Kutta methods.
Appl. Math. Comput., 2018

Blocking Time-Based MPTCP Scheduler for Heterogeneous Networks.
Proceedings of the Cloud Computing and Security - 4th International Conference, 2018

Optimization of Cloud Service Composition for Data-intensive Applications via E-CARGO.
Proceedings of the 22nd IEEE International Conference on Computer Supported Cooperative Work in Design, 2018

2017
Time-aware trustworthiness ranking prediction for cloud services using interval neutrosophic set and ELECTRE.
Knowl. Based Syst., 2017

Discontinuous Galerkin methods for Hamiltonian ODEs and PDEs.
J. Comput. Phys., 2017

Multi-valued collaborative QoS prediction for cloud service via time series analysis.
Future Gener. Comput. Syst., 2017

2016
Construction of symplectic (partitioned) Runge-Kutta methods with continuous stage.
Appl. Math. Comput., 2016

2014
Construction of Runge-Kutta type methods for solving ordinary differential equations.
Appl. Math. Comput., 2014

2012
Time finite element methods: A unified framework for numerical discretizations of ODEs.
Appl. Math. Comput., 2012

2011
Network Security Situation Assessment Based on Stochastic Game Model.
Proceedings of the Advanced Intelligent Computing - 7th International Conference, 2011

Pavement Crack Segmentation Algorithm Based on Local Optimal Threshold of Cracks Density Distribution.
Proceedings of the Advanced Intelligent Computing - 7th International Conference, 2011

Gray Scale Potential Theory of Sparse Image.
Proceedings of the Advanced Intelligent Computing - 7th International Conference, 2011

2010
Fast Algorithm for Multisource Image Registration Based on Geometric Feature of Corners.
Proceedings of the Advanced Intelligent Computing Theories and Applications, 2010

2008
Lowering the Overhead of Hybrid Transactional Memory with Transact Cache.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

A Novel Approach to Mobile Positioning Tracking.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

E3NP: An Energy-Efficient, Expeditious Network Reprogramming Mechanism in Wireless Sensor Network.
Proceedings of the International Conference on Embedded Software and Systems, 2008

2007
Minimization of the Redundant Sensor Nodes in Dense Wireless Sensor Networks.
Proceedings of the Evolvable Systems: From Biology to Hardware, 2007

A SWP Specification for Sequential Image Processing Algorithms.
Proceedings of the Advances in Computer Systems Architecture, 2007

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

Unknown Malicious Codes Detection Based on Rough Set Theory and Support Vector Machine.
Proceedings of the International Joint Conference on Neural Networks, 2006


  Loading...