Skip to content

Xiaojuan Li

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

52

Venues

19

Active years

2005–2025

Best venue rank

A*

Where they publish

Papers

52 indexed papers, newest first.

YearVenueTitleAuthors
2025CHASEOAAgent: Multimodal LLM Agent for Predicting Knee Osteoarthritis Progression.Pegah Ahadian, Mingrui Yang, Eva Powlison, Xiaojuan Li, Wei Xu, Qiang Guan
2022DCCLearning Tucker Compression for Deep CNN.Pengyi Hao, Xiaojuan Li, Fuli Wu
2022ICANNMulti-scale Vertical Cross-layer Feature Aggregation and Attention Fusion Network for Object Detection.Wenting Gao, Xiaojuan Li, Yu Han, Yue Liu
2021VRUser study of an AR reading aid system to promote deep reading.Xiaojuan Li, Yu Han, Yuhui Wu, Kang Yue, Yue Liu
2020HPCCFormal Modeling and Verification of EDCA Based on Probabilistic Model Checking.Yixuan Zan, Xiaojuan Li, Yong Guan, Rui Wang, Jie Zhang
2020QRSFormal Verification of CAN Bus in Cyber Physical System.Rui Wang, Yong Guan, Xiaojuan Li, Rui Zhang
2019IGARSSLand Surface Ecosystem Change Due to Natural and Anthropology Effects-The Ordos Case, Inner Mongolia.Liping Zheng, Lin Zhu, Jie Yu, Wei Wang, Xiaojuan Li, Yinghai Ke, Junsheng Li
2019ISPAModel Checking for the Goal-Feedback-Result Pattern in ROS.Wei Wei, Xiaojuan Li, Yong Guan, Rui Wang, Qian Lu, Jie Zhang
2018COMPSACRuntime Verification of Robots Collision Avoidance Case Study.Chenxia Luo, Rui Wang, Yu Jiang, Kang Yang, Yong Guan, Xiaojuan Li, Zhiping Shi
2018ICFEMFormalization of Symplectic Geometry in HOL-Light.Guohui Wang, Yong Guan, Zhiping Shi, Qianying Zhang, Xiaojuan Li, Yongdong Li
2018MEMOCODEFormal Analysis and Verification of DDS in ROS2.Yanan Liu, Yong Guan, Xiaojuan Li, Rui Wang, Jie Zhang
2018UICExecutable Micro-Architecture Modeling and Automatic Verification of EtherCAT.Shun Wang, Xiaojuan Li, Yong Guan, Rui Wang, Jie Zhang
2017ICECCSFormal Modeling and Automatic Code Synthesis for Robot System.Xinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Xiaoyu Song
2016IGARSSDrought assessment in Beijing-Tianjin-Hebei region in China in recent ten years.Siyao Yang, Dan Meng, Xiaojuan Li
2015COMPSACEmbedded System Design with Reliability-Centric Optimization.Yuanyuan Hou, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Zhiping Shi, Jie Zhang
2015COMPSACFormal Modeling and Verification of the Safety Critical Fire-Fighting Control System.Ya Wang, Rui Wang, Yong Guan, Xiaojuan Li, Hongxing Wei, Jie Zhang
2014APWEBA Time-Based Group Key Management Algorithm Based on Proxy Re-encryption for Cloud Storage.Yihui Cui, Zhiyong Peng, Wei Song, Xiaojuan Li, Fangquan Cheng, Luxiao Ding
2014ICRAMotion planning with Satisfiability Modulo Theories.William N. N. Hung, Xiaoyu Song, Jindong Tan, Xiaojuan Li, Jie Zhang, Rui Wang, Peng Gao
2014ICRAA framework of model checking guided test vector generation for the 6DOF manipulator.Yilin Lu, Yong Guan, Xiaojuan Li, Rui Wang, Jie Zhang
2014ICRATimed automata based motion planning for a self-assembly robot system.Rui Wang, Ping Luo, Yong Guan, Hongxing Wei, Xiaojuan Li, Jie Zhang, Xiaoyu Song
2014ISNNMemristive Radial Basis Function Neural Network for Parameters Adjustment of PID Controller.Xiaojuan Li, Shukai Duan, Lidan Wang, Tingwen Huang, Yiran Chen
2013COMPSACModel Checking for SpaceWire Link Interface Design Using Uppaal.Ping Luo, Rui Wang, Xiaojuan Li, Yong Guan, Hongxing Wei, Jie Zhang
2013IGARSSThe dynamic change of the urban thermal environment landscape patterns in Beijing from 2003 to 2011.Mingyu Wang, Yonghua Sun, Dan Meng, Xiaojuan Li
2013IGARSSAnalysis of Beijing's urban heat-island under the influence of extrme heat based on HJ-1B data.Wenbin Li, Yonghua Sun, Dan Meng, Xiaojuan Li
2012PDCATOn the Formal Modeling of Inductive Verification for Cryptographical Protocols.Yongjian Li, Xiaoyu Song, Xiaojuan Li
2011IGARSSLand cover change and effect on agricultural irrigation based on RS and GIS for 20 years in Yanqing County, Beijing.Linrui Song, Jing Zhang, Huili Gong, Xiaojuan Li, Jingyu Zhang
2011IGARSSThe distribution of aerosol optical depth retrieved by TM imagery over Beijing urban area, China.Wenhui Zhao, Huili Gong, Wenji Zhao, Xiaojuan Li
2010IGARSSImpervious surface coverage and their impact on other components of the urban ecosystem in Beijing.Dan Meng, Huili Gong, Xiaojuan Li, Wenji Zhao, Yanfang Li
2010IGARSSChange detection of landslides and debris in south Taiwan after "Morakot" typhoon based on HJ-1-B Satellite images.Lili Tang, Deyong Hu, Xiaojuan Li, Jian Lian
2010IGARSSA GIS-based spatial management and analysis system for rural socioeconomic statistic data.Jian Lian, Xiaojuan Li, Huili Gong, Yanbing Wang, Cankun Yang
2009IGARSSStudy of Thermal Environment based on Remote Sensing in Beijing-capital Zone.Dan Meng, Huili Gong, Xiaojuan Li, Wenji Zhao, Zhaoning Gong, Lin Zhu, Deyong Hu
2009IGARSSRemote Sensing Applications: Ecological Environment Effect Analysis of Widgeon Lake Wetland Change in Beijing Region.Zhaoning Gong, Xiaojuan Li, Wenji Zhao
2009IGARSSResearch on Driving Factors of Land Subsidence with Remote Sensing Technology.Lin Zhu, Huili Gong, Xiaojuan Li, Yaoming Su, Lingling Jing
2008IGARSSResearch on Improving Spatial Resolution of RS Images Based on Quadtree Decomposition.Yonghua Sun, Xiaojuan Li, Huili Gong, Chunping Zhou
2008IGARSSDesign and Implementation of Common Map Symbol System in GIS.Miao Yu, Meixian Sun, Junhua Teng, Xiaojuan Li, Weiguang Zhang
2008IGARSSInsar Analysis of Land Subsidence Caused by Groundwater Exploitation in Changping, Beijing, China.Youquan Zhang, Huili Gong, Xiaojuan Li, Taiguang Liu, Wen Yang, Beibei Chen, Angsheng Li, Yaoming Su
2008IGARSSResearch on Current Situation Investigation by Remote Sensing and Division Protection Zone of Great Wall of Ming Dynasty in Beijing.Ou Zhang, Xiaojuan Li, Huili Gong, Weiguang Zhang, Yonghua Sun
2008IGARSSModeling Atmospheric Effects of InSAR Measurements based on Meris and GPS observations.Huili Gong, Youquan Zhang, Xiaojuan Li, Angsheng Li, Beibei Chen, Huan Zhou, Yonghua Sun
2008IGARSSTexture Analysis and its Application for Single-Band SAR Thematic Information Extraction.Deyong Hu, Xiaojuan Li, Wen-Ji Zhao, Huili Gong
2008IGARSSThematic Information Extraction from IKONOS Imagery based on Object and Various Features.Deyong Hu, Wenji Zhao, Huili Gong, Xiaojuan Li, Jiacun Li
2007ICALTSocial Network Analysis of Interaction in Online Learning Communities.Yonggu Wang, Xiaojuan Li
2007IGARSSResearch on dynamic evolvement of desertification in beijing and its neighboring areas by remote sensing.Dan Meng, Zhiqiang Zhang, Tao Yang, Huili Gong, Wenji Zhao, Xiaojuan Li, Zhaoning Gong, Yanhui Wang, Zhuowei Hu, Yonghua Sun
2007IGARSSA study on optical and SAR data fusion for extracting flooded area.Yonghua Sun, Xiaojuan Li, Huili Gong, Wenji Zhao, Zhaoning Gong
2007IGARSSResearch on the landscape change of YeYaHu wetland based on remote sensing fusion.Wenji Zhao, Zhaoning Gong, Huili Gong, Xiaojuan Li, Zhuowei Hu, Songmei Zhang, Fusheng Wang
2007IGARSSUsing RS and GIS to monitoring Beijing wetland resources evolution.Zhaoning Gong, Huili Gong, Wenji Zhao, Xiaojuan Li, Zhuowei Hu
2007IGARSSThree dimensional groundwater virtual reality system and its spatial database.Huili Gong, Zhuowei Hu, Wenji Zhao, Xiaojuan Li, Yanhui Wang, Zhaoning Gong, Songmei Zhang
2007IGARSSFlood disaster response and decision-making support system based on remote sensing and GIS.Zhuowei Hu, Xiaojuan Li, Yonghua Sun, Living Zhu
2007IGARSSEvaluation and transformation analysis of ecological environment in Beijing based on remote sensing.Zhuowei Hu, Wenji Zhao, Xiaojuan Li, Ying Chen, Living Zhu, Songmei Zhang, Fusheng Wang
2007SNPDQuality assessment of beef based of computer vision and electronic nose.Cunshe Chen, Xiaojuan Li, Huimei Yuan
2007SNPDLocal And Global Features Extracting and Fusion For microbial Recognition.Xiaojuan Li, Cunshe Chen, Anbo Liang, Yan Shi
2006IGARSSSpatial Distribution Patterns of the Urban Heat Island Based on Remote Sensing Images: a Case Study in Beijing, China.Adu Gong, Yun-Hao Chen, Jing Li, Huili Gong, Xiaojuan Li
2005IGARSSStudy on distribution of soil pH in urban area of Beijing using GIS technology.Lingli Yang, Xiaojuan Li, Huili Gong, Wen-Ji Zhao, Lei Wang, Yong Hua Sun