Tao Zheng

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Bibliography

2026
HELO-APR: Enhancing Low-Resource Program Repair through Cross-Lingual Knowledge Transfer.
CoRR, April, 2026

Beyond the Academic Monoculture: A Unified Framework and Industrial Perspective for Attributed Graph Clustering.
CoRR, March, 2026

${\mathsf{KubeSec}} $KubeSec: Automatic Detection of Takeover Risks Introduced by Third-Party Apps in the Kubernetes Ecosystem.
IEEE Trans. Dependable Secur. Comput., 2026

Particle swarm optimization with problem-aware hyperparameter design for feature selection in high dimensions.
Inf. Sci., 2026

SELink: A semantic-enhanced modular framework for issue-commit link recovery.
Inf. Softw. Technol., 2026

2025
Multi-Agent Intelligence for Multidisciplinary Decision-Making in Gastrointestinal Oncology.
CoRR, December, 2025

Development and validation of a nomogram for diabetic tibial neuropathy based on ultrasound radiomics: a multicenter study.
BMC Medical Imaging, December, 2025

VBSF: Vulnerability Behavior Scanning Framework for Intelligent Autonomous Transport Systems.
IEEE Trans. Intell. Transp. Syst., October, 2025

Fractional-Order Sliding Mode Controller Based on ESO for a Buck Converter With Mismatched Disturbances: Design and Experiments.
IEEE Trans. Ind. Electron., August, 2025

CryptoScope: Utilizing Large Language Models for Automated Cryptographic Logic Vulnerability Detection.
CoRR, August, 2025

A Kinematic Constrained Batch Informed Trees Algorithm With Varied Density Sampling for Mobile Robot Path Planning.
IEEE Robotics Autom. Lett., July, 2025

Enhancing the security of edge-AI runtime environments: a fine-tuning method based on large language models.
Wirel. Networks, February, 2025

Efficient privacy-preserving federated logistic regression with poor-quality users.
Peer Peer Netw. Appl., February, 2025

Gupacker: Generalized Unpacking Framework for Android Malware.
IEEE Trans. Inf. Forensics Secur., 2025

Multi-Stage Stochastic Planning for Transmission Systems Considering Dynamic Frequency Stability.
Symmetry, 2025

Alleviating class imbalance in Feature Envy prediction: An oversampling technique based on code entity attributes.
Inf. Softw. Technol., 2025

Exploration and Improvement of Capabilities of LLMs in Code Refinement Task.
Int. J. Softw. Informatics, 2025

Hierarchical Chaotic Wingsuit Flying Search Algorithm with Balanced Exploitation and Exploration for Optimization.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2025

A Speech Enhancement Method Based on Training Lifetime Knowledge Distillation.
Proceedings of the Advanced Intelligent Computing Technology and Applications, 2025

Comparative Analysis of Interpretable Algorithms for Tuberculous Pleural Effusion Detection: From Model Optimization to Web-Based Clinical Deployment.
Proceedings of the Advanced Intelligent Computing Technology and Applications, 2025

Research on Distributed Routing Trusted Identity Authentication Technology.
Proceedings of the IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, 2025

A Trusted Digital Identity Authentication Scheme of Cybertwin.
Proceedings of the IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, 2025

2024
Taas: Trust assessment as a service for secure communication of green edge-assisted UAV network.
Peer Peer Netw. Appl., July, 2024

Enhancing TinyML-Based Container Escape Detectors With Systemcall Semantic Association in UAVs Networks.
IEEE Internet Things J., June, 2024

Isolating all the real roots of a mixed trigonometric-polynomial.
J. Symb. Comput., March, 2024

HEU-Net: hybrid attention residual block-based network with external skip connections for metal corrosion semantic segmentation.
Vis. Comput., February, 2024

RESTLess: Enhancing State-of-the-Art REST API Fuzzing With LLMs in Cloud Service Computing.
IEEE Trans. Serv. Comput., 2024

Exploring Collaborative Co-Signing Intelligence and Parallel Distributed Algorithms for Integrating Internal and External Documents.
Scalable Comput. Pract. Exp., 2024

Identifying critical weak points of power-gas integrated energy system based on complex network theory.
Reliab. Eng. Syst. Saf., 2024

A video object segmentation-based fish individual recognition method for underwater complex environments.
Ecol. Informatics, 2024

NCCMF: Non-Collaborative Continuous Monitoring Framework for Container-Based Cloud Runtime Status.
Comput. Mater. Continua, 2024

