| Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software | 0 | 0.34 | 2022 |
| Secure Resource Allocation for UAV Assisted Joint Sensing and Comunication Networks | 0 | 0.34 | 2022 |
| Green Tide Information Extraction Based on Multi-source Remote Sensing Data | 0 | 0.34 | 2020 |
| Recovering Network Structures Based on Evolutionary Game Dynamics via Secure Dimensional Reduction | 1 | 0.36 | 2020 |
| Marine Floating Raft Aquaculture Detection of GF-3 PolSAR Images Based on Collective Multikernel Fuzzy Clustering | 0 | 0.34 | 2019 |
| Incremental Wishart Broad Learning System for Fast PolSAR Image Classification | 2 | 0.35 | 2019 |
| Fast QR code detection based on BING and AdaBoost-SVM | 0 | 0.34 | 2019 |
| Delimitating Urban Commercial Central Districts by Combining Kernel Density Estimation and Road Intersections: A Case Study in Nanjing City, China. | 0 | 0.34 | 2019 |
| Land Use Pattern Evolution and Trend Simulation in Nansi Lake | 0 | 0.34 | 2018 |
| Marine Aquaculture Targets Automatic Recognition Based on GF-3 PolSAR Imagery. | 0 | 0.34 | 2018 |
| Evaluating Metal Effects on the Reflectance Spectra of Plant Leaves during Different Seasons in Post-Mining Areas, China. | 0 | 0.34 | 2018 |
| Dual-force: understanding WebView malware via cross-language forced execution. | 1 | 0.36 | 2018 |
| Model-based Construction and Verification of Cyber-Physical Systems. | 0 | 0.34 | 2018 |
| Dangdone: Eliminating Dangling Pointers Via Intermediate Pointers | 1 | 0.35 | 2018 |
| Coastline carrying capacity monitoring and assessment based on GF-1 satellite remote sensing images | 0 | 0.34 | 2018 |
| A Framework for Array Invariants Synthesis in Induction-Loop Programs | 0 | 0.34 | 2017 |
| Automatic detection and validation of race conditions in interrupt-driven embedded software. | 3 | 0.37 | 2017 |
| Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java | 0 | 0.34 | 2017 |
| Automatic model generation from documentation for Java API functions. | 11 | 0.57 | 2016 |
| ACSPChecker: an ASP based CSP model checking tool. | 0 | 0.34 | 2016 |
| Comparison Of Different Spatial Resolution Thermal Infrared Data In Monitoring Thermal Plume From The Hongyanhe Nuclear Power Plant | 0 | 0.34 | 2016 |
| Geomorphic Zones Mapping And Development Status Monitoring Of Coral Reefs In Xisha, China | 0 | 0.34 | 2016 |
| Case deletion diagnostics for GMM estimation | 0 | 0.34 | 2016 |
| Precondition Calculation for Loops Iterating over Data Structures | 0 | 0.34 | 2016 |
| Automatic Invariant Synthesis for Arrays in Simple Programs | 0 | 0.34 | 2016 |
| Coupling Effects Of Nutrients And Temperature For The Hazard Degree Dynamic Assessment Of Karenia Mikimotoi Red Tide Disasters In The Wenzhou Coastal Waters | 0 | 0.34 | 2016 |
| Mixture model selection via hierarchical BIC | 0 | 0.34 | 2015 |
| Code Generation for Abstract Data Types Based on Program Analysis | 0 | 0.34 | 2015 |
| Analyzing Inductively Defined Properties for Recursive Data Structures. | 0 | 0.34 | 2015 |
| Node-Set Analysis for Linked Recursive Data Structures | 0 | 0.34 | 2015 |
| Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation. | 2 | 0.36 | 2015 |
| Invariant Synthesis for Programs Manipulating Arrays with Unbounded Data. | 0 | 0.34 | 2015 |
| Two-Stage Regularized Linear Discriminant Analysis for 2-D Data. | 3 | 0.38 | 2015 |
| A declarative approach for Java code instrumentation | 2 | 0.37 | 2015 |
| A Fault-Localization Approach Based on the Coincidental Correctness Probability | 0 | 0.34 | 2015 |
| Assertion-Directed Precondition Synthesis for Loops over Data Structures. | 1 | 0.35 | 2015 |
| SAT–LP–IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata | 4 | 0.40 | 2014 |
| Automated learning of factor analysis with complete and incomplete data | 3 | 0.49 | 2014 |
| Evaluation of Coastline Changes under Human Intervention Using Multi-Temporal High-Resolution Images: A Case Study of the Zhoushan Islands, China | 1 | 0.38 | 2014 |
| A Novel Single-Carrier Digital Broadcasting System Based on LDPC Codes in Shortwave | 0 | 0.34 | 2014 |
| Efficient model selection for mixtures of probabilistic PCA via hierarchical BIC. | 4 | 0.45 | 2014 |
| An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability. | 0 | 0.34 | 2014 |
| Post-condition-Directed Invariant Inference for Loops over Data Structures | 4 | 0.42 | 2014 |
| Developing an Indicator System of ICT in Education: From Conceptual Model to Items Extraction. | 0 | 0.34 | 2013 |
| Verifying Aspect-Oriented Models Against Crosscutting Properties | 0 | 0.34 | 2013 |
| Research on Application of Collaborative Knowledge Building in Blended Language Classroom Teaching. | 0 | 0.34 | 2013 |
| A Handheld Electromagnetically Actuated Fiber Optic Raster Scanner for Reflectance Confocal Imaging of Biological Tissues | 0 | 0.34 | 2013 |
| Supporting Automatic Code Review via Design | 0 | 0.34 | 2013 |
| Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata | 0 | 0.34 | 2012 |
| An Integration of Several Different Data Flow Analysis Techniques | 0 | 0.34 | 2012 |
