Haijun Wang
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2024
3Erefactor: Effective, Efficient and Executable Refactoring Recommendation for Software Architectural Consistency.
IEEE Trans. Software Eng., October, 2024
Dual-Frequency Cooperation MAC for UAV Networks: Protocol Design and Performance Analysis.
IEEE Trans. Veh. Technol., August, 2024
A high-performance cellular automata model for urban expansion simulation based on convolution and graphic processing unit.
Trans. GIS, June, 2024
Revealing More Hidden Attractors from a New Sub-Quadratic Lorenz-Like System of Degree 6 5.
Int. J. Bifurc. Chaos, May, 2024
An urban cellular automata model based on a spatiotemporal non-stationary neighborhood.
Int. J. Geogr. Inf. Sci., May, 2024
A methodology to Geographic Cellular Automata model accounting for spatial heterogeneity and adaptive neighborhoods.
Int. J. Geogr. Inf. Sci., April, 2024
Maximizing Long-Term Average System Communication Capacity of SWIPT-Enabled AF Relay System via Lyapunov Optimization.
IEEE Internet Things J., February, 2024
IEEE Trans. Dependable Secur. Comput., 2024
Intelligent Interference Waveform Design for Radar Detection Based on the Cross-Correlation Value Function.
IEEE Trans. Aerosp. Electron. Syst., 2024
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
Proc. ACM Softw. Eng., 2024
Alone or Mixed? The Effect of Digital Human Narrative Scenarios on Chinese Consumer Eco-Product Purchase Intention.
J. Theor. Appl. Electron. Commer. Res., 2024
Strategic Chain-of-Thought: Guiding Accurate Reasoning in LLMs through Strategy Elicitation.
CoRR, 2024
Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts.
Proceedings of the 33rd USENIX Security Symposium, 2024
DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Business Compliance Detection of Smart Contracts in Electricity and Carbon Trading Scenarios.
Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024
Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024
LIReDroid: LLM-Enhanced Test Case Generation for Static Sensitive Behavior Replication.
Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024
Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024
2023
PatchDiscovery: Patch Presence Test for Identifying Binary Vulnerabilities Based on Key Basic Blocks.
IEEE Trans. Software Eng., December, 2023
End-to-end wavelet block feature purification network for efficient and effective UAV object tracking.
J. Vis. Commun. Image Represent., December, 2023
Distributing the fashion product in direct or retail channel: The impact of fashion level and direct selling cost.
Int. Trans. Oper. Res., November, 2023
Joint Energy Loss and Time Span Minimization for Energy-Redistribution-Assisted Charging of WRSNs With a Mobile Charger.
IEEE Internet Things J., March, 2023
Int. J. Bifurc. Chaos, January, 2023
IEEE Geosci. Remote. Sens. Lett., 2023
Automated Classification of Whole-Body SPECT Bone Scan Images with VGG-Based Deep Networks.
Int. Arab J. Inf. Technol., 2023
A methodology to quantify the neighborhood decay effect of urban cellular automata models.
Int. J. Geogr. Inf. Sci., 2023
Corrigendum to "Unsupervised Simple Siamese Representation Learning for Blind Super-Resolution" [Eng. Appl. Artif. Intell. 114 (2022) 105092].
Eng. Appl. Artif. Intell., 2023
When GPT Meets Program Analysis: Towards Intelligent Detection of Smart Contract Logic Vulnerabilities in GPTScan.
CoRR, 2023
Energy redistribution assisted charging of WRSNS with multiple mobile chargers having multiple base stations.
Ad Hoc Networks, 2023
DAppHunter: Identifying Inconsistent Behaviors of Blockchain-based Decentralized Applications.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023
Research on the Application of Engine Mechanism in Secure Communication of Internet of Vehicles.
Proceedings of the 2023 7th International Conference on Electronic Information Technology and Computer Engineering, 2023
2022
A More Accurate and Stable Batch Authentication Protocol for Large-Scale RFID Systems.
IEEE Wirel. Commun. Lett., 2022
Joint Resource Allocation on Slot, Space and Power Towards Concurrent Transmissions in UAV Ad Hoc Networks.
IEEE Trans. Wirel. Commun., 2022
IEEE Trans. Dependable Secur. Comput., 2022
J. Soc. Comput., 2022
Sensors, 2022
Hiding or sharing? Technology upgrade, technology spillover and information asymmetry.
RAIRO Oper. Res., 2022
Learning temporal regularized and weighted surrounding-aware correlation filter for unmanned aerial vehicle object tracking.
J. Electronic Imaging, 2022
Cooperative Multi-Agent Reinforcement-Learning-Based Distributed Dynamic Spectrum Access in Cognitive Radio Networks.
IEEE Internet Things J., 2022
Eng. Appl. Artif. Intell., 2022
Comparing One with Many - Solving Binary2source Function Matching Under Function Inlining.
CoRR, 2022
Temporal-Spatial dependencies ENhanced deep learning model (TSEN) for household leverage series forecasting.
CoRR, 2022
Comput. Electr. Eng., 2022
A comparative study of Chinese named entity recognition with different segment representations.
Appl. Intell., 2022
Proceedings of the 21st Wuhan International Conference on E-Business, 2022
Research on the In-Depth Recommendation Method of Grammar Topics for English Online Teaching.
Proceedings of the e-Learning, e-Education, and Online Training, 2022
Research on Teaching Effect Evaluation of Innovation and Entrepreneurship Based on Collaborative Filtering Algorithm.
Proceedings of the e-Learning, e-Education, and Online Training, 2022
Proceedings of the Big Data - 10th CCF Conference, 2022
2021
Concise and Informative Article Title Throughput Maximization through Joint User Association and Power Allocation for a UAV-Integrated H-CRAN.
Wirel. Commun. Mob. Comput., 2021
IEEE Trans. Software Eng., 2021
RAIRO Oper. Res., 2021
State Estimation for Markovian Coupled Neural Networks with Multiple Time Delays Via Event-Triggered Mechanism.
Neural Process. Lett., 2021
Single-Image Super-Resolution based on Steering Kernel and Gaussian Process Regression.
Int. J. Pattern Recognit. Artif. Intell., 2021
dSPIC: a deep SPECT image classification network for automated multi-disease, multi-lesion diagnosis.
BMC Medical Imaging, 2021
BMC Bioinform., 2021
Parasitism or Symbiosis? A Selection of R&D Strategy From the Perspective of Responsibility Paradox.
IEEE Access, 2021
Modeling and Nonlinear Robust Tracking Control of a Three-Rotor UAV Based on RISE Method.
IEEE Access, 2021
IEEE Access, 2021
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021
Credibility Evaluation Method for Multidimensional Uncertain Interval Data based on the Evidence Theory.
Proceedings of the EITCE 2021: 5th International Conference on Electronic Information Technology and Computer Engineering, Xiamen, China, October 22, 2021
The Industry Situation and Inspiration of Intelligent Connected Vehicles in Europe, America and Japan.
Proceedings of the Cyber Security Intelligence and Analytics, 2021
Application for the confirmation and registration results of the right to rural land contractual management in the investigation of crop planting structure information.
Proceedings of the 9th International Conference on Agro-Geoinformatics, 2021
2020
Analyzing the effects of stochastic perturbation and fuzzy distance transformation on Wuhan urban growth simulation.
Trans. GIS, 2020
A personalized cloud engine for multimedia search based on binary ant colony algorithm.
Multim. Tools Appl., 2020
Joint Optimization on Trajectory, Altitude, Velocity, and Link Scheduling for Minimum Mission Time in UAV-Aided Data Collection.
IEEE Internet Things J., 2020
Using a maximum entropy model to optimize the stochastic component of urban cellular automata models.
Int. J. Geogr. Inf. Sci., 2020
IEEE Commun. Surv. Tutorials, 2020
Constructing a Sustainable Collaborative Innovation Network for Global Manufacturing Firms: A Product Modularity View and a Case Study From China.
IEEE Access, 2020
Robust Visual Object Tracking With Multiple Features and Reliable Re-Detection Scheme.
IEEE Access, 2020
Energy-Efficient Cooperative Spectrum Sensing Scheme Based on Spatial Correlation for Cognitive Internet of Things.
IEEE Access, 2020
Joint Allocation on Communication and Computing Resources for Fog Radio Access Networks.
IEEE Access, 2020
MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs.
Proceedings of the 29th USENIX Security Symposium, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
Improved Algorithm for Parameter Estimation of LFM Signal Based on Chirp-Z Transform.
Proceedings of the CIPAE 2020: 2020 International Conference on Computers, 2020
2019
J. Electronic Imaging, 2019
IEEE Internet Things J., 2019
Evaluating the Suitability of Urban Expansion Based on the Logic Minimum Cumulative Resistance Model: A Case Study from Leshan, China.
ISPRS Int. J. Geo Inf., 2019
Int. J. Bifurc. Chaos, 2019
Modeling urban growth in a metropolitan area based on bidirectional flows, an improved gravitational field model, and partitioned cellular automata.
Int. J. Geogr. Inf. Sci., 2019
Frontiers Comput. Sci., 2019
Similarity-aware data aggregation using fuzzy c-means approach for wireless sensor networks.
EURASIP J. Wirel. Commun. Netw., 2019
Mutual kernelized correlation filters with elastic net constraint for visual tracking.
EURASIP J. Image Video Process., 2019
Doublade: Unknown Vulnerability Detection in Smart Contracts Via Abstract Signature Matching and Refined Detection Rules.
CoRR, 2019
Bus. Process. Manag. J., 2019
Appl. Math. Comput., 2019
A Brief Survey on Cyber Security Attack Entrances and Protection Strategies of Intelligent Connected Vehicle.
Proceedings of the Smart Computing and Communication - 4th International Conference, 2019
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019
2018
IEEE Signal Process. Lett., 2018
Learning local dictionaries and similarity structures for single image super-resolution.
Signal Process., 2018
IEEE J. Sel. Areas Commun., 2018
Int. J. Prod. Res., 2018
Int. J. Bifurc. Chaos, 2018
A high-performance cellular automata model for urban simulation based on vectorization and parallel computing technology.
Int. J. Geogr. Inf. Sci., 2018
BMC Medical Imaging, 2018
A note on "Hopf bifurcation analysis and ultimate bound estimation of a new 4-D quadratic autonomous hyper-chaotic system" in [Appl. Math. Comput. 291 (2016) 323-339] by Amin Zarei and Saeed Tavakoli.
Appl. Math. Comput., 2018
Deployment algorithm for minimum unmanned aerial vehicles towards optimal coverage and interconnections.
Proceedings of the 2018 IEEE Wireless Communications and Networking Conference Workshops, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Proceedings of the IEEE INFOCOM 2018, 2018
2017
Single Image Super-Resolution Using Gaussian Process Regression With Dictionary-Based Sampling and Student-t Likelihood.
IEEE Trans. Image Process., 2017
Signal Process., 2017
J. Electronic Imaging, 2017
J. Cell. Autom., 2017
A Novel Active Contour Model for Image Segmentation and Bias Correction Using Guided Image Filtering Regularization Term.
Int. J. Pattern Recognit. Artif. Intell., 2017
Int. J. Distributed Sens. Networks, 2017
Int. J. Bifurc. Chaos, 2017
An Improved Kernel Minimum Square Error Classification Algorithm Based on $L_{2, 1}$ -Norm Regularization.
IEEE Access, 2017
Proceedings of the Optical Fiber Communications Conference and Exhibition, 2017
2016
IEEE Trans. Image Process., 2016
IEEE Trans. Aerosp. Electron. Syst., 2016
Numer. Algorithms, 2016
J. Electr. Comput. Eng., 2016
Neurocomputing, 2016
Handedness Recognition through Keystroke-Typing Behavior in Computer Forensics Analysis.
Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016
Proceedings of the 27th IEEE Annual International Symposium on Personal, 2016
Proceedings of the 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing, 2016
Proceedings of the 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing, 2016
Application of "GaoFen-1" Satellite Data and "Micro-UAV" Data in Remote Sensing Monitoring in Winter Wheat - Illustrated by a Case of Jizhou in Hebei Province.
Proceedings of the Computer and Computing Technologies in Agriculture X, 2016
2015
Numer. Algorithms, 2015
基于分解的二维renyi熵阈值分割方法中参数自适应选取 (Adaptive Selected Parameters of Decomposed Two-dimensional Renyi Entropy Thresholding Method).
计算机科学, 2015
Proceedings of the Computer and Computing Technologies in Agriculture IX, 2015
Proceedings of the Computer and Computing Technologies in Agriculture IX, 2015
Proceedings of the 2015 IEEE 11th International Conference on ASIC, 2015
2014
Dynamic Conformational Change Regulates the Protein-DNA Recognition: An Investigation on Binding of a Y-Family Polymerase to Its Target DNA.
PLoS Comput. Biol., 2014
Data-Smoothness based Preprocessing Strategy for Wavelet Data Processing in Wireless Sensor Networks.
J. Commun., 2014
Int. J. Bifurc. Chaos, 2014
Appl. Math. Comput., 2014
Reducing Test Cases with Causality Partitions.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014
DBPD: A Dynamic Birthmark-based Software Plagiarism Detection Tool.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014
Proceedings of the 6th International Workshop on Constraints in Software Testing, 2014
Building medical informatics data system for quality improvement in Children's hospital setting.
Proceedings of the AMIA 2014, 2014
2013
Scientometrics, 2013
Active Contours Driven by Local Gaussian Distribution Fitting Energy Based on Local Entropy.
Int. J. Pattern Recognit. Artif. Intell., 2013
A Class of modified BFGS Methods with Function Value Information for unconstrained Optimization.
Asia Pac. J. Oper. Res., 2013
An optimization model for the energy consumption of clustering protocol in wireless sensor networks.
Proceedings of the Ninth International Conference on Natural Computation, 2013
Proceedings of the 22nd International Conference on Computer Communication and Networks, 2013
Proceedings of the AMIA 2013, 2013
2012
Oper. Res. Lett., 2012
Medical Images Segmentation Using Active Contours Driven by Global and Local Image Fitting Energy.
Int. J. Image Graph., 2012
Int. J. Comput. Commun. Control, 2012
Proceedings of the AMIA 2012, 2012
2011
Int. J. Bifurc. Chaos, 2011
Proceedings of the Wireless Internet - 6th International ICST Conference, 2011
Proceedings of the Information Computing and Applications, 2011
2010
A Convex Approximation Method for Large Scale Linear inequality Constrained Minimization.
Asia Pac. J. Oper. Res., 2010
Proceedings of the 71st IEEE Vehicular Technology Conference, 2010
Proceedings of the 71st IEEE Vehicular Technology Conference, 2010
Proceedings of the 2010 International Conference on Machine Vision and Human-machine Interface, 2010
2009
Numer. Algorithms, 2009
2008
Appl. Math. Comput., 2008
Appl. Math. Comput., 2008
Proceedings of the Advances in Computation and Intelligence, Third International Symposium, 2008
2007
J. Syst. Sci. Complex., 2007
Adv. Complex Syst., 2007
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2007
Proceedings of the Advances in Neural Networks, 2007
Proceedings of the Advances in Computation and Intelligence, 2007
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007
2006
Using Most Similarity Tree Based Clustering to Select the Top Most Discriminating Genes for Cancer Detection.
Proceedings of the Artificial Intelligence and Soft Computing, 2006
2005
Proceedings of the Advances in Natural Computation, First International Conference, 2005
2004
Proceedings of the Advances in Neural Networks, 2004