KubeFuzzer: Automating RESTful API Vulnerability Detection in Kubernetes.
Comput. Mater. Continua, 2024

Heterogeneous Space Fusion and Dual-Dimension Attention: A New Paradigm for Speech Enhancement.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2024

Analysis of Harmonic Coupling Mechanisms and Decoupling Control in Hybrid AC/DC Microgrids.
Proceedings of the IEEE International Conference on Communications, 2024

Intelligent Detection and Localization of Cable Anomalies Based on Power Line Communication Technology.
Proceedings of the IEEE International Conference on Communications, 2024

Orthogonal Synthesis: Data Augmentation for Multimodal Sentiment Analysis.
Proceedings of the International Joint Conference on Neural Networks, 2024

Metal Thickness Measurement Module with Scotch Yoke Mechanism for Tank Inspections.
Proceedings of the IEEE International Conference on Advanced Intelligent Mechatronics, 2024

2023
Umbrellalike Hierarchical Artificial Bee Colony Algorithm.
IEICE Trans. Inf. Syst., March, 2023

A Non-Revisiting Equilibrium Optimizer Algorithm.
IEICE Trans. Inf. Syst., March, 2023

Unsupervised anomaly detection in brain MRI: Learning abstract distribution from massive healthy brains.
Comput. Biol. Medicine, March, 2023

Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure.
J. Symb. Comput., 2023

Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial.
CoRR, 2023

Autonomous robotic exploration with region-biased sampling and consistent decision making.
Complex Intell. Syst., 2023

A Comprehensive SLAM Dataset for Indoor Exhibition Environments: Data Collection, Processing, and Comparative Evaluation.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2023

Using Complex Network Communities to Evaluate the Correctness of Object Detection.
Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

2022
A Transformer-Based Method of Multienergy Load Forecasting in Integrated Energy System.
IEEE Trans. Smart Grid, 2022

Discovery of Small Molecule Agonist of Gonadotropin-Releasing Hormone Receptor (GnRH1R).
J. Chem. Inf. Model., 2022

The Value of First-Order Features Based on the Apparent Diffusion Coefficient Map in Evaluating the Therapeutic Effect of Low-Intensity Pulsed Ultrasound for Acute Traumatic Brain Injury With a Rat Model.
Frontiers Comput. Neurosci., 2022

A Vergleichsstellensatz of Strassen's Type for a Noncommutative Preordered Semialgebra through the Semialgebra of its Fractions.
CoRR, 2022

An artificial intelligence-based risk prediction model of myocardial infarction.
BMC Bioinform., 2022

Frequency Regulation Control and Parameter Optimization of Doubly-Fed Induction Machine Pumped Storage Hydro Unit.
IEEE Access, 2022

A Target-based Calibration Method for LiDAR-Visual-Thermal Multi-Sensor System.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2022

Interpretable Binaural Ratio for Visually Guided Binaural Audio Generation.
Proceedings of the International Joint Conference on Neural Networks, 2022

High-efficiency Diagnosis of DC-link Capacitors in Grid-connected PV System with Parallel DC Modules.
Proceedings of the IECON 2022, 2022

Contactless Low Power Air-Writing Based on FMCW Radar Networks Using Spiking Neural Networks.
Proceedings of the 21st IEEE International Conference on Machine Learning and Applications, 2022

Autoscaling cracker: an efficient asymmetric DDoS attack on serverless functions.
Proceedings of the IEEE Global Communications Conference, 2022

ApkClassiFy: Identification and Classification of packed Android Malicious Applications.
Proceedings of the IEEE Global Communications Conference, 2022

2021
Abdominal Enhanced Computed Tomography Image by Artificial Intelligence Algorithm in the Diagnosis of Abdominal Aortic Aneurysm.
Sci. Program., 2021

Research on Distance Transform and Neural Network Lidar Information Sampling Classification-Based Semantic Segmentation of 2D Indoor Room Maps.
Sensors, 2021

A fast algorithm for computing multiplicative relations between the roots of a generic polynomial.
J. Symb. Comput., 2021

Fine semantic mapping based on dense segmentation network.
Intell. Serv. Robotics, 2021

Stability and Hopf Bifurcation of a Stage-Structured Cannibalism Model with Two Delays.
Int. J. Bifurc. Chaos, 2021

Structural Model and Mathematical Foundation of Information Space.
CoRR, 2021

An optimized two-stage cascaded deep neural network for adrenal segmentation on CT images.
Comput. Biol. Medicine, 2021

