Xiangyu Luo

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 29

Top Topics

Character Recognition

Top Venues

Sci. China Inf. Sci.

Adv. Intell. Syst.

Publications

Zuxi Chen, ShiFan Zhang, XianLi Zeng, Meng Mei, Xiangyu Luo, Lixiao Zheng
Parallel path detection for fraudulent accounts in banks based on graph analysis. PeerJ Comput. Sci. 9 (2023)
Xiangyu Luo, Dezhi Song, Zhiqiang Zhang, Shuxin Wang, Chaoyang Shi
A Novel Distal Hybrid Pneumatic/Cable-Driven Continuum Joint with Variable Stiffness Capacity for Flexible Gastrointestinal Endoscopy. Adv. Intell. Syst. 5 (6) (2023)
Dezhi Song, Yongxiang Song, Di Wu, Xiangyu Luo, Chaoyang Shi
Development of a Liquid-Metal-Enhanced Continuum Joint with Variable Stiffness Capability for Flexible Endoscopy. MHS (2023)
Xiangyu Luo, Dezhi Song, Zhiqiang Zhang, Shuxin Wang, Chaoyang Shi
A Novel Distal Hybrid Pneumatic/Cable-Driven Continuum Joint with Variable Stiffness Capacity for Flexible Gastrointestinal Endoscopy. Adv. Intell. Syst. 5 (6) (2023)
Xiangyu Luo, Tian Wang, Gang Xin, Yan Lu, Ke Yan, Ying Liu
Classifier-Based Nonuniform Time Slicing Method for Local Community Evolution Analysis. Big Data Res. 34 (2023)
Jing Zhou, Ge Gao, Xiangyu Luo
Landslide Displacement Prediction Based on EEMD and CNN-LSTM. ICISCAE (2023)
Yinqiao Yan, Xiangyu Luo
Bayesian Tree-Structured Two-Level Clustering for Nested Data Analysis. J. Comput. Graph. Stat. 32 (3) (2023)
Junyu Wei, Xiangyu Luo, Weihong Liao, Xiaohui Lei, Jianshi Zhao, Haocheng Huang, Hao Wang
Enable High-resolution, Real-time Ensemble Simulation and Data Assimilation of Flood Inundation using Distributed GPU Parallelization. CoRR (2023)
Jinge Yu, Xiangyu Luo
Identification of cell-type-specific spatially variable genes accounting for excess zeros. Bioinform. 38 (17) (2022)
Wanben Wu, Xiangyu Luo, Julius Knopp, Laurence Jones, Ellen Banzhaf
A European-Chinese Exploration: Part 2 - Urban Ecosystem Service Patterns, Processes, and Contributions to Environmental Equity under Different Scenarios. Remote. Sens. 14 (14) (2022)
Xiangyu Luo, Sen Liang, Lixiao Zheng, Zuxi Chen, Fan Yang
Incremental Witness Generation for Branching-Time Logic CTL. IEEE Trans. Reliab. 71 (2) (2022)
Shaowei Wang, Xiangyu Luo, Guanjie Huang
A Human Eye-based Text Color Scheme Generation Method for Image Synthesis. EITCE (2022)
Guanjie Huang, Xiangyu Luo, Shaowei Wang, Tianlong Gu, Kaile Su
Hippocampus-heuristic character recognition network for zero-shot learning in Chinese character recognition. Pattern Recognit. 130 (2022)
Shaowei Wang, Guanjie Huang, Xiangyu Luo
Hippocampus-heuristic Character Recognition Network for Zero-shot Learning. CoRR (2021)
Zhi Li, Mengye Chen, Shang Gao, Xiangyu Luo, Jonathan J. Gourley, Pierre Kirstetter, Tiantian Yang, Randall Kolar, Amy McGovern, Yixin Wen, Bo Rao, Teshome Yami, Yang Hong
CREST-iMAP v1.0: A fully coupled hydrologic-hydraulic modeling framework dedicated to flood inundation mapping and prediction. Environ. Model. Softw. 141 (2021)
Ellen Banzhaf, Wanben Wu, Xiangyu Luo, Julius Knopp
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. 13 (9) (2021)
Lixiao Zheng, Shuai Ma, Zuxi Chen, Xiangyu Luo
Ensuring the Correctness of Regular Expressions: A Review. Int. J. Autom. Comput. 18 (4) (2021)
Xiangyu Luo, Luo Yingxiao, Gang Xin, Xiaolin Gui, Jia Wang, Cheng Guo
Practical and high-quality partitioning algorithm for large-scale and time-evolving graphs. Knowl. Based Syst. 227 (2021)
Xiangyu Luo, Joel Schwartz, Andrea A. Baccarelli, Zhonghua Liu
Testing cell-type-specific mediation effects in genome-wide epigenetic studies. Briefings Bioinform. 22 (3) (2021)
Zuxi Chen, Huixing Fang, Xiangyu Luo
Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata. TASE (2019)
Dezhao Lin, Fan Yang, Di Gong, Feng Zhao, Xiangyu Luo, Ruihong Li, Zhihong Lin
Experimental Investigation of Two Types Interconnected Hydro-Pneumatic Struts. IEEE Access 7 (2019)
Jian Feng, Dandan Shi, Xiangyu Luo
An identification method for important nodes based on k-shell and structural hole. J. Complex Networks 6 (3) (2018)
Xiangyu Luo, Lijun Wu, Qingliang Chen, Haibo Li, Lixiao Zheng, Zuxi Chen
Symbolic model checking for discrete real-time systems. Sci. China Inf. Sci. 61 (5) (2018)
Jian Feng, Yuanyuan Ding, Xiangyu Luo
Hot topic identification from micro-blog based on improved Single-pass algorithm. J. Comput. Methods Sci. Eng. 17 (4) (2017)
De-He Lai, Yewang Chen, Xiangyu Luo, Ji-Xiang Du, Tian Wang
Age estimation with dynamic age range. Multim. Tools Appl. 76 (5) (2017)
Qingliang Chen, Kaile Su, Abdul Sattar, Xiangyu Luo, Aixiang Chen
A first-order coalition logic for BDI-agents. Frontiers Comput. Sci. 10 (2) (2016)
Haibo Li, Keith C. C. Chan, Mengxia Liang, Xiangyu Luo
Composition of Resource-Service Chain for Cloud Manufacturing. IEEE Trans. Ind. Informatics 12 (1) (2016)
Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu
Transforming Programs between APIs with Many-to-Many Mappings. ECOOP (2016)
Lixiao Zheng, Shuai Ma, Xiangyu Luo, Tiejun Ma
Single-view determinacy and rewriting completeness for a fragment of XPath queries. Sci. China Inf. Sci. 59 (9) (2016)
Xiangyu Luo, Gang Xin, Yun Wang, Zexi Zhang, Hui Wang
Superset: a non-uniform replica placement strategy towards perfect load balance and fine-grained power proportionality. Clust. Comput. 18 (3) (2015)
Qingliang Chen, Qun Li, Kaile Su, Xiangyu Luo
Quantified Coalition Logic for BDI-Agents: Completeness and Complexity. PRICAI (2014)
Xiangyu Luo, Yun Wang, Zexi Zhang, Hui Wang
Superset: A Non-uniform Replica Placement Strategy towards High-Performance and Cost-Effective Distributed Storage Service. CBD (2013)
Yun Wang, Xiangyu Luo, Feifei Yuan, Cong Li
An Empirical Comparative Study of Decentralized Load Balancing Algorithms in Clustered Storage Environment. ICPCA/SWS (2012)
Li Li, Xiaoyu Song, Ming Gu, Xiangyu Luo
Competent predicate abstraction in model checking. Sci. China Inf. Sci. 54 (2) (2011)
Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang
Symbolic Model Checking the Knowledge in Herbivore Protocol. MoChArt (2010)
Xiangyu Luo, Yun Wang
Recoverability of Erasure Codes Based and Intensively Written Storage Systems. SSIRI (2010)
Rongsheng Dong, Zhao Wei, Xiangyu Luo, Fang Liu
Testing Conformance of BPEL Business Process Based on Model Checking. J. Softw. 5 (9) (2010)
Lijun Wu, Jinshu Su, Kaile Su, Xiangyu Luo, Zhihua Yang
A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems. Knowl. Based Syst. 23 (2) (2010)
Lijun Wu, Jinshu Su, Xiangyu Luo, Zhihua Yang, Qingliang Chen
A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems. Canadian Conference on AI (2009)
Zhenrong Deng, Wenming Huang, Rongsheng Dong, Xiangyu Luo
Interest Property of E-commerce Protocols and its Verification in Strand Space Model. WGEC (2009)
Xiangyu Luo, Zheng Tan, Rongsheng Dong
Automatic Verification of Composite Web Services Based on Temporal and Epistemic Logic. WGEC (2009)
Zhao Wei, Rongsheng Dong, Xiangyu Luo, Fang Liu
Model Checking Airline Tickets Reservation System Based on BPEL. WGEC (2009)
Xiangyu Luo, Aicheng Xuan, Rongsheng Dong
Detecting Feature Interactions in Web Services with Timed Automata. WGEC (2009)
Xiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen
Solving Sum and Product Riddle via BDD-Based Model Checking. Web Intelligence/IAT Workshops (2008)
Kaile Su, Abdul Sattar, Xiangyu Luo
Model Checking Temporal Logics of Knowledge Via OBDDs. Comput. J. 50 (4) (2007)
Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
Verification of Multi-agent Systems Via Bounded Model Checking. Australian Conference on Artificial Intelligence (2006)
Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun
The interpreted system model of knowledge, belief, desire and intention. AAMAS (2006)
Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo
Observation-Based Logic of Knowledge, Belief, Desire and Intention. KSEM (2006)
Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan
Observation-based Model for BDI-Agents. AAAI (2005)
Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv
Bounded model checking knowledge and branching time in synchronous multi-agent systems. AAMAS (2005)