Xiaojuan Li

Orcid: 0000-0002-4883-793X

According to our database1, Xiaojuan Li authored at least 157 papers between 1999 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
In-situ key update and minimal key set of encrypted outsourced data under binary key-derivation tree.
J. Supercomput., January, 2025

2024
Nonlinear Evolutionary Pattern Recognition of Land Subsidence in the Beijing Plain.
Remote. Sens., August, 2024

Self-Supervised Deep Unrolled Reconstruction Using Regularization by Denoising.
IEEE Trans. Medical Imaging, March, 2024

A Novel Super-Resolution Model for 10-m Mangrove Mapping With Landsat-5.
IEEE Trans. Geosci. Remote. Sens., 2024

MIMFormer: Multiscale Inception Mixer Transformer for Hyperspectral and Multispectral Image Fusion.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2024

Emergency fire evacuation simulation of underground commercial street.
Simul. Model. Pract. Theory, 2024

Investigation on the Impact of Excitation Amplitude on AFM-TM Microcantilever Beam System's Dynamic Characteristics and Implementation of an Equivalent Circuit.
Sensors, 2024

Bearing fault detection technology for automated machinery based on acoustic analysis.
J. Intell. Fuzzy Syst., 2024

Detection-Guided Deep Learning-Based Model with Spatial Regularization for Lung Nodule Segmentation.
CoRR, 2024

Novel adaptation of video segmentation to 3D MRI: efficient zero-shot knee segmentation with SAM2.
CoRR, 2024

Landslide Displacement Prediction Based on the Random Forest and Optimized Support Vector Regression.
Proceedings of the 2024 4th International Conference on Artificial Intelligence, 2024

2023
Land subsidence simulation based on Extremely Randomized Trees combined with Monte Carlo algorithm.
Comput. Geosci., September, 2023

Study on Land Subsidence Simulation Based on a Back-Propagation Neural Network Combined with the Sparrow Search Algorithm.
Remote. Sens., June, 2023

A Simple Real LST Reconstruction Method Combining Thermal Infrared and Microwave Remote Sensing Based on Temperature Conservation.
Remote. Sens., June, 2023

Mining closed high utility patterns with negative utility in dynamic databases.
Appl. Intell., May, 2023

An efficient algorithm for mining closed high utility itemsets over data streams with one dataset scan.
Knowl. Inf. Syst., January, 2023

A Geometric Flow Approach for Segmentation of Images with Inhomongeneous Intensity and Missing Boundaries.
CoRR, 2023

UbiCap: A Capability-based Run-time Model for Heterogeneous Sensors Management in Ubiquitous Operating System.
Proceedings of the 14th Asia-Pacific Symposium on Internetware, 2023

Evaluation of The Spatial Quality of Sunken Plazas Based on Multi-source Time-spatial Data.
Proceedings of the 2023 4th International Conference on Computing, 2023

2022
Validation and Comparison of Seven Land Surface Evapotranspiration Products in the Haihe River Basin, China.
Remote. Sens., 2022

A New Multiple Phenological Spectral Feature for Mapping Winter Wheat.
Remote. Sens., 2022

Bi-CCD: Improved Continuous Change Detection by Combining Forward and Reverse Change Detection Procedure.
IEEE Geosci. Remote. Sens. Lett., 2022

Review of ensemble classification over data streams based on supervised and semi-supervised.
J. Intell. Fuzzy Syst., 2022

Investigating the business intelligence capabilities' and network learning effect on the data mining for start-up's function.
Inf. Process. Manag., 2022

Mining high utility pattern with negative items in dynamic databases.
Int. J. Intell. Syst., 2022

Unsupervised Deep Unrolled Reconstruction Using Regularization by Denoising.
CoRR, 2022

Epistemic Network Analysis of College Students' Reflective Ability Based on Popper Cycle Model.
Proceedings of the 2022 5th International Conference on Education Technology Management, 2022

Multi-scale Vertical Cross-layer Feature Aggregation and Attention Fusion Network for Object Detection.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2022, 2022