Global stability for a delayed HIV reactivation model with latent infection and Beddington-DeAngelis incidence.
Appl. Math. Lett., 2021

A Network Forensics Investigating Method Based on Weak Consistency for Distributed SDN.
Proceedings of the Ubiquitous Security - First International Conference, 2021

Explore Nursing Informatics Research Theme Using Co-Word Analysis.
Proceedings of the Nurses and Midwives in the Digital Age - Selected Papers, Posters and Panels from the 15th International Congress in Nursing Informatics, Virtual Event, 23 August, 2021

Assessment of the Chinese Literature for Nursing Informatics Education Initiatives.
Proceedings of the Nurses and Midwives in the Digital Age - Selected Papers, Posters and Panels from the 15th International Congress in Nursing Informatics, Virtual Event, 23 August, 2021

Development of Nursing Informatics in Mainland China: A Bibliometric Analysis.
Proceedings of the Nurses and Midwives in the Digital Age - Selected Papers, Posters and Panels from the 15th International Congress in Nursing Informatics, Virtual Event, 23 August, 2021

Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure.
Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

Differential Whale Optimization Algorithm.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

2020
A New Automatic Foot Arch Index Measurement Method Based on a Flexible Membrane Pressure Sensor.
Sensors, 2020

An Online Tea Fixation State Monitoring Algorithm Based on Image Energy Attention Mechanism and Supervised Clustering (IEAMSC).
Sensors, 2020

Computed Tomography and Health Study of Using Erlotinib and Apatinib for Advanced Non-Small Cell Lung Cancer.
J. Medical Imaging Health Informatics, 2020

A Zone Routing Algorithm for Service Network.
Proceedings of the 2020 International Conference on Service Science, 2020

Reference Service Process: A Normalized Cross-Over Service Collaboration Paradigm.
Proceedings of the 2020 International Conference on Service Science, 2020

Rotation Matrix Oriented Visual Inertial Online Initialization.
Proceedings of the 2020 IEEE International Conference on Real-time Computing and Robotics, 2020

Smart Greenhouse Management System based on NB-IoT and Smartphone.
Proceedings of the 17th International Joint Conference on Computer Science and Software Engineering, 2020

GGF: A Graph-based Method for Programming Language Syntax Error Correction.
Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

Semantic Segmentation Based on Deeplabv3+ With Fractional-Order Image Enhancement Convolution Kernel.
Proceedings of the ICCCV'20: The 3rd International Conference on Control and Computer Vision, 2020

A Semi-quantum Group Signature Scheme Based on Bell States.
Proceedings of the Artificial Intelligence and Security - 6th International Conference, 2020

An Indoor Wi-Fi Positioning Method Based on RSS Matrix Relevance.
Proceedings of the CSAE 2020: The 4th International Conference on Computer Science and Application Engineering, 2020

Characterizing Triviality of the Exponent Lattice of a Polynomial Through Galois and Galois-Like Groups.
Proceedings of the Computer Algebra in Scientific Computing - 22nd International Workshop, 2020

2019
Near Field Communication-based Agricultural Management Service Systems for Family Farms.
Sensors, 2019

Detection of medical text semantic similarity based on convolutional neural network.
BMC Medical Informatics Decis. Mak., 2019

LHRNet: Lateral hierarchically refining network for salient object detection.
J. Intell. Fuzzy Syst., 2019

Improving bandwidth utilization by compressing small-payload traffic for vehicular networks.
Int. J. Distributed Sens. Networks, 2019

Real-Time Impedance Estimation for Power Line Communication.
IEEE Access, 2019

Three-dimensional Localization of Convolutional Neural Networks Based on Domain Randomization.
Proceedings of the 2019 IEEE International Conference on Robotics and Biomimetics, 2019

A Dense Segmentation Network for Fine Semantic Mapping.
Proceedings of the 2019 IEEE International Conference on Robotics and Biomimetics, 2019

Current Status and Trends in Health Informatics Research: A Bibliometric Analysis by Health Technology and Informatics.
Proceedings of the MEDINFO 2019: Health and Wellbeing e-Networks for All, 2019

An Effective Framework for Constructing Exponent Lattice Basis of Nonzero Algebraic Numbers.
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

Impedance Tracking and Estimation using Power Line Communications.
Proceedings of the 2019 IEEE International Symposium on Power Line Communications and its Applications (ISPLC), 2019

