Xiangyu Luo

According to our database, Xiangyu Luo authored at least 50 papers between 2005 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Decoupled semantic graph neural network for knowledge graph embedding.

Zhifei Li, Wei Huang, Xuchao Gong, Xiangyu Luo, Kui Xiao, Honglian Deng, Miao Zhang, Yan Zhang

Neurocomputing, 2025

2023

Classifier-Based Nonuniform Time Slicing Method for Local Community Evolution Analysis.

Xiangyu Luo, Tian Wang, Gang Xin, Yan Lu, Ke Yan, Ying Liu

Big Data Res., November, 2023

A Novel Distal Hybrid Pneumatic/Cable-Driven Continuum Joint with Variable Stiffness Capacity for Flexible Gastrointestinal Endoscopy.

Xiangyu Luo, Dezhi Song, Zhiqiang Zhang, Shuxin Wang, Chaoyang Shi

Adv. Intell. Syst., June, 2023

Parallel path detection for fraudulent accounts in banks based on graph analysis.

Zuxi Chen, ShiFan Zhang, XianLi Zeng, Meng Mei, Xiangyu Luo, Lixiao Zheng

PeerJ Comput. Sci., 2023

Bayesian Tree-Structured Two-Level Clustering for Nested Data Analysis.

Yinqiao Yan, Xiangyu Luo

J. Comput. Graph. Stat., 2023

Enable High-resolution, Real-time Ensemble Simulation and Data Assimilation of Flood Inundation using Distributed GPU Parallelization.

Junyu Wei, Xiangyu Luo, Weihong Liao, Xiaohui Lei, Jianshi Zhao, Haocheng Huang, Hao Wang

CoRR, 2023

Development of a Liquid-Metal-Enhanced Continuum Joint with Variable Stiffness Capability for Flexible Endoscopy.

Dezhi Song, Yongxiang Song, Di Wu, Xiangyu Luo, Chaoyang Shi

Proceedings of the International Symposium on Micro-NanoMehatronics and Human Science, 2023

Landslide Displacement Prediction Based on EEMD and CNN-LSTM.

Jing Zhou, Ge Gao, Xiangyu Luo

Proceedings of the 6th IEEE International Conference on Information Systems and Computer Aided Educatio, 2023

2022

Incremental Witness Generation for Branching-Time Logic CTL.

Xiangyu Luo, Sen Liang, Lixiao Zheng, Zuxi Chen, Fan Yang

IEEE Trans. Reliab., 2022

A European-Chinese Exploration: Part 2 - Urban Ecosystem Service Patterns, Processes, and Contributions to Environmental Equity under Different Scenarios.

Wanben Wu, Xiangyu Luo, Julius Knopp, Laurence Jones, Ellen Banzhaf

Remote. Sens., 2022

Hippocampus-heuristic character recognition network for zero-shot learning in Chinese character recognition.

Guanjie Huang, Xiangyu Luo, Shaowei Wang, Tianlong Gu, Kaile Su

Pattern Recognit., 2022

Identification of cell-type-specific spatially variable genes accounting for excess zeros.

Jinge Yu, Xiangyu Luo

Bioinform., 2022

A Human Eye-based Text Color Scheme Generation Method for Image Synthesis.

Shaowei Wang, Xiangyu Luo, Guanjie Huang

Proceedings of the 2022 6th International Conference on Electronic Information Technology and Computer Engineering, 2022

2021

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.

Ellen Banzhaf, Wanben Wu, Xiangyu Luo, Julius Knopp

Remote. Sens., 2021

Practical and high-quality partitioning algorithm for large-scale and time-evolving graphs.

Xiangyu Luo, Luo Yingxiao, Gang Xin, Xiaolin Gui, Jia Wang, Cheng Guo

Knowl. Based Syst., 2021

Ensuring the Correctness of Regular Expressions: A Review.

Lixiao Zheng, Shuai Ma, Zuxi Chen, Xiangyu Luo

Int. J. Autom. Comput., 2021

CREST-iMAP v1.0: A fully coupled hydrologic-hydraulic modeling framework dedicated to flood inundation mapping and prediction.

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

Environ. Model. Softw., 2021

Hippocampus-heuristic Character Recognition Network for Zero-shot Learning.

Shaowei Wang, Guanjie Huang, Xiangyu Luo

CoRR, 2021

Testing cell-type-specific mediation effects in genome-wide epigenetic studies.

Xiangyu Luo, Joel Schwartz, Andrea A. Baccarelli, Zhonghua Liu

Briefings Bioinform., 2021

2019

Experimental Investigation of Two Types Interconnected Hydro-Pneumatic Struts.

Dezhao Lin, Fan Yang, Di Gong, Feng Zhao, Xiangyu Luo, Ruihong Li, Zhihong Lin

IEEE Access, 2019

Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata.

Zuxi Chen, Huixing Fang, Xiangyu Luo

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

2018

An identification method for important nodes based on k-shell and structural hole.

Jian Feng, Dandan Shi, Xiangyu Luo

J. Complex Networks, 2018

Symbolic model checking for discrete real-time systems.

Xiangyu Luo, Lijun Wu, Qingliang Chen, Haibo Li, Lixiao Zheng, Zuxi Chen

Sci. China Inf. Sci., 2018

2017

Age estimation with dynamic age range.

De-He Lai, Yewang Chen, Xiangyu Luo, Ji-Xiang Du, Tian Wang

Multim. Tools Appl., 2017

Hot topic identification from micro-blog based on improved Single-pass algorithm.

Jian Feng, Yuanyuan Ding, Xiangyu Luo

J. Comput. Methods Sci. Eng., 2017

2016

Composition of Resource-Service Chain for Cloud Manufacturing.

Haibo Li, Keith C. C. Chan, Mengxia Liang, Xiangyu Luo

IEEE Trans. Ind. Informatics, 2016

A first-order coalition logic for BDI-agents.

Qingliang Chen, Kaile Su, Abdul Sattar, Xiangyu Luo, Aixiang Chen

Frontiers Comput. Sci., 2016

Single-view determinacy and rewriting completeness for a fragment of XPath queries.

Lixiao Zheng, Shuai Ma, Xiangyu Luo, Tiejun Ma

Sci. China Inf. Sci., 2016

Transforming Programs between APIs with Many-to-Many Mappings.

Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Superset: a non-uniform replica placement strategy towards perfect load balance and fine-grained power proportionality.

Xiangyu Luo, Gang Xin, Yun Wang, Zexi Zhang, Hui Wang

Clust. Comput., 2015

2014

Quantified Coalition Logic for BDI-Agents: Completeness and Complexity.

Qingliang Chen, Qun Li, Kaile Su, Xiangyu Luo

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

2013

Superset: A Non-uniform Replica Placement Strategy towards High-Performance and Cost-Effective Distributed Storage Service.

Xiangyu Luo, Yun Wang, Zexi Zhang, Hui Wang

Proceedings of the International Conference on Advanced Cloud and Big Data, 2013

2012

An Empirical Comparative Study of Decentralized Load Balancing Algorithms in Clustered Storage Environment.

Yun Wang, Xiangyu Luo, Feifei Yuan, Cong Li

Proceedings of the Pervasive Computing and the Networked World, 2012

2011

Competent predicate abstraction in model checking.

Li Li, Xiaoyu Song, Ming Gu, Xiangyu Luo

Sci. China Inf. Sci., 2011

2010

A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems.

Lijun Wu, Jinshu Su, Kaile Su, Xiangyu Luo, Zhihua Yang

Knowl. Based Syst., 2010

Testing Conformance of BPEL Business Process Based on Model Checking.

Rongsheng Dong, Zhao Wei, Xiangyu Luo, Fang Liu

J. Softw., 2010

Recoverability of Erasure Codes Based and Intensively Written Storage Systems.

Xiangyu Luo, Yun Wang

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Symbolic Model Checking the Knowledge in Herbivore Protocol.

Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang

Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

2009

Model Checking Airline Tickets Reservation System Based on BPEL.

Zhao Wei, Rongsheng Dong, Xiangyu Luo, Fang Liu

Proceedings of the 2009 Third International Conference on Genetic and Evolutionary Computing, 2009

Detecting Feature Interactions in Web Services with Timed Automata.

Xiangyu Luo, Aicheng Xuan, Rongsheng Dong

Proceedings of the 2009 Third International Conference on Genetic and Evolutionary Computing, 2009

Automatic Verification of Composite Web Services Based on Temporal and Epistemic Logic.

Xiangyu Luo, Zheng Tan, Rongsheng Dong

Proceedings of the 2009 Third International Conference on Genetic and Evolutionary Computing, 2009

Interest Property of E-commerce Protocols and its Verification in Strand Space Model.

Zhenrong Deng, Wenming Huang, Rongsheng Dong, Xiangyu Luo

Proceedings of the 2009 Third International Conference on Genetic and Evolutionary Computing, 2009

A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems.

Lijun Wu, Jinshu Su, Xiangyu Luo, Zhihua Yang, Qingliang Chen

Proceedings of the Advances in Artificial Intelligence, 2009

2008

Solving Sum and Product Riddle via BDD-Based Model Checking.

Xiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen

Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

2007

Model Checking Temporal Logics of Knowledge Via OBDDs.

Kaile Su, Abdul Sattar, Xiangyu Luo

Comput. J., 2007

2006

Observation-Based Logic of Knowledge, Belief, Desire and Intention.

Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo

Proceedings of the Knowledge Science, 2006

Verification of Multi-agent Systems Via Bounded Model Checking.

Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds

Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

The interpreted system model of knowledge, belief, desire and intention.

Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

Bounded model checking knowledge and branching time in synchronous multi-agent systems.

Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Observation-based Model for BDI-Agents.

Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan

Proceedings of the Proceedings, 2005