Model Updating CTL Systems. - Yulin Ding; Yan Zhang 003 (Australian Conference on Artificial Intelligence, 2005)

A Logic Approach for LTL System Modification. - Yulin Ding; Yan Zhang 003 (ISMIS, 2005)

Algorithms for CTL System Modification. - Yulin Ding; Yan Zhang 003 (KES (2), 2005)

CTL Model Update: Semantics, Computations and Implementation. - Yulin Ding; Yan Zhang (ECAI, 2006)

A Case Study for CTL Model Update. - Yulin Ding; Yan Zhang 003 (KSEM, 2006)

System Modification Case Studies. - Yulin Ding; Yan Zhang (COMPSAC (2), 2007)

Specifying Software Architectures Using a Formal-Based Approach. - David Hemer; Yulin Ding (Australian Software Engineering Conference, 2008)

A Study of the Model Explosion Problem in CTL Model Update. - Yulin Ding; Yan Zhang (SEKE, 2008)

CTL Model Update for System Modifications. - Yan Zhang 003; Yulin Ding (J. Artif. Intell. Res., 2008)

An Optimised Algorithm to Tackle the Model Explosion Problem in CTL Model Update. - Yulin Ding; David Hemer (PRICAI, 2010)

CTL Model Update for System Modifications - Yulin Ding; Yan Zhang (CoRR, 2011)

An integrated virtual geographic environmental simulation framework: a case study of flood disaster simulation. - Yulin Ding; Qing Zhu; Hui Lin (Geo spatial Inf. Sci., 2014)

A real-time geo-processing database engine linking calculations and storage for VGE. - Chen Wu; Qing Zhu; Weiping Xu; Yeting Zhang; Xiao Xie; Yulin Ding; Feng He; Yan Zhou (Ann. GIS, 2015)

An integrated geospatial information service system for disaster management in China. - Yulin Ding; Yida Fan; Zhiqiang Du; Qing Zhu; Wei Wang; Sanchao Liu; Hui Lin (Int. J. Digit. Earth, 2015)

Sparse Neighborhood Preserving Embedding via L2, 1-Norm Minimization. - Youpeng Zhou; Yulin Ding; Yifu Luo; Haoliang Ren (ISCID (2), 2016)

Indoor Multi-Dimensional Location GML and Its Application for Ubiquitous Indoor Location Services. - Qing Zhu; Yun Li 003; Qing Xiong; Sisi Zlatanova; Yulin Ding; Yeting Zhang; Yan Zhou (ISPRS Int. J. Geo Inf., 2016)

A 3D Shape Descriptor Based on Contour Clusters for Damaged Roof Detection Using Airborne LiDAR Point Clouds. - Meizhang He; Qing Zhu; Zhiqiang Du; Han Hu 005; Yulin Ding; Min Chen 015 (Remote. Sens., 2016)

A noisy sparse convolution neural network based on stacked auto-encoders. - Yulin Ding; Xiaolong Zhang 002; Jinshan Tang (SMC, 2017)

A modelling system with adjustable emission inventories for cross-boundary air quality management in Hong Kong and the Pearl River Delta, China. - Chunxiao Zhang; Hui Lin 002; Min Chen 008; Xinqi Zheng; Rongrong Li; Yulin Ding (Comput. Environ. Urban Syst., 2017)

Intact Planar Abstraction of Buildings via Global Normal Refinement from Noisy Oblique Photogrammetric Point Clouds. - Qing Zhu; Feng Wang 044; Han Hu 005; Yulin Ding; Jiali Xie; Weixi Wang; Ruofei Zhong (ISPRS Int. J. Geo Inf., 2018)

Semantics-Constrained Advantageous Information Selection of Multimodal Spatiotemporal Data for Landslide Disaster Assessment. - Qing Zhu; Junxiao Zhang; Yulin Ding; Mingwei Liu 001; Yun Li 003; Bin Feng; Shuangxi Miao; Weijun Yang; Huagui He; Jun Zhu 007 (ISPRS Int. J. Geo Inf., 2019)

Fast and Regularized Reconstruction of Building Façades from Street-View Images using Binary Integer Programming. - Han Hu 005; Libin Wang 005; Yulin Ding; Qing Zhu (CoRR, 2020)

Optimized Spatiotemporal Data Scheduling Based on Maximum Flow for Multilevel Visualization Tasks. - Qing Zhu; Meite Chen; Bin Feng; Yan Zhou; Maosu Li; Zhaowen Xu; Yulin Ding; Mingwei Liu 001; Wei Wang; Xiao Xie (ISPRS Int. J. Geo Inf., 2020)

Meta-learning an Intermediate Representation for Few-shot Block-wise Prediction of Landslide Susceptibility. - Li Chen 026; Yulin Ding; Han Hu 005; Qing Zhu; Haowei Zeng; Haojia Yu; Qisen Shang; Yongfei Song (CoRR, 2021)

Versioned geoscientific workflow for the collaborative geo-simulation of human-nature interactions - a case study of global change and human activities. - Yuting Chen; Hui Lin 002; Ling Xiao; Qi Jing; Lan You; Yulin Ding; Mingyuan Hu; Adam Thomas Devlin (Int. J. Digit. Earth, 2021)

Multientity Registration of Point Clouds for Dynamic Objects on Complex Floating Platform Using Object Silhouettes. - Feng Wang 044; Han Hu 005; Xuming Ge; Bo Xu 003; Ruofei Zhong; Yulin Ding; Xiao Xie; Qing Zhu (IEEE Trans. Geosci. Remote. Sens., 2021)

A Multi-Level Situational Awareness Method with Dynamic Multi-Modal Data Visualization for Air Pollution Monitoring. - Yuting Chen; Qi Jing; Ling Xiao; Yulin Ding; Mingyuan Hu; Weitao Che; Hui Lin (IGARSS, 2022)

Meta-learning an intermediate representation for few-shot prediction of landslide susceptibility in large areas. - Li Chen 026; Yulin Ding; Saied Pirasteh; Han Hu 005; Qing Zhu; Xuming Ge; Haowei Zeng; Haojia Yu; Qisen Shang; Yongfei Song (Int. J. Appl. Earth Obs. Geoinformation, 2022)

PRISI: A novel piecewise radar impervious surface index for urban monitoring using Sentinel-1 data. - Yulin Ding; Qing Ding; Jie Yang 040; Zhenfeng Shao; Xiao Huang 003 (Int. J. Appl. Earth Obs. Geoinformation, 2022)

Semi-Supervised Adversarial Recognition of Refined Window Structures for Inverse Procedural Façade Modeling. - Han Hu 005; Xinrong Liang; Yulin Ding; Qisen Shang; Bo Xu 003; Xuming Ge; Min Chen 015; Ruofei Zhong; Qing Zhu (CoRR, 2022)

Integrated data-model-knowledge representation for natural resource entities. - Yulin Ding; Zhaowen Xu; Qing Zhu; Hankan Li; Yan Luo; Ying Bao; Lingjun Tang; Sen Zeng (Int. J. Digit. Earth, 2022)

Graph neural networks with constraints of environmental consistency for landslide susceptibility evaluation. - Haowei Zeng; Qing Zhu; Yulin Ding; Han Hu 005; Li Chen 026; Xiao Xie; Min Chen 015; Yanxia Yao (Int. J. Geogr. Inf. Sci., 2022)

Cascaded Residual Attention Enhanced Road Extraction from Remote Sensing Images. - Shengfu Li; Cheng Liao; Yulin Ding; Han Hu 005; Yang Jia; Min Chen 015; Bo Xu 003; Xuming Ge; Tianyang Liu; Di Wu (ISPRS Int. J. Geo Inf., 2022)

A dynamic snow accumulation simulation approach for forecasting snow distribution over regional-scale terrain. - Yulin Ding; Qianqian Sun; Qing Zhu (Trans. GIS, 2022)

Integrated representation of geospatial data, model, and knowledge for digital twin railway. - Hankan Li; Qing Zhu; Liguo Zhang; Yulin Ding; Yongxin Guo; Haoyu Wu; Qiang Wang; Runfang Zhou; Mingwei Liu 001; Yan Zhou (Int. J. Digit. Earth, 2022)

Improved Dempster-Shafer Evidence Theory for Tunnel Water Inrush Risk Analysis Based on Fuzzy Identification Factors of Multi-Source Geophysical Data. - Yulin Ding; Binru Yang; Guangchun Xu; Xiaoyong Wang (Remote. Sens., 2022)