Enhancing Feature Representation for Saliency Detection.
Proceedings of the Advances in Neural Networks - ISNN 2019, 2019

An Improved Recurrent Neural Network Language Model for Programming Language.
Proceedings of the International Joint Conference on Neural Networks, 2019

Delving into the Impact of Saliency Detector: A GeminiNet for Accurate Saliency Detection.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2019: Image Processing, 2019

Annular Feature Pyramid Network for Salient Object Detection.
Proceedings of the Eleventh International Conference on Advanced Computational Intelligence, 2019

Clinical Informatics Course: Doctor of Medicine Student Perceptions.
Proceedings of the AMIA 2019, 2019

2018
Optimization Design Method of a New Stabilized Platform Based on Missile-borne Semi-Strap-down Inertial Navigation System.
Sensors, 2018

Reliability model of bond wire fatigue for IGBT in MMC with system redundancy consideration.
Microelectron. Reliab., 2018

Incrementally and inductively constructing basis of multiplicative dependence lattice of non-zero algebraic numbers.
CoRR, 2018

Research on Hospital Operation Index Prediction Method Based on PSO-Holt-Winters Model.
Proceedings of the 2nd International Conference on Computer Science and Application Engineering, 2018

2017
A machine learning-based framework to identify type 2 diabetes through electronic health records.
Int. J. Medical Informatics, 2017

SmartSec: A Smart Security Mechanism for the New-Flow Attack in Software-Defined Networking.
Proceedings of the 85th IEEE Vehicular Technology Conference, 2017

A Big Data Application of Machine Learning-Based Framework to Identify Type 2 Diabetes Through Electronic Health Records.
Proceedings of the Knowledge Management in Organizations - 12th International Conference, 2017

Pattern Learning Based Parallel Ant Colony Optimization.
Proceedings of the 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC), 2017

Dynamic multi-link scheduling for cellular networks in high-speed transportation systems.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

2016
End-to-end available bandwidth estimation using HybChirp.
Int. J. Comput. Sci. Eng., 2016

Modeling link quality for high-speed railway wireless networks based on hidden Markov chain.
EURASIP J. Wirel. Commun. Netw., 2016

Modeling Link Quality for High-Speed Railway Networks Based on Hidden Markov Chain.
Proceedings of the IEEE 83rd Vehicular Technology Conference, 2016

A multi-criteria value iteration algorithm for POMDP problems.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

2015
Emerging infectious disease: trends in the literature on SARS and H7N9 influenza.
Scientometrics, 2015

Tracking time-varying parameters in software systems with extended Kalman filters.
Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, 2015

Research on the medical Nd: YAG laser power system using LLC resonant converter.
Proceedings of the IEEE International Conference on Advanced Intelligent Mechatronics, 2015

2014
Void control during plating process and thermal annealing of through-mask electroplated copper interconnects.
Microelectron. Reliab., 2014

Long-Distance Travel Behaviours Accelerate and Aggravate the Large-Scale Spatial Spreading of Infectious Diseases.
Comput. Math. Methods Medicine, 2014

Defending ROP Attacks Using Basic Block Level Randomization.
Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014

A-R Exploit: An Automatic ROP Exploit Based on Long Sequence.
Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014

AProbing: Estimating available bandwidth using ACK pair probing.
Proceedings of the International Conference on Smart Computing, 2014

Runtime Code Reuse Attacks: A Dynamic Framework Bypassing Fine-Grained Address Space Layout Randomization.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Hierarchical energy strategy of islanding microgrid based on lexicographic hierarchical method.
Proceedings of the 7th International Conference on Biomedical Engineering and Informatics, 2014

Energy management strategy of battery in isolated micro-grid based on state of charge(SOC).
Proceedings of the 7th International Conference on Biomedical Engineering and Informatics, 2014

A Software Birthmark Based on System Call and Program Data Dependence.
Proceedings of the 11th Web Information System and Application Conference, 2014

2013
SPOCS : A Smarter Point of Care System for Coordinated Chronic Disease Management.
Proceedings of the MEDINFO 2013, 2013

Improving Physician Practice Efficiency by Learning Lab Test Ordering Pattern.
Proceedings of the MEDINFO 2013, 2013

A Static Recognition Mechanism for Indirect Call Based on Static Single Assignment.
Proceedings of the Pervasive Computing and the Networked World, 2013

2012
Comparison of trends in the quantity and variety of Science Citation Index (SCI) literature on human pathogens between China and the United States.
Scientometrics, 2012

