Semantics of Framed Temporal Logic Programs. - Zhenhua Duan; Xiaoxiao Yang; Maciej Koutny (ICLP, 2005)

Operational Semantics of Framed Temporal Logic Programs. - Xiaoxiao Yang; Zhenhua Duan (SOFSEM (1), 2007)

An Interpreter for Framed Tempura and Its Application. - Yongtao Ma; Zhenhua Duan; Xiaobing Wang; Xiaoxiao Yang (TASE, 2007)

Operational semantics of Framed Tempura. - Xiaoxiao Yang; Zhenhua Duan (J. Log. Algebraic Methods Program., 2008)

Framed temporal logic programming. - Zhenhua Duan; Xiaoxiao Yang; Maciej Koutny (Sci. Comput. Program., 2008)

Axiomatic Temporal Logic Programs Verification. - Xiaoxiao Yang; Zhenhua Duan (TASE, 2010)

Probabilistic Model Checking for Propositional Projection Temporal Logic - Xiaoxiao Yang (CoRR, 2010)

Axiomatic semantics of projection temporal logic programs. - Xiaoxiao Yang; Zhenhua Duan; Qian Ma (Math. Struct. Comput. Sci., 2010)

A Probabilistic Variant of Projection Temporal Logic - Xiaoxiao Yang (CoRR, 2011)

A Concurrent Temporal Programming Model with Atomic Blocks. - Xiaoxiao Yang; Yu Zhang 086; Ming Fu; Xinyu Feng 001 (ICFEM, 2012)

Combining Separation Logic and Projection Temporal Logic to Reason About Non-blocking Concurrency. - Xiaoxiao Yang (SOFL+MSVL, 2014)

A temporal programming model with atomic blocks based on projection temporal logic. - Xiaoxiao Yang; Yu Zhang 086; Ming Fu; Xinyu Feng 001 (Frontiers Comput. Sci., 2014)

Force Control Tasks with Pure Haptic Feedback Promote Short-Term Focused Attention. - Dangxiao Wang; Yuru Zhang; Xiaoxiao Yang; Gaofeng Yang; Yi Yang (IEEE Trans. Haptics, 2014)

An Adaptive Strategy for an Immersive Visuo-Haptic Attention Training Game. - Xiaoxiao Yang; Dangxiao Wang; Yuru Zhang (EuroHaptics (1), 2016)

Performance Evaluation of Concurrent Data Structures. - Hao Wu 013; Xiaoxiao Yang; Joost-Pieter Katoen (SETTA, 2016)

Proving Linearizability via Branching Bisimulation. - Xiaoxiao Yang; Joost-Pieter Katoen; Huimin Lin; Hao Wu 013 (CoRR, 2016)

A Robust Hand Cursor Interaction Method Using Kinect. - Zhiwen Lei; Xiaoxiao Yang; Yanzhou Gong; Weixing Huang; Jian Wang 029; Guigang Zhang (ISM, 2017)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation. - Xiaoxiao Yang; Joost-Pieter Katoen; Huimin Lin; Hao Wu 013 (CoRR, 2017)

Branching Bisimulation and Concurrent Object Verification. - Xiaoxiao Yang; Joost-Pieter Katoen; Huimin Lin; Gaoang Liu; Hao Wu 013 (DSN, 2018)

The Effect Race in Fine-Grained Concurrency. - Xiaoxiao Yang (CoRR, 2018)

Research on CIM Basic Platform Construction. - Tianping Bi; Xiaoxiao Yang; Fei Zhou; Yishu Zhu; Xianzhe Diao (ICIT, 2020)

Learning Consistency Pursued Correlation Filters for Real-Time UAV Tracking. - Changhong Fu 001; Xiaoxiao Yang; Fan Li; Juntao Xu; Changjing Liu; Peng Lu 003 (IROS, 2020)

Vortex dislocation characteristics of a dual-step cylinder in low-Re flow. - Chunning Ji; Xiaoxiao Yang; Yuting Cui; Weilin Chen 003 (Int. J. Comput. Appl. Technol., 2020)

Indoor Test System for Liquid CO2 Phase Change Shock Wave Pressure with PVDF Sensors. - Xing Huang; Qiyue Li; Xin'ao Wei; Xiaoxiao Yang; Dayou Luo; Haideng Zeng; Hongwei Wang (Sensors, 2020)

A Joint Constraint Incentive Mechanism Algorithm Utilizing Coverage and Reputation for Mobile Crowdsensing. - Jing Zhang; Xiaoxiao Yang; Xin Feng; Hongwei Yang; An Ren (Sensors, 2020)

Photometric Stereo Based on Multiple Kernel Learning. - Yinuo Wang; Yu Guo 006; Xiaoxiao Yang; Xuetao Zhang 001; Fei Wang 008 (ICIG (3), 2021)