Large-Scale Human Mobility Prediction Based on Periodic Attenuation and Local Feature Match. - Xiaogang Guo; Guangyue Li; Zhixing Chen; Huazu Zhang; Yulin Ding; Jinghan Wang; Zilong Zhao; Luliang Tang (HuMob-Challenge@SIGSPATIAL, 2023)

BCE-Net: Reliable Building Footprints Change Extraction based on Historical Map and Up-to-Date Images using Contrastive Learning. - Cheng Liao; Han Hu 005; Xuekun Yuan; Haifeng Li 007; Chao Liu; Chunyang Liu; Gui Fu; Yulin Ding; Qing Zhu (CoRR, 2023)

Dynamic landslide susceptibility mapping over recent three decades to uncover variations in landslide causes in subtropical urban mountainous areas. - Peifeng Ma; Li Chen 026; Chang Yu; Qing Zhu; Yulin Ding (CoRR, 2023)

V2PNet: Voxel-to-Point Feature Propagation and Fusion That Improves Feature Representation for Point Cloud Registration. - Han Hu 005; Yongkuo Hou; Yulin Ding; Guoqiang Pan; Min Chen 015; Xuming Ge (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2023)

Multiscale Feature Fusion for the Multistage Denoising of Airborne Single Photon LiDAR. - Shuming Si; Han Hu 005; Yulin Ding; Xuekun Yuan; Ying Jiang; Yigao Jin; Xuming Ge; Yeting Zhang; Jie Chen; Xiaocui Guo (Remote. Sens., 2023)

A flexible calibration method with multi-stage optimization for the axial error of mobile mapping systems. - Ying Jiang; Han Hu 005; Shuming Si; Yeting Zhang; Jie Chen; Xiaocui Guo; Yulin Ding; Ruofei Zhong; Qing Zhu (Int. J. Appl. Earth Obs. Geoinformation, 2023)

Virtual geographic environment-based integrated rockfall risk simulation method for canyon bridges. - Yulin Ding; Yuting Wu; Qing Zhu; Liguo Zhang; Qianqian Sun; Weixi Wang (Trans. GIS, 2023)

Geo-environment-aware adversarial transfer learning method for landslide susceptibility evaluation of complex mountainous areas. - Liguo Zhang; Haowei Zeng; Yulin Ding; Han Hu 005; Li Chen 026; Junxiao Zhang; Yan Zhou (Trans. GIS, 2023)

An adaptive LIC based geographic flow field visualization method by means of rotation distance. - Yulin Ding; Daiyu Shang; Tingchen Wu; Qing Zhu; Liguo Zhang; Yongxin Guo (Int. J. Digit. Earth, 2023)

Modeling the Global Relationship via the Point Cloud Transformer for the Terrain Filtering of Airborne LiDAR Data. - Libo Cheng; Rui Hao; Zhibo Cheng; Taifeng Li; Tengxiao Wang; Wenlong Lu; Yulin Ding; Han Hu 005 (Remote. Sens., 2023)

Landslide Extraction Using Fused Local and Nonlocal Attentional Features on Edge Device Toward Embedded UAV Emergency Response. - Lin Chen; Yulin Ding; Han Hu 005; Qing Zhu; Bo Xiang; Yunyong He; Dong Wang (IEEE Trans. Geosci. Remote. Sens., 2024)

Efficient distributed association management method of data, model, and knowledge for digital twin railway. - Yongxin Guo; Qing Zhu; Yulin Ding; Yun Li 003; Haoyu Wu; Yang He; Zhihong Li; Hankan Li; Liguo Zhang; Yuanzhen Zhao; Yan Pan; Ting Yang; et al. (Int. J. Digit. Earth, 2024)

AutoLRG: A Two-Stage Framework for Automated Lane-Level Road Graph Construction. - Heng Qi; Hongyu Shi; Xue Yang 002; Xiaogang Guo; Yulin Ding; Luliang Tang (IEEE Trans. Geosci. Remote. Sens., 2025)

TripleA: An Unsupervised Domain Adaptation Framework for Nighttime VRU Detection. - Yuankun Wang; Zhenfeng Shao; Jiaming Wang 001; Yu Wang 140; Yulin Ding; Gui Cheng (IEEE Trans. Intell. Transp. Syst., 2025)