Simulating City-level Airborne Infectious Diseases
CoRR, 2012

A dynamic detective method against ROP attack on ARM platform.
Proceedings of the Second International Workshop on Software Engineering for Embedded Systems, 2012

Enriching Context-Oriented Programming with Structured Context Representation.
Proceedings of the Pervasive Computing and the Networked World, 2012

Application of Belief Learning Model Based Socio-rational Secret Sharing Scheme on Cloud Storage.
Proceedings of the 2012 Sixth International Conference on Genetic and Evolutionary Computing, 2012

A routing layer sleep scheme for data gathering in wireless sensor networks.
Proceedings of IEEE International Conference on Communications, 2012

The Effect of Checklist in Code Review for Inexperienced Students: An Empirical Study.
Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

2011
Integrated estimation and tracking of performance model parameters with autoregressive trends (abstracts only).
SIGMETRICS Perform. Evaluation Rev., 2011

Tracking adaptive performance models using dynamic clustering of user classes (abstracts only).
SIGMETRICS Perform. Evaluation Rev., 2011

Integrated estimation and tracking of performance model parameters with autoregressive trends.
Proceedings of the ICPE'11, 2011

Tracking adaptive performance models using dynamic clustering of user classes.
Proceedings of the ICPE'11, 2011

Modeling and performance analysis of DMAC for wireless sensor networks.
Proceedings of the 14th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2011

Integrating preference based weighted sum into evolutionary multi-objective optimization.
Proceedings of the Seventh International Conference on Natural Computation, 2011

2010
On robustness of constrained non-linear <i>H</i><sub>∞</sub> predictive controllers with disturbances.
Int. J. Syst. Sci., 2010

Improved Gradient-Based Micro Sensor Routing Protocol with Node Sleep Scheduling in Wireless Sensor Networks.
Proceedings of the 72nd IEEE Vehicular Technology Conference, 2010

2009
A Robust Iris Localization Model Based on Phase Congruency and Least Trimmed Squares Estimation.
Proceedings of the Image Analysis and Processing, 2009

A switch agent for wireless sensor nodes with dual interfaces: Implementation and evaluation.
Proceedings of the 6th International ICST Conference on Broadband Communications, 2009

2008
Performance Model Estimation and Tracking Using Optimal Filters.
IEEE Trans. Software Eng., 2008

Membrane-Interaction Quantitative Structure-Activity Relationship (MI-QSAR) Analyses of Skin Penetration Enhancers.
J. Chem. Inf. Model., 2008

Landscape bartender: landscape generation using a cocktail analogy.
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2008

Simultaneous estimation of surface photosynthetically active radiation and albedo from GOES.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2008

2007
QSAR Analyses of Skin Penetration Enhancers.
J. Chem. Inf. Model., 2007

ERItemManager - ein dynamisch rekonfigurierbares Webapplikationsframework.
Proceedings of the Software Engineering 2007, 2007

2006
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking.
J. Comput. Sci. Technol., 2006

Deriving Photosynthetically Active Radiation using GOES Visible Band Data.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2006

Service System Resource Management Based on a Tracked Layered Performance Model.
Proceedings of the 3rd International Conference on Autonomic Computing, 2006

2005
Hierarchical model-based autonomic control of software systems.
ACM SIGSOFT Softw. Eng. Notes, 2005

Fast estimation of probabilities of soft deadline misses in layered software performance models.
Proceedings of the Fifth International Workshop on Software and Performance, 2005

The Use of Optimal Filters to Track Parameters of Performance Models.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

PMAC: An Adaptive Energy-Efficient MAC Protocol for Wireless Sensor Networks.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Distributed floor control protocols for computer collaborative applications on overlay networks.
Proceedings of the 1st International Conference on Collaborative Computing: Networking, 2005

2004
Duration-constrained regular expressions.
Formal Aspects Comput., 2004

2003
Interaction of Wireless TCP Schemes and Rerouting: Analytical Models and Simulation.
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Heuristic Optimization of Scheduling and Allocation for Distributed Systems with Soft Deadlines.
Proceedings of the Computer Performance Evaluations, 2003

2002
Positive loop-closed automata: a decidable class of hybrid systems.
J. Log. Algebraic Methods Program., 2002

Partial Order Path Technique for Checking Parallel Timed Automata.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001
Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

1998
Hybrid Regular Expressions.
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

1997
Checking Hybrid Automata for Linear Duration Invariants.
Proceedings of the Advances in Computing Science, 1997


  Loading...