Dynamic Hypergraph Regularized Broad Learning System for Image Classification. - Xiaoxiao Yang; Yu Guo 006; Yinuo Wang; Peilin Jiang; Fei Wang 008 (ICIG (1), 2021)

A New Extended State Observer. - Yang Zhang; Xiaoxiao Yang (ICISCAE (ACM), 2021)

BAANet: Learning Bi-directional Adaptive Attention Gates for Multispectral Pedestrian Detection. - Xiaoxiao Yang; Yeqian Qiang; Huijie Zhu; Chunxiang Wang; Ming Yang 002 (CoRR, 2021)

Incentive mechanism based on Stackelberg game under reputation constraint for mobile crowdsensing. - Xiaoxiao Yang; Jing Zhang; Jun Peng; Lihong Lei (Int. J. Distributed Sens. Networks, 2021)

Online robust echo state broad learning system. - Yu Guo 006; Xiaoxiao Yang; Yinuo Wang; Fei Wang 008; Badong Chen (Neurocomputing, 2021)

Few-shot Edge Classification in Graph Meta-learning. - Xiaoxiao Yang; Jungang Xu (DSAA, 2022)

BAANet: Learning Bi-directional Adaptive Attention Gates for Multispectral Pedestrian Detection. - Xiaoxiao Yang; Yeqiang Qian; Huijie Zhu; Chunxiang Wang; Ming Yang 002 (ICRA, 2022)

GESRsim: Gastrointestinal Endoscopic Surgical Robot Simulator. - Huxin Gao; Zedong Zhang; Changsheng Li; Xiao Xiao; Liang Qiu 002; Xiaoxiao Yang; Ruoyi Hao; Xiuli Zuo; Yanqing Li; Hongliang Ren 001 (IROS, 2022)

Recognition of Degradation Scenarios for LiDAR SLAM Applications. - Chenglin Yang; Zihao Chai; Xiaoxiao Yang; Hanyang Zhuang; Ming Yang 002 (ROBIO, 2022)

A Miniature 3-DoF Flexible Parallel Robotic Wrist Using NiTi Wires for Gastrointestinal Endoscopic Surgery. - Huxin Gao; Xiao Xiao; Xiaoxiao Yang; Tao Zhang; Xiuli Zuo; Yanqing Li; Hongliang Ren 001 (CoRR, 2022)

scAPAatlas: an atlas of alternative polyadenylation across cell types in human and mouse. - Xiaoxiao Yang; Yang Tong; Gerui Liu; Jiapei Yuan; Yang Yang (Nucleic Acids Res., 2022)

Evaluation of the Competitiveness of 17 National Tourism Comprehensive Demonstration Zones in Niche Tourism Based on Big Data. - Huan Li; Xiaoxiao Yang; Jinghui Yin; Xiaoxu Yang (ICBAR, 2023)

Research on Improving Gray Wolf Algorithm Based on Multi-Strategy Fusion. - Xiaoxiao Yang; Yihui Qiu (IEEE Access, 2023)

AMagPoseNet: Real-Time Six-DoF Magnet Pose Estimation by Dual-Domain Few-Shot Learning From Prior Model. - Shijian Su; Sishen Yuan; Mengya Xu; Huxin Gao; Xiaoxiao Yang; Hongliang Ren 001 (IEEE Trans. Ind. Informatics, 2023)

SAVAnet: Surgical Action-Driven Visual Attention Network for Autonomous Endoscope Control. - Huxin Gao; Weichen Fan; Liang Qiu 002; Xiaoxiao Yang; Zhen Li 026; Xiuli Zuo; Yanqing Li; Max Q.-H. Meng; Hongliang Ren 001 (IEEE Trans Autom. Sci. Eng., 2023)

An Efficient Hybrid Graph Network Model for Traveling Salesman Problem with Drone. - Yang Wang; Xiaoxiao Yang; Zhibin Chen (Neural Process. Lett., 2023)

Spatial-Temporal Mamba Network for EEG-Based Motor Imagery Classification. - Xiaoxiao Yang; Ziyu Jia (ADMA (3), 2024)

EnvAwareLoc: Precision Localization Network Based on the Introduction of Environmental Information. - Xiaoxian Lian; Huanglin Zhang; Lingyu Chen; Jianghong Shi; Xiaoxiao Yang; Tiange Wang; Jingyi Cai (ICIC (LNAI 5), 2024)

Towards Accurate 3D Face Alignment Under Extreme Scenarios Via Multi-Granularity Perturbation Relearning. - Xinyu Li; Xing Wang; Xiaoxiao Yang; Suping Wu; Xiangzheng Li; Xitie Zhang; Zhiyuan Zhou; Xiang Zhang (ICME, 2024)

OSSAR: Towards Open-Set Surgical Activity Recognition in Robot-assisted Surgery. - Long Bai 008; Guankun Wang; Jie Wang 097; Xiaoxiao Yang; Huxin Gao; Xin Liang; An Wang 007; Mobarakol Islam; Hongliang Ren 001 (ICRA, 2024)

