Xiangyu Luo

61 papers A* 3A 3B 1C 1Misc 1Journal 37Unranked 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
Mathematical guarantees for trust region policy optimization.
Inf. Sci.
Li Li, Xiangyu Luo, Xiaoyu Song
2026 A* conf
MyGram: Modality-aware Graph Transformer with Global Distribution for Multi-modal Entity Alignment.
AAAI
Zhifei Li, Ziyue Qin, Xiangyu Luo, Xiaoju Hou, Yue Zhao, Miao Zhang, Zhifang Huang, Kui Xiao, Bing Yang
2026 J jnl
MyGram: Modality-aware Graph Transformer with Global Distribution for Multi-modal Entity Alignment.
CoRR
Zhifei Li, Ziyue Qin, Xiangyu Luo, Xiaoju Hou, Yue Zhao, Miao Zhang, Zhifang Huang, Kui Xiao, Bing Yang
2025 J jnl
A Phase-Change-Material-Based Variable Stiffness Sheath Inspired by a Multi-Layer Wave Spring Structure for Flexible Upper Gastrointestinal Endoscopic Robots.
IEEE Robotics Autom. Lett.
Dezhi Song, Xiangyu Luo, Xiangyang Yu, Bo Zhang, Zhengbao Yang, Chengzhi Hu, Chaoyang Shi
2025 A* conf
APKGC: Noise-enhanced Multi-Modal Knowledge Graph Completion with Attention Penalty.
AAAI
Yue Jian, Xiangyu Luo, Zhifei Li, Miao Zhang, Yan Zhang, Kui Xiao, Xiaoju Hou
2025 J jnl
BACT: nonparametric Bayesian cell typing for single-cell spatial transcriptomics data.
Briefings Bioinform.
Yinqiao Yan, Xiangyu Luo
2025 J jnl
Decoupled semantic graph neural network for knowledge graph embedding.
Neurocomputing
Zhifei Li, Wei Huang, Xuchao Gong, Xiangyu Luo, Kui Xiao, Honglian Deng, Miao Zhang, Yan Zhang
2025 J jnl
Graph structure prefix injection transformer for multi-modal entity alignment.
Inf. Process. Manag.
Yan Zhang, Xiangyu Luo, Jing Hu, Miao Zhang, Kui Xiao, Zhifei Li
2025 J jnl
LEO-RobotAgent: A General-purpose Robotic Agent for Language-driven Embodied Operator.
CoRR
Lihuang Chen, Xiangyu Luo, Jun Meng
2025 — conf
Synthesis of Real-time Linear Dynamic Logic over Finite Traces.
GAIIS
Chenglin Zhou, Cheng Huang, Xiangyu Luo
2023 J jnl
A Novel Distal Hybrid Pneumatic/Cable-Driven Continuum Joint with Variable Stiffness Capacity for Flexible Gastrointestinal Endoscopy.
Adv. Intell. Syst.
Xiangyu Luo, Dezhi Song, Zhiqiang Zhang, Shuxin Wang, Chaoyang Shi
2023 J jnl
A Novel Distal Hybrid Pneumatic/Cable-Driven Continuum Joint with Variable Stiffness Capacity for Flexible Gastrointestinal Endoscopy.
Adv. Intell. Syst.
Xiangyu Luo, Dezhi Song, Zhiqiang Zhang, Shuxin Wang, Chaoyang Shi
2023 J jnl
Bayesian Tree-Structured Two-Level Clustering for Nested Data Analysis.
J. Comput. Graph. Stat.
Yinqiao Yan, Xiangyu Luo
2023 J jnl
Classifier-Based Nonuniform Time Slicing Method for Local Community Evolution Analysis.
Big Data Res.
Xiangyu Luo, Tian Wang, Gang Xin, Yan Lu, Ke Yan, Ying Liu
2023 — conf
Development of a Liquid-Metal-Enhanced Continuum Joint with Variable Stiffness Capability for Flexible Endoscopy.
MHS
Dezhi Song, Yongxiang Song, Di Wu, Xiangyu Luo, Chaoyang Shi
2023 J jnl
Enable High-resolution, Real-time Ensemble Simulation and Data Assimilation of Flood Inundation using Distributed GPU Parallelization.
CoRR
Junyu Wei, Xiangyu Luo, Weihong Liao, Xiaohui Lei, Jianshi Zhao, Haocheng Huang, Hao Wang
2023 — conf
Landslide Displacement Prediction Based on EEMD and CNN-LSTM.
ICISCAE
Jing Zhou, Ge Gao, Xiangyu Luo
2023 J jnl
Parallel path detection for fraudulent accounts in banks based on graph analysis.
PeerJ Comput. Sci.
Zuxi Chen, Shifan Zhang, Xianli Zeng, Meng Mei, Xiangyu Luo, Lixiao Zheng
2022 J jnl
A European-Chinese Exploration: Part 2 - Urban Ecosystem Service Patterns, Processes, and Contributions to Environmental Equity under Different Scenarios.
Remote. Sens.
Wanben Wu, Xiangyu Luo, Julius Knopp, Laurence Jones, Ellen Banzhaf
2022 — conf
A Human Eye-based Text Color Scheme Generation Method for Image Synthesis.
EITCE
Shaowei Wang, Xiangyu Luo, Guanjie Huang
2022 J jnl
Hippocampus-heuristic character recognition network for zero-shot learning in Chinese character recognition.
Pattern Recognit.
Guanjie Huang, Xiangyu Luo, Shaowei Wang, Tianlong Gu, Kaile Su
2022 J jnl
Identification of cell-type-specific spatially variable genes accounting for excess zeros.
Bioinform.
Jinge Yu, Xiangyu Luo
2022 J jnl
Incremental Witness Generation for Branching-Time Logic CTL.
IEEE Trans. Reliab.
Xiangyu Luo, Sen Liang, Lixiao Zheng, Zuxi Chen, Fan Yang
2021 J jnl
CREST-iMAP v1.0: A fully coupled hydrologic-hydraulic modeling framework dedicated to flood inundation mapping and prediction.
Environ. Model. Softw.
Zhi Li, Mengye Chen, Shang Gao, Xiangyu Luo, Jonathan J. Gourley, Pierre Kirstetter, Tiantian Yang, Randall L. Kolar, Amy McGovern, Yixin Wen, Bo Rao, Teshome Yami, Yang Hong
2021 J jnl
Ensuring the Correctness of Regular Expressions: A Review.
Int. J. Autom. Comput.
Lixiao Zheng, Shuai Ma, Zuxi Chen, Xiangyu Luo
2021 J jnl
Hippocampus-heuristic Character Recognition Network for Zero-shot Learning.
CoRR
Shaowei Wang, Guanjie Huang, Xiangyu Luo
2021 J jnl
Integrated Mapping of Spatial Urban Dynamics - A European-Chinese Exploration. Part 1 - Methodology for Automatic Land Cover Classification Tailored towards Spatial Allocation of Ecosystem Services Features.
Remote. Sens.
Ellen Banzhaf, Wanben Wu, Xiangyu Luo, Julius Knopp
2021 J jnl
Practical and high-quality partitioning algorithm for large-scale and time-evolving graphs.
Knowl. Based Syst.
Xiangyu Luo, Luo Yingxiao, Gang Xin, Xiaolin Gui, Jia Wang, Cheng Guo
2021 J jnl
Testing cell-type-specific mediation effects in genome-wide epigenetic studies.
Briefings Bioinform.
Xiangyu Luo, Joel Schwartz, Andrea A. Baccarelli, Zhonghua Liu
2020 J jnl
A Human Eye-based Text Color Scheme Generation Method for Image Synthesis.
CoRR
Shaowei Wang, Guanjie Huang, Xiangyu Luo
2019 J jnl
Experimental Investigation of Two Types Interconnected Hydro-Pneumatic Struts.
IEEE Access
Dezhao Lin, Fan Yang, Di Gong, Feng Zhao, Xiangyu Luo, Ruihong Li, Zhihong Lin
2019 Misc conf
Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata.
TASE
Zuxi Chen, Huixing Fang, Xiangyu Luo
2018 J jnl
An identification method for important nodes based on k-shell and structural hole.
J. Complex Networks
Jian Feng, Dandan Shi, Xiangyu Luo
2018 J jnl
Symbolic model checking for discrete real-time systems.
Sci. China Inf. Sci.
Xiangyu Luo, Lijun Wu, Qingliang Chen, Haibo Li, Lixiao Zheng, Zuxi Chen
2017 J jnl
Age estimation with dynamic age range.
Multim. Tools Appl.
De-He Lai, Yewang Chen, Xiangyu Luo, Ji-Xiang Du, Tian Wang
2017 J jnl
Hot topic identification from micro-blog based on improved Single-pass algorithm.
J. Comput. Methods Sci. Eng.
Jian Feng, Yuanyuan Ding, Xiangyu Luo
2016 J jnl
A first-order coalition logic for BDI-agents.
Frontiers Comput. Sci.
Qingliang Chen, Kaile Su, Abdul Sattar, Xiangyu Luo, Aixiang Chen
2016 J jnl
Composition of Resource-Service Chain for Cloud Manufacturing.
IEEE Trans. Ind. Informatics
Haibo Li, Keith C. C. Chan, Mengxia Liang, Xiangyu Luo
2016 J jnl
Single-view determinacy and rewriting completeness for a fragment of XPath queries.
Sci. China Inf. Sci.
Lixiao Zheng, Shuai Ma, Xiangyu Luo, Tiejun Ma
2016 A conf
Transforming Programs between APIs with Many-to-Many Mappings.
ECOOP
Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu
2015 J jnl
Superset: a non-uniform replica placement strategy towards perfect load balance and fine-grained power proportionality.
Clust. Comput.
Xiangyu Luo, Gang Xin, Yun Wang, Zexi Zhang, Hui Wang
2014 B conf
Quantified Coalition Logic for BDI-Agents: Completeness and Complexity.
PRICAI
Qingliang Chen, Qun Li, Kaile Su, Xiangyu Luo
2013 — conf
Superset: A Non-uniform Replica Placement Strategy towards High-Performance and Cost-Effective Distributed Storage Service.
CBD
Xiangyu Luo, Yun Wang, Zexi Zhang, Hui Wang
2012 — conf
An Empirical Comparative Study of Decentralized Load Balancing Algorithms in Clustered Storage Environment.
ICPCA/SWS
Yun Wang, Xiangyu Luo, Feifei Yuan, Cong Li
2011 J jnl
Competent predicate abstraction in model checking.
Sci. China Inf. Sci.
Li Li, Xiaoyu Song, Ming Gu, Xiangyu Luo
2010 J jnl
A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems.
Knowl. Based Syst.
Lijun Wu, Jinshu Su, Kaile Su, Xiangyu Luo, Zhihua Yang
2010 — conf
Recoverability of Erasure Codes Based and Intensively Written Storage Systems.
SSIRI
Xiangyu Luo, Yun Wang
2010 — conf
Symbolic Model Checking the Knowledge in Herbivore Protocol.
MoChArt
Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang
2010 J jnl
Testing Conformance of BPEL Business Process Based on Model Checking.
J. Softw.
Rongsheng Dong, Zhao Wei, Xiangyu Luo, Fang Liu
2009 — conf
A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems.
Canadian AI
Lijun Wu, Jinshu Su, Xiangyu Luo, Zhihua Yang, Qingliang Chen
2009 — conf
Automatic Verification of Composite Web Services Based on Temporal and Epistemic Logic.
WGEC
Xiangyu Luo, Zheng Tan, Rongsheng Dong
2009 — conf
Detecting Feature Interactions in Web Services with Timed Automata.
WGEC
Xiangyu Luo, Aicheng Xuan, Rongsheng Dong
2009 — conf
Interest Property of E-commerce Protocols and its Verification in Strand Space Model.
WGEC
Zhenrong Deng, Wenming Huang, Rongsheng Dong, Xiangyu Luo
2009 — conf
Model Checking Airline Tickets Reservation System Based on BPEL.
WGEC
Zhao Wei, Rongsheng Dong, Xiangyu Luo, Fang Liu
2008 — conf
Solving Sum and Product Riddle via BDD-Based Model Checking.
Web Intelligence/IAT Workshops
Xiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen
2007 J jnl
Model Checking Temporal Logics of Knowledge Via OBDDs.
Comput. J.
Kaile Su, Abdul Sattar, Xiangyu Luo
2006 C conf
Observation-Based Logic of Knowledge, Belief, Desire and Intention.
KSEM
Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo
2006 A conf
The interpreted system model of knowledge, belief, desire and intention.
AAMAS
Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun
2006 — conf
Verification of Multi-agent Systems Via Bounded Model Checking.
Australian Conference on Artificial Intelligence
Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
2005 A conf
Bounded model checking knowledge and branching time in synchronous multi-agent systems.
AAMAS
Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv
2005 A* conf
Observation-based Model for BDI-Agents.
AAAI
Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan