Xiaojuan Li

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 84

Top Venues

Remote. Sens.

Sensors

Int. J. Appl. Earth Obs. Geoinformation

J. Intell. Fuzzy Syst.

Publications

Xiaojuan Li, Rixin Chen, Yueyue Zhu, Chi-Yung Jim
Emergency fire evacuation simulation of underground commercial street. Simul. Model. Pract. Theory 134 (2024)
Peijie Song, Xiaojuan Li, Jianjun Cui, Kai Chen, Yandong Chu
Investigation on the Impact of Excitation Amplitude on AFM-TM Microcantilever Beam System's Dynamic Characteristics and Implementation of an Equivalent Circuit. Sensors 24 (1) (2024)
Wei Chen, Jinyan Tian, Jie Song, Xiaojuan Li, Yinghai Ke, Lin Zhu, Yongxin Yu, Yang Ou, Huili Gong
A Novel Super-Resolution Model for 10-m Mangrove Mapping With Landsat-5. IEEE Trans. Geosci. Remote. Sens. 62 (2024)
Yufeng Pang, Xiaojuan Li
Bearing fault detection technology for automated machinery based on acoustic analysis. J. Intell. Fuzzy Syst. 46 (4) (2024)
Mingyuan Lyu, Xiaojuan Li, Yinghai Ke, Jiyi Jiang, Zhenjun Sun, Lin Zhu, Lin Guo, Zhihe Xu, Panke Tang, Huili Gong, Lan Wang
Nonlinear Evolutionary Pattern Recognition of Land Subsidence in the Beijing Plain. Remote. Sens. 16 (15) (2024)
Peizhou Huang, Chaoyi Zhang, Xiaoliang Zhang, Xiaojuan Li, Dong Liang, Leslie Ying
Self-Supervised Deep Unrolled Reconstruction Using Regularization by Denoising. IEEE Trans. Medical Imaging 43 (3) (2024)
Yunfei Zhang, Xiaojuan Li, Ke Zhang, Lan Wang, Siyuan Cheng, Panjie Song
A Simple Real LST Reconstruction Method Combining Thermal Infrared and Microwave Remote Sensing Based on Temperature Conservation. Remote. Sens. 15 (12) (2023)
Meng Han, Ni Zhang, Le Wang, Xiaojuan Li, Haodong Cheng
Mining closed high utility patterns with negative utility in dynamic databases. Appl. Intell. 53 (10) (2023)
Xueqi Zhu, Wantian Zhu, Lin Guo, Yinghai Ke, Xiaojuan Li, Lin Zhu, Ying Sun, Yaxuan Liu, Beibei Chen, Jinyan Tian, Huili Gong
Study on Land Subsidence Simulation Based on a Back-Propagation Neural Network Combined with the Sparrow Search Algorithm. Remote. Sens. 15 (12) (2023)
Xiaojuan Li, Yu Zhang, Zhengyan Zhu, Yuan Yao, Xingshe Zhou
UbiCap: A Capability-based Run-time Model for Heterogeneous Sensors Management in Ubiquitous Operating System. Internetware (2023)
Meng Han, Haodong Cheng, Ni Zhang, Xiaojuan Li, Le Wang
An efficient algorithm for mining closed high utility itemsets over data streams with one dataset scan. Knowl. Inf. Syst. 65 (1) (2023)
Paramjyoti Mohapatra, Richard Lartey, Weihong Guo, Michael Judkovich, Xiaojuan Li
A Geometric Flow Approach for Segmentation of Images with Inhomongeneous Intensity and Missing Boundaries. CoRR (2023)
Tian Wang, Xiaoqi Kang, Xiaojuan Li
Evaluation of The Spatial Quality of Sunken Plazas Based on Multi-source Time-spatial Data. CNIOT (2023)
Zijian Wang, Lin Guo, Huili Gong, Xiaojuan Li, Lin Zhu, Ying Sun, Beibei Chen, Xueqi Zhu
Land subsidence simulation based on Extremely Randomized Trees combined with Monte Carlo algorithm. Comput. Geosci. 178 (2023)
Zhengwei Ren, Xiaojuan Li, Lina Wang, Shiwei Xu, Yan Tong, Jinshan Tang
Minimal key set of binary key-derivation tree in cloud storage. Soft Comput. 27 (2) (2023)
Yubei Chang, Qingtang Liu, Xiaojuan Li
Epistemic Network Analysis of College Students' Reflective Ability Based on Popper Cycle Model. ICETM (2022)
Yi Xu, Xiaojuan Li, Fajaruddin Bin Mustakim, Fahad M. Alotaibi, Nabaz Nawzad Abdullah
Investigating the business intelligence capabilities' and network learning effect on the data mining for start-up's function. Inf. Process. Manag. 59 (5) (2022)
Pengyi Hao, Xiaojuan Li, Fuli Wu
Learning Tucker Compression for Deep CNN. DCC (2022)
Wenting Gao, Xiaojuan Li, Yu Han, Yue Liu
Multi-scale Vertical Cross-layer Feature Aggregation and Attention Fusion Network for Object Detection. ICANN (4) (2022)
Wenxin Cai, Jinyan Tian, Xiaojuan Li, Lin Zhu, Beibei Chen
A New Multiple Phenological Spectral Feature for Mapping Winter Wheat. Remote. Sens. 14 (18) (2022)
Meng Han, Xiaojuan Li, Le Wang, Ni Zhang, Haodong Cheng
Review of ensemble classification over data streams based on supervised and semi-supervised. J. Intell. Fuzzy Syst. 43 (3) (2022)
Peizhou Huang, Chaoyi Zhang, Xiaoliang Zhang, Xiaojuan Li, Liang Dong, Leslie Ying
Unsupervised Deep Unrolled Reconstruction Using Regularization by Denoising. CoRR (2022)
Hongrui Zheng, Peijun Du, Shanchuan Guo, Xin Wang, Wei Zhang, Sicong Liu, Xiaojuan Li
Bi-CCD: Improved Continuous Change Detection by Combining Forward and Reverse Change Detection Procedure. IEEE Geosci. Remote. Sens. Lett. 19 (2022)
Xiaotong Guo, Dan Meng, Xuelong Chen, Xiaojuan Li
Validation and Comparison of Seven Land Surface Evapotranspiration Products in the Haihe River Basin, China. Remote. Sens. 14 (17) (2022)
Meng Han, Ni Zhang, Le Wang, Xiaojuan Li, Haodong Cheng
Mining high utility pattern with negative items in dynamic databases. Int. J. Intell. Syst. 37 (8) (2022)
Honggang Wu, Zhi Cheng, Kaizhen Wei, Jianrui Ma, Xiaojuan Li
Performance Evaluation of Bird Detection Radar in the Application of Airports. EITCE (2022)
Xiaojuan Li, Yu Han, Yuhui Wu, Kang Yue, Yue Liu
User study of an AR reading aid system to promote deep reading. VR Workshops (2021)
Jie Zhang, Jinyan Tian, Xiaojuan Li, Le Wang, Beibei Chen, Huili Gong, Rongguang Ni, Bingfeng Zhou, Cankun Yang
Leaf area index retrieval with ICESat-2 photon counting LiDAR. Int. J. Appl. Earth Obs. Geoinformation 103 (2021)
Xiaojuan Li, Yidong Yuan, Yabing Li, Jinwen Liu, Siqi Li, Yu Liu, Yan Cheng
Finite Element Simulation Analysis of Temperature Field of MEMS Gas Sensor Based on ANSYS Software. AIAM (IEEE) (2021)
Haodong Cheng, Meng Han, Ni Zhang, Le Wang, Xiaojuan Li
ETKDS: An efficient algorithm of Top-K high utility itemsets mining over data streams under sliding window model. J. Intell. Fuzzy Syst. 41 (2) (2021)
Mutao Huang, Xiaojuan Li, Jiawei Xie
The regional multi-objective water resources optimal allocation system under the constraint of "three red lines". CIPAE (2021)
Qian Lu, Xiaojuan Li, Yong Guan, Rui Wang, Zhi-Ping Shi
Modeling and Analysis of Data Flow-Oriented ROS2 Data Distribution Service. Int. J. Softw. Informatics 11 (4) (2021)
Anran Zheng, Tao Wang, Xiaojuan Li
Spatiotemporal Characteristics and Risk Factors of the COVID-19 Pandemic in New York State: Implication of Future Policies. ISPRS Int. J. Geo Inf. 10 (9) (2021)
Haodong Cheng, Meng Han, Ni Zhang, Xiaojuan Li, Le Wang
A Survey of incremental high-utility pattern mining based on storage structure. J. Intell. Fuzzy Syst. 41 (1) (2021)
Lin Guo, Huili Gong, Yinghai Ke, Lin Zhu, Xiaojuan Li, Mingyuan Lyu, Ke Zhang
Mechanism of Land Subsidence Mutation in Beijing Plain under the Background of Urban Expansion. Remote. Sens. 13 (16) (2021)
Beibei Chen, Huili Gong, Yun Chen, Kunchao Lei, Chaofan Zhou, Yuan Si, Xiaojuan Li, Yun Pan, Mingliang Gao
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 96 (2021)
Mengjun Li, Yonghua Sun, Xiaojuan Li, Mengying Cui, Chen Huang
An Improved Eutrophication Assessment Algorithm of Estuaries and Coastal Waters in Liaodong Bay. Remote. Sens. 13 (19) (2021)
Zhenxin Zhang, Lan Sun, Ruofei Zhong, Dong Chen, Liqiang Zhang, Xiaojuan Li, Qiang Wang, Siyun Chen
Hierarchical Aggregated Deep Features for ALS Point Cloud Classification. IEEE Trans. Geosci. Remote. Sens. 59 (2) (2021)
Le Wang, Meng Han, Xiaojuan Li, Ni Zhang, Haodong Cheng
Review of Classification Methods on Unbalanced Data Sets. IEEE Access 9 (2021)
Yixuan Zan, Xiaojuan Li, Yong Guan, Rui Wang, Jie Zhang
Formal Modeling and Verification of EDCA Based on Probabilistic Model Checking. HPCC/DSS/SmartCity (2020)
Zhenying Yan, Xiaojuan Li, Qi Zhang, Baoming Han
Seat allocation model for high-speed railway passenger transportation based on flexible train composition. Comput. Ind. Eng. 142 (2020)
Xiaojuan Li, Mutao Huang, Ronghui Wang
Numerical Simulation of Donghu Lake Hydrodynamics and Water Quality Based on Remote Sensing and MIKE 21. ISPRS Int. J. Geo Inf. 9 (2) (2020)
Zhihui Mao, Lei Deng, Fuzhou Duan, Xiaojuan Li, Dan-Yu Qiao
Angle effects of vegetation indices and the influence on prediction of SPAD values in soybean and maize. Int. J. Appl. Earth Obs. Geoinformation 93 (2020)
Fahui Wang, Yujie Hu, Shuai Wang, Xiaojuan Li
Local Indicator of Colocation Quotient with a Statistical Significance Test: Examining Spatial Association of Crime and Facilities. CoRR (2020)
Xiaojuan Li, Dewei Li, Xiaotian Hu, Zhenying Yan, Yongsheng Wang
Optimizing train frequencies and train routing with simultaneous passenger assignment in high-speed railway network. Comput. Ind. Eng. 148 (2020)
Dongge Liu, Tao Wang, Xiaojuan Li, Yeqing Ni, Yanping Li, Zhao Jin
A Multiresolution Vector Data Compression Algorithm Based on Space Division. ISPRS Int. J. Geo Inf. 9 (12) (2020)
Ke Zhang, Cankun Yang, Xiaojuan Li, Chunping Zhou, Ruofei Zhong
High-Efficiency Microsatellite-Using Super-Resolution Algorithm Based on the Multi-Modality Super-CMOS Sensor. Sensors 20 (14) (2020)
Arjun D. Desai, Francesco Calivá, Claudia Iriondo, Naji Khosravan, Aliasghar Mortazi, Sachin Jambawalikar, Drew A. Torigian, Jutta Ellermann, Mehmet Akçakaya, Ulas Bagci, Radhika Tibrewala, Io Flament, Matthew O'Brien, Sharmila Majumdar, Mathias Perslev, Akshay Pai, Christian Igel, Erik B. Dam, Sibaji Gaj, Mingrui Yang, Kunio Nakamura, Xiaojuan Li, Cem M. Deniz, Vladimir Juras, Ravinder Regatte, Garry Gold, Brian A. Hargreaves, Valentina Pedoia, Akshay S. Chaudhari
The International Workshop on Osteoarthritis Imaging Knee MRI Segmentation Challenge: A Multi-Institute Evaluation and Analysis Framework on a Standardized Dataset. CoRR (2020)
Rui Wang, Yong Guan, Xiaojuan Li, Rui Zhang
Formal Verification of CAN Bus in Cyber Physical System. QRS Companion (2020)
Mingyuan Lyu, Yinghai Ke, Xiaojuan Li, Lin Zhu, Lin Guo, Huili Gong
Detection of Seasonal Deformation of Highway Overpasses Using the PS-InSAR Technique: A Case Study in Beijing Urban Area. Remote. Sens. 12 (18) (2020)
Liping Zheng, Lin Zhu, Jie Yu, Wei Wang, Xiaojuan Li, Yinghai Ke, Junsheng Li
Land Surface Ecosystem Change Due to Natural and Anthropology Effects-The Ordos Case, Inner Mongolia. IGARSS (2019)
Xinyu Wang, Xiaojuan Li, Yong Guan, Jiadong Song, Rui Wang
Bidirectional Potential Guided RRT* for Motion Planning. IEEE Access 7 (2019)
Mingli Wang, Longjiang Du, Yinghai Ke, Maoyi Huang, Jing Zhang, Yong Zhao, Xiaojuan Li, Huili Gong
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. 11 (5) (2019)
Zhenying Yan, Pingting Zhang, Yujia Zhang, Hui Liu, Chenxi Feng, Xiaojuan Li
Joint Decision Model of Group Ticket Booking Limits and Individual Passenger Dynamic Pricing for the High-Speed Railway. Symmetry 11 (9) (2019)
Rui Wang, Yong Guan, Houbing Song, Xinxin Li, Xiaojuan Li, Zhiping Shi, Xiaoyu Song
A Formal Model-Based Design Method for Robotic Systems. IEEE Syst. J. 13 (1) (2019)
Jinyan Tian, Le Wang, Xiaojuan Li, Dameng Yin, Huili Gong, Sheng Nie, Chen Shi, Ruofei Zhong, Xiaomeng Liu, Ronglong Xu
Canopy Height Layering Biomass Estimation Model (CHL-BEM) with Full-Waveform LiDAR. Remote. Sens. 11 (12) (2019)
Mingliang Gao, Huili Gong, Xiaojuan Li, Beibei Chen, Chaofan Zhou, Min Shi, Lin Guo, Zheng Chen, Zhongyun Ni, Guangyao Duan
Land Subsidence and Ground Fissures in Beijing Capital International Airport (BCIA): Evidence from Quasi-PS InSAR Analysis. Remote. Sens. 11 (12) (2019)
Wei Wei, Xiaojuan Li, Yong Guan, Rui Wang, Qian Lu, Jie Zhang
Model Checking for the Goal-Feedback-Result Pattern in ROS. ISPA/BDCloud/SocialCom/SustainCom (2019)
Yingbiao Yao, Tianjie Jia, Xiaojuan Li, Yu Lu
Erratum to: A fast DEA-based intra-coding algorithm for HEVC. Multim. Tools Appl. 77 (2) (2018)
Mingliang Gao, Huili Gong, Beibei Chen, Xiaojuan Li, Chaofan Zhou, Min Shi, Yuan Si, Zheng Chen, Guangyao Duan
Regional Land Subsidence Analysis in Eastern Beijing Plain by InSAR Time Series and Wavelet Transforms. Remote. Sens. 10 (3) (2018)
Chenxia Luo, Rui Wang, Yu Jiang, Kang Yang, Yong Guan, Xiaojuan Li, Zhiping Shi
Runtime Verification of Robots Collision Avoidance Case Study. COMPSAC (1) (2018)
Qin Yang, Yinghai Ke, Dongyi Zhang, Beibei Chen, Huili Gong, Mingyuan Lv, Lin Zhu, Xiaojuan Li
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. 10 (7) (2018)
Yanan Liu, Yong Guan, Xiaojuan Li, Rui Wang, Jie Zhang
Formal Analysis and Verification of DDS in ROS2. MEMOCODE (2018)
Guohui Wang, Yong Guan, Zhiping Shi, Qianying Zhang, Xiaojuan Li, Yongdong Li
Formalization of Symplectic Geometry in HOL-Light. ICFEM (2018)
Kang Yang, Rui Wang, Yu Jiang, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi
Enhanced resilient sensor attack detection using fusion interval and measurement history. CODES+ISSS (2018)
Shun Wang, Xiaojuan Li, Yong Guan, Rui Wang, Jie Zhang
Executable Micro-Architecture Modeling and Automatic Verification of EtherCAT. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Rui Wang, Yingxia Wei, Houbing Song, Yu Jiang, Yong Guan, Xiaoyu Song, Xiaojuan Li
From Offline Towards Real-Time Verification for Robot Systems. IEEE Trans. Ind. Informatics 14 (4) (2018)
Kang Yang, Rui Wang, Yu Jiang, Houbing Song, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi
Sensor attack detection using history based pairwise inconsistency. Future Gener. Comput. Syst. 86 (2018)
Yingbiao Yao, Tianjie Jia, Xiaojuan Li, Yu Lu
A fast DEA-based intra-coding algorithm for HEVC. Multim. Tools Appl. 77 (2) (2018)
Yunpeng Xiao, Xiaojuan Li, Shasha Yang, Yanbing Liu
Who will retweet? A prediction method for social hotspots based on dynamic tensor decomposition. Sci. China Inf. Sci. 61 (9) (2018)
Qian Li, Xiaojuan Li, Bin Wu, Yunpeng Xiao
Retweeting Prediction Based on Social Hotspots and Dynamic Tensor Decomposition. IEICE Trans. Inf. Syst. (5) (2018)
Hongrui Zheng, Peijun Du, Jike Chen, Junshi Xia, Erzhu Li, Zhigang Xu, Xiaojuan Li, Naoto Yokoya
Performance Evaluation of Downscaling Sentinel-2 Imagery for Land Use and Land Cover Classification by Spectral-Spatial Features. Remote. Sens. 9 (12) (2017)
Yongqian Li, Xiaojuan Li, Qi An, Lixin Zhang
Detrimental Effect Elimination of Laser Frequency Instability in Brillouin Optical Time Domain Reflectometer by Using Self-Heterodyne Detection. Sensors 17 (3) (2017)
Xinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Xiaoyu Song
Formal Modeling and Automatic Code Synthesis for Robot System. ICECCS (2017)
Jinyan Tian, Le Wang, Xiaojuan Li, Chen Shi, Huili Gong
Differentiating Tree and Shrub LAI in a Mixed Forest With ICESat/GLAS Spaceborne LiDAR. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 10 (1) (2017)
Jinyan Tian, Le Wang, Xiaojuan Li, Huili Gong, Chen Shi, Ruofei Zhong, Xiaomeng Liu
Comparison of UAV and WorldView-2 imagery for mapping leaf area index of mangrove forest. Int. J. Appl. Earth Obs. Geoinformation 61 (2017)
Jie Zhang, Man Kang, Xiaojuan Li, Geng-yang Liu
Bio-Inspired Genetic Algorithms with Formalized Crossover Operators for Robotic Applications. Frontiers Neurorobotics 11 (2017)
Siyao Yang, Dan Meng, Xiaojuan Li
Drought assessment in Beijing-Tianjin-Hebei region in China in recent ten years. IGARSS (2016)
Xiaojuan Li, Yanyan Huo, Yong Guan, Rui Wang, Jie Zhang
Formal Modelling and Analysis of TCP for Nodes Communication with ROS. CollaborateCom (2016)
Shanshan Li, Chunna Zhao, Yong Guan, Zhiping Shi, Rui Wang, Xiaojuan Li, Shiwei Ye
分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4). 计算机科学 43 (3) (2016)
Mi Chen, Roberto Tomás, Zhenhong Li, Mahdi Motagh, Tao Li, Leyin Hu, Huili Gong, Xiaojuan Li, Jun Yu, Xulong Gong
Imaging Land Subsidence Induced by Groundwater Extraction in Beijing (China) Using Satellite Radar Interferometry. Remote. Sens. 8 (6) (2016)
Yingbiao Yao, Xiaojuan Li, Yu Lu
Fast intra mode decision algorithm for HEVC based on dominant edge assent distribution. Multim. Tools Appl. 75 (4) (2016)
Jinyan Tian, Xiaojuan Li, Fuzhou Duan, Junqian Wang, Yang Ou
An Efficient Seam Elimination Method for UAV Images Based on Wallis Dodging and Gaussian Distance Weight Enhancement. Sensors 16 (5) (2016)
Yanchun Li, Xiaojuan Li, Yong Guan, Rui Wang, Jie Zhang, Hongxing Wei
基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic). 计算机科学 43 (2) (2016)
Xingli Lv, Zhiping Shi, Xiaojuan Li, Yong Guan, Shiwei Ye, Jie Zhang
连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform). 计算机科学 42 (4) (2015)
Jinyan Tian, Le Wang, Xiaojuan Li
Sub-footprint analysis to uncover tree height variation using ICESat/GLAS. Int. J. Appl. Earth Obs. Geoinformation 35 (2015)
Dan Li, Yinghai Ke, Huili Gong, Xiaojuan Li
Object-Based Urban Tree Species Classification Using Bi-Temporal WorldView-2 and WorldView-3 Images. Remote. Sens. 7 (12) (2015)
Ya Wang, Rui Wang, Yong Guan, Xiaojuan Li, Hongxing Wei, Jie Zhang
Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System. COMPSAC Workshops (2015)
Yuanyuan Hou, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Zhiping Shi, Jie Zhang
Embedded System Design with Reliability-Centric Optimization. COMPSAC (2015)
Lifeng Wu, Yu Zheng, Yong Guan, Guohui Wang, Xiaojuan Li
A Non-Intrusive Method for Monitoring the Degradation of MOSFETs. Sensors 14 (1) (2014)
Rui Wang, Ping Luo, Yong Guan, Hongxing Wei, Xiaojuan Li, Jie Zhang, Xiaoyu Song
Timed automata based motion planning for a self-assembly robot system. ICRA (2014)
William N. N. Hung, Xiaoyu Song, Jindong Tan, Xiaojuan Li, Jie Zhang, Rui Wang, Peng Gao
Motion planning with Satisfiability Modulo Theories. ICRA (2014)
Yihui Cui, Zhiyong Peng, Wei Song, Xiaojuan Li, Fangquan Cheng, Luxiao Ding
A Time-Based Group Key Management Algorithm Based on Proxy Re-encryption for Cloud Storage. APWeb (2014)
Xiaojuan Li, Hua Yang, Jiangping Huang
Maximum Entropy for Chinese Comma Classification with Rich Linguistic Features. CIPS-SIGHAN (2014)
Xiaojuan Li, Shukai Duan, Lidan Wang, Tingwen Huang, Yiran Chen
Memristive Radial Basis Function Neural Network for Parameters Adjustment of PID Controller. ISNN (2014)
Jie Zhang, Yuntao Peng, William N. N. Hung, Xiaojuan Li, Jindong Tan, Zhiping Shi
A Case Study on Formal Analysis of an Automated Guided Vehicle System. J. Appl. Math. 2014 (2014)
Yilin Lu, Yong Guan, Xiaojuan Li, Rui Wang, Jie Zhang
A framework of model checking guided test vector generation for the 6DOF manipulator. ICRA (2014)
Zhiping Shi, Weiqing Gu, Xiaojuan Li, Yong Guan, Shiwei Ye, Jie Zhang, Hongxing Wei
The Gauge Integral Theory in HOL4. J. Appl. Math. 2013 (2013)
Meijuan Hao, Lifeng Wu, Yong Guan, Wei Pan, Wubing Tang, Xiaojuan Li
The Supercapacitor Degradation State Diagnostic System Based on LabVIEW. Int. J. Online Eng. 9 (3) (2013)
Rui Wang, Yong Guan, Liming Luo, Xiaojuan Li, Jie Zhang
Component-Based Formal Modeling of PLC Systems. J. Appl. Math. 2013 (2013)

Xiaojuan Li.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Xiaojuan Li