Performance Evaluation of Bird Detection Radar in the Application of Airports.
Proceedings of the 2022 6th International Conference on Electronic Information Technology and Computer Engineering, 2022

Learning Tucker Compression for Deep CNN.
Proceedings of the Data Compression Conference, 2022

2021
Hierarchical Aggregated Deep Features for ALS Point Cloud Classification.
IEEE Trans. Geosci. Remote. Sens., 2021

An Improved Eutrophication Assessment Algorithm of Estuaries and Coastal Waters in Liaodong Bay.
Remote. Sens., 2021

Mechanism of Land Subsidence Mutation in Beijing Plain under the Background of Urban Expansion.
Remote. Sens., 2021

ETKDS: An efficient algorithm of Top-K high utility itemsets mining over data streams under sliding window model.
J. Intell. Fuzzy Syst., 2021

A Survey of incremental high-utility pattern mining based on storage structure.
J. Intell. Fuzzy Syst., 2021

Modeling and Analysis of Data Flow-Oriented ROS2 Data Distribution Service.
Int. J. Softw. Informatics, 2021

Spatiotemporal Characteristics and Risk Factors of the COVID-19 Pandemic in New York State: Implication of Future Policies.
ISPRS Int. J. Geo Inf., 2021

Leaf area index retrieval with ICESat-2 photon counting LiDAR.
Int. J. Appl. Earth Obs. Geoinformation, 2021

Investigating land subsidence and its causes along Beijing high-speed railway using multi-platform InSAR and a maximum entropy model.
Int. J. Appl. Earth Obs. Geoinformation, 2021

Review of Classification Methods on Unbalanced Data Sets.
IEEE Access, 2021

User study of an AR reading aid system to promote deep reading.
Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, 2021

The regional multi-objective water resources optimal allocation system under the constraint of "three red lines".
Proceedings of the CIPAE 2021: 2nd International Conference on Computers, 2021

Finite Element Simulation Analysis of Temperature Field of MEMS Gas Sensor Based on ANSYS Software.
Proceedings of the 3rd International Conference on Artificial Intelligence and Advanced Manufacture, 2021

2020
High-Efficiency Microsatellite-Using Super-Resolution Algorithm Based on the Multi-Modality Super-CMOS Sensor.
Sensors, 2020

Detection of Seasonal Deformation of Highway Overpasses Using the PS-InSAR Technique: A Case Study in Beijing Urban Area.
Remote. Sens., 2020

A Multiresolution Vector Data Compression Algorithm Based on Space Division.
ISPRS Int. J. Geo Inf., 2020

Numerical Simulation of Donghu Lake Hydrodynamics and Water Quality Based on Remote Sensing and MIKE 21.
ISPRS Int. J. Geo Inf., 2020

Local Indicator of Colocation Quotient with a Statistical Significance Test: Examining Spatial Association of Crime and Facilities.
CoRR, 2020

The International Workshop on Osteoarthritis Imaging Knee MRI Segmentation Challenge: A Multi-Institute Evaluation and Analysis Framework on a Standardized Dataset.
CoRR, 2020

Seat allocation model for high-speed railway passenger transportation based on flexible train composition.
Comput. Ind. Eng., 2020

Optimizing train frequencies and train routing with simultaneous passenger assignment in high-speed railway network.
Comput. Ind. Eng., 2020

Angle effects of vegetation indices and the influence on prediction of SPAD values in soybean and maize.
Int. J. Appl. Earth Obs. Geoinformation, 2020

Formal Verification of CAN Bus in Cyber Physical System.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Formal Modeling and Verification of EDCA Based on Probabilistic Model Checking.
Proceedings of the 22nd IEEE International Conference on High Performance Computing and Communications; 18th IEEE International Conference on Smart City; 6th IEEE International Conference on Data Science and Systems, 2020

2019
Joint Decision Model of Group Ticket Booking Limits and Individual Passenger Dynamic Pricing for the High-Speed Railway.
Symmetry, 2019

A Formal Model-Based Design Method for Robotic Systems.
IEEE Syst. J., 2019

Impact of Climate Variabilities and Human Activities on Surface Water Extents in Reservoirs of Yongding River Basin, China, from 1985 to 2016 Based on Landsat Observations and Time Series Analysis.
Remote. Sens., 2019

Canopy Height Layering Biomass Estimation Model (CHL-BEM) with Full-Waveform LiDAR.
Remote. Sens., 2019

Land Subsidence and Ground Fissures in Beijing Capital International Airport (BCIA): Evidence from Quasi-PS InSAR Analysis.
Remote. Sens., 2019

Bidirectional Potential Guided RRT* for Motion Planning.
IEEE Access, 2019

Model Checking for the Goal-Feedback-Result Pattern in ROS.
Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019

Land Surface Ecosystem Change Due to Natural and Anthropology Effects-The Ordos Case, Inner Mongolia.
Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

2018
From Offline Towards Real-Time Verification for Robot Systems.
IEEE Trans. Ind. Informatics, 2018

Multi-Scale Analysis of the Relationship between Land Subsidence and Buildings: A Case Study in an Eastern Beijing Urban Area Using the PS-InSAR Technique.
Remote. Sens., 2018

Regional Land Subsidence Analysis in Eastern Beijing Plain by InSAR Time Series and Wavelet Transforms.
Remote. Sens., 2018

Erratum to: A fast DEA-based intra-coding algorithm for HEVC.
Multim. Tools Appl., 2018

A fast DEA-based intra-coding algorithm for HEVC.
Multim. Tools Appl., 2018

Retweeting Prediction Based on Social Hotspots and Dynamic Tensor Decomposition.
IEICE Trans. Inf. Syst., 2018

Sensor attack detection using history based pairwise inconsistency.
Future Gener. Comput. Syst., 2018

Who will retweet? A prediction method for social hotspots based on dynamic tensor decomposition.
Sci. China Inf. Sci., 2018

Executable Micro-Architecture Modeling and Automatic Verification of EtherCAT.
Proceedings of the 2018 IEEE SmartWorld, 2018

Formal Analysis and Verification of DDS in ROS2.
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Formalization of Symplectic Geometry in HOL-Light.
Proceedings of the Formal Methods and Software Engineering, 2018

Runtime Verification of Robots Collision Avoidance Case Study.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Enhanced resilient sensor attack detection using fusion interval and measurement history.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018

2017
Differentiating Tree and Shrub LAI in a Mixed Forest With ICESat/GLAS Spaceborne LiDAR.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2017

Detrimental Effect Elimination of Laser Frequency Instability in Brillouin Optical Time Domain Reflectometer by Using Self-Heterodyne Detection.
Sensors, 2017

Performance Evaluation of Downscaling Sentinel-2 Imagery for Land Use and Land Cover Classification by Spectral-Spatial Features.
Remote. Sens., 2017

Bio-Inspired Genetic Algorithms with Formalized Crossover Operators for Robotic Applications.
Frontiers Neurorobotics, 2017

Comparison of UAV and WorldView-2 imagery for mapping leaf area index of mangrove forest.
Int. J. Appl. Earth Obs. Geoinformation, 2017

Formal Modeling and Automatic Code Synthesis for Robot System.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016
An Efficient Seam Elimination Method for UAV Images Based on Wallis Dodging and Gaussian Distance Weight Enhancement.
Sensors, 2016

Imaging Land Subsidence Induced by Groundwater Extraction in Beijing (China) Using Satellite Radar Interferometry.
Remote. Sens., 2016

Fast intra mode decision algorithm for HEVC based on dominant edge assent distribution.
Multim. Tools Appl., 2016

分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4).
计算机科学, 2016

基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic).
计算机科学, 2016

Drought assessment in Beijing-Tianjin-Hebei region in China in recent ten years.
Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016

Formal Modelling and Analysis of TCP for Nodes Communication with ROS.
Proceedings of the Collaborate Computing: Networking, Applications and Worksharing, 2016

2015
Object-Based Urban Tree Species Classification Using Bi-Temporal WorldView-2 and WorldView-3 Images.
Remote. Sens., 2015

连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform).
计算机科学, 2015

Sub-footprint analysis to uncover tree height variation using ICESat/GLAS.
Int. J. Appl. Earth Obs. Geoinformation, 2015

Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Embedded System Design with Reliability-Centric Optimization.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014
A Non-Intrusive Method for Monitoring the Degradation of MOSFETs.
Sensors, 2014

A Case Study on Formal Analysis of an Automated Guided Vehicle System.
J. Appl. Math., 2014

Memristive Radial Basis Function Neural Network for Parameters Adjustment of PID Controller.
Proceedings of the Advances in Neural Networks - ISNN 2014, 2014

Timed automata based motion planning for a self-assembly robot system.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

A framework of model checking guided test vector generation for the 6DOF manipulator.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Motion planning with Satisfiability Modulo Theories.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

A Time-Based Group Key Management Algorithm Based on Proxy Re-encryption for Cloud Storage.
Proceedings of the Web Technologies and Applications - 16th Asia-Pacific Web Conference, 2014

Maximum Entropy for Chinese Comma Classification with Rich Linguistic Features.
Proceedings of The Third CIPS-SIGHAN Joint Conference on Chinese Language Processing, 2014

2013
Component-Based Formal Modeling of PLC Systems.
J. Appl. Math., 2013

The Gauge Integral Theory in HOL4.
J. Appl. Math., 2013

The Supercapacitor Degradation State Diagnostic System Based on LabVIEW.
Int. J. Online Eng., 2013

The dynamic change of the urban thermal environment landscape patterns in Beijing from 2003 to 2011.
Proceedings of the 2013 IEEE International Geoscience and Remote Sensing Symposium, 2013

Analysis of Beijing's urban heat-island under the influence of extrme heat based on HJ-1B data.
Proceedings of the 2013 IEEE International Geoscience and Remote Sensing Symposium, 2013

Model Checking for SpaceWire Link Interface Design Using Uppaal.
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

2012
On the Formal Modeling of Inductive Verification for Cryptographical Protocols.
Proceedings of the 13th International Conference on Parallel and Distributed Computing, 2012

The impact on the Oriental white stork habitat due to the agriculture development in Sanjiang Plain, Northeast China.
Proceedings of the 20th International Conference on Geoinformatics, 2012

The measurement study of fire-fighting spatial accessibility in Beijing based on M2FCA.
Proceedings of the 20th International Conference on Geoinformatics, 2012

Trends in temperature and extreme temperature over the Beijing-Tianjin-Hebei Metropolitan Region During 1957-2009.
Proceedings of the 20th International Conference on Geoinformatics, 2012

2011
A New Face Recognition Framework: Symmetrical Bilateral 2DPLS plus LDA.
J. Multim., 2011

Cycles in Triangle-Free Graphs.
Discret. Math. Algorithms Appl., 2011

The distribution of aerosol optical depth retrieved by TM imagery over Beijing urban area, China.
Proceedings of the 2011 IEEE International Geoscience and Remote Sensing Symposium, 2011

Land cover change and effect on agricultural irrigation based on RS and GIS for 20 years in Yanqing County, Beijing.
Proceedings of the 2011 IEEE International Geoscience and Remote Sensing Symposium, 2011

Application of phased array ultrasonic technology for nondestructive testing of railway wheels.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

The Wireless Applied Research on Concatenated Code for SpaceWire Communication Network.
Proceedings of the Advances in Computer Science, Environment, Ecoinformatics, and Education, 2011

Automatic classification of Alzheimer's patients and age-matched healthy subjects using independent component analysis.
Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011

A low-kickback preamplifier with offset cancellation for pipelined folding A/D Converter.
Proceedings of the 2011 IEEE 9th International Conference on ASIC, 2011

A 1.8V 100MS/s 10-bit pipelined folding A/D converter with 9.49 ENOB at Nyquist frequency.
Proceedings of the 2011 IEEE 9th International Conference on ASIC, 2011

2010
Change detection of landslides and debris in south Taiwan after "Morakot" typhoon based on HJ-1-B Satellite images.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010