LighTDiff: Surgical Endoscopic Image Low-Light Enhancement with T-Diffusion. - Tong Chen; Qingcheng Lyu; Long Bai 008; Erjian Guo; Huxin Gao; Xiaoxiao Yang; Hongliang Ren 001; Luping Zhou (MICCAI (6), 2024)

AMFD: Distillation via Adaptive Multimodal Fusion for Multispectral Pedestrian Detection. - Zizhao Chen; Yeqiang Qian; Xiaoxiao Yang; Chunxiang Wang; Ming Yang 002 (CoRR, 2024)

CoPESD: A Multi-Level Surgical Motion Dataset for Training Large Vision-Language Models to Co-Pilot Endoscopic Submucosal Dissection. - Guankun Wang; Han Xiao 010; Huxin Gao; Renrui Zhang; Long Bai 008; Xiaoxiao Yang; Zhen Li 026; Hongsheng Li 001; Hongliang Ren 001 (CoRR, 2024)

PDZSeg: Adapting the Foundation Model for Dissection Zone Segmentation with Visual Prompts in Robot-assisted Endoscopic Submucosal Dissection. - Mengya Xu; Wenjin Mo; Guankun Wang; Huxin Gao; An Wang 007; Zhen Li 026; Xiaoxiao Yang; Hongliang Ren 001 (CoRR, 2024)

ETSM: Automating Dissection Trajectory Suggestion and Confidence Map-Based Safety Margin Prediction for Robot-assisted Endoscopic Submucosal Dissection. - Mengya Xu; Wenjin Mo; Guankun Wang; Huxin Gao; An Wang 007; Long Bai 008; Chaoyang Lyu; Xiaoxiao Yang; Zhen Li 026; Hongliang Ren 001 (CoRR, 2024)

Transendoscopic flexible parallel continuum robotic mechanism for bimanual endoscopic submucosal dissection. - Huxin Gao; Xiaoxiao Yang; Xiao Xiao; Xiaolong Zhu; Tao Zhang; Cheng Hou; Huicong Liu; Max Q.-H. Meng; Lining Sun; Xiuli Zuo; Yanqing Li; Hongliang Ren 001 (Int. J. Robotics Res., 2024)

Modeling and Compensation of Stiffness-Dependent Hysteresis for Stiffness-Tunable Tendon-Sheath Mechanism in Flexible Endoscopic Robots. - Huxin Gao; Ruoyi Hao; Xiaoxiao Yang; Changsheng Li; Zedong Zhang; Xiuli Zuo; Yanqing Li; Hongliang Ren 001 (IEEE Trans. Ind. Electron., 2024)

Digital economy and substantial green innovation: empirical evidence from Chinese listed companies. - Qingling Liu; Xiaoxiao Yang; Zhiyang Shen; Dalia Streimikiene (Technol. Anal. Strateg. Manag., 2024)

Kolmogorov-Arnold Networks for Time Series Granger Causality Inference. - Meiliang Liu; Yunfang Xu; Zijin Li; Zhengye Si; Xiaoxiao Yang; Xinyue Yang; Zhiwen Zhao (CoRR, 2025)

Neuro-Informed Joint Learning Enhances Cognitive Workload Decoding in Portable BCIs. - Xiaoxiao Yang; Chao Feng; Jiancheng Chen (CoRR, 2025)

Gradient Regularization-based Neural Granger Causality. - Meiliang Liu; Huiwen Dong; Xiaoxiao Yang; Yunfang Xu; Zijin Li; Zhengye Si; Xinyue Yang; Zhiwen Zhao (CoRR, 2025)

SFNet: A Spatial-Frequency Domain Deep Learning Network for Efficient Alzheimer's Disease Diagnosis. - Xinyue Yang; Meiliang Liu; Yunfang Xu; Xiaoxiao Yang; Zhengye Si; Zijin Li; Zhiwen Zhao (CoRR, 2025)

Inducing Long-Term Plastic Changes and Visual Attention Enhancement Via One-Week Cerebellar Crus II Intermittent Theta Burst Stimulation (iTBS): An EEG Study. - Meiliang Liu; Chao Yu; Minjie Tian; Jingping Shi; Yunfang Xu; Zijin Li; Zhengye Si; Xiaoxiao Yang; Xinyue Yang; Junhao Huang; Li Yao; Kuiying Yin; et al. (IEEE J. Biomed. Health Informatics, 2025)

An Interpretable Multi-Plane Fusion Framework With Kolmogorov-Arnold Network Guided Attention Enhancement for Alzheimer's Disease Diagnosis. - Xiaoxiao Yang; Meiliang Liu; Yunfang Xu; Zijin Li; Zhengye Si; Xinyue Yang; Zhiwen Zhao (CoRR, 2025)