Impervious surface coverage and their impact on other components of the urban ecosystem in Beijing.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010

A GIS-based spatial management and analysis system for rural socioeconomic statistic data.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010

An E-Class Teaching Management System (ECTMS): Strategy and Application.
Proceedings of the Hybrid Learning, Third International Conference, 2010

Research of spatio-temporal organization and query of statistical data based on GIS.
Proceedings of the 18th International Conference on Geoinformatics: GIScience in Change, 2010

Hydrologic simulation with HSPF based on Arc Hydro data model.
Proceedings of the 18th International Conference on Geoinformatics: GIScience in Change, 2010

Marine stations real-time monitoring database management.
Proceedings of the 18th International Conference on Geoinformatics: GIScience in Change, 2010

Design of spatial analysis and distribution system for rural social economic statistics information based on MapGuide Open Source.
Proceedings of the 18th International Conference on Geoinformatics: GIScience in Change, 2010

The spatial pattern analysis of economic growth of JingJinJi Metropolitan Region.
Proceedings of the 18th International Conference on Geoinformatics: GIScience in Change, 2010

Remote sensing retrieval of soil moisture using ENVISAT-ASAR images: A case study in suburban region of Peking, China.
Proceedings of the 18th International Conference on Geoinformatics: GIScience in Change, 2010

2009
Research on Driving Factors of Land Subsidence with Remote Sensing Technology.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2009

Remote Sensing Applications: Ecological Environment Effect Analysis of Widgeon Lake Wetland Change in Beijing Region.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2009

Study of Thermal Environment based on Remote Sensing in Beijing-capital Zone.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2009

2008
Path-Factors in the Square of a Tree.
Graphs Comb., 2008

Research on Current Situation Investigation by Remote Sensing and Division Protection Zone of Great Wall of Ming Dynasty in Beijing.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2008

Insar Analysis of Land Subsidence Caused by Groundwater Exploitation in Changping, Beijing, China.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2008

Design and Implementation of Common Map Symbol System in GIS.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2008

Research on Improving Spatial Resolution of RS Images Based on Quadtree Decomposition.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2008

Thematic Information Extraction from IKONOS Imagery based on Object and Various Features.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2008

Modeling Atmospheric Effects of InSAR Measurements based on Meris and GPS observations.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2008

A Novel Course System and Engineering Practice Design for Embed System Education.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007
Local And Global Features Extracting and Fusion For microbial Recognition.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

Quality assessment of beef based of computer vision and electronic nose.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

Research on the landscape change of YeYaHu wetland based on remote sensing fusion.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2007

A study on optical and SAR data fusion for extracting flooded area.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2007

Research on dynamic evolvement of desertification in beijing and its neighboring areas by remote sensing.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2007

Evaluation and transformation analysis of ecological environment in Beijing based on remote sensing.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2007

Flood disaster response and decision-making support system based on remote sensing and GIS.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2007

Three dimensional groundwater virtual reality system and its spatial database.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2007

Using RS and GIS to monitoring Beijing wetland resources evolution.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2007

Social Network Analysis of Interaction in Online Learning Communities.
Proceedings of the 7th IEEE International Conference on Advanced Learning Technologies, 2007

2006
Exploration the load of molecular motors based on F0F1-ATPase.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2006

3D Integral Modeling for City Surface & Subsurface.
Proceedings of the Innovations in 3D Geo Information Systems, 2006

Research on a feature based spatio-temporal data model.
Proceedings of the Innovations in 3D Geo Information Systems, 2006

2004
Web-Based Adaptive Collaborative Learning Environment Designing.
Proceedings of the Advances in Web-Based Learning, 2004

2002
Gliomas classification by multivariate analysis of in vivo MRI/MRSI data based on recursive partitioning tree and discriminant analysis.
Proceedings of the 2002 IEEE International Symposium on Biomedical Imaging, 2002

1999
Design and implementation of a novel compression method in a tele-ultrasound system.
IEEE Trans. Inf. Technol. Biomed., 1999


  Loading...