![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Xiangyu Luo
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j27]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) - [j26]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) - [j25]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: 100408 (2023) - [j24]Yinqiao Yan, Xiangyu Luo
:
Bayesian Tree-Structured Two-Level Clustering for Nested Data Analysis. J. Comput. Graph. Stat. 32(3): 1185-1194 (2023) - [j23]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: e1749 (2023) - [c21]Jing Zhou, Ge Gao, Xiangyu Luo:
Landslide Displacement Prediction Based on EEMD and CNN-LSTM. ICISCAE 2023: 618-622 - [c20]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: 1-6 - [i3]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 abs/2302.08341 (2023) - 2022
- [j22]Jinge Yu, Xiangyu Luo
:
Identification of cell-type-specific spatially variable genes accounting for excess zeros. Bioinform. 38(17): 4135-4144 (2022) - [j21]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: 108818 (2022) - [j20]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): 3488 (2022) - [j19]Xiangyu Luo
, Sen Liang
, Lixiao Zheng, Zuxi Chen, Fan Yang
:
Incremental Witness Generation for Branching-Time Logic CTL. IEEE Trans. Reliab. 71(2): 933-950 (2022) - [c19]Shaowei Wang
, Xiangyu Luo
, Guanjie Huang
:
A Human Eye-based Text Color Scheme Generation Method for Image Synthesis. EITCE 2022: 1569-1574 - 2021
- [j18]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) - [j17]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:
CREST-iMAP v1.0: A fully coupled hydrologic-hydraulic modeling framework dedicated to flood inundation mapping and prediction. Environ. Model. Softw. 141: 105051 (2021) - [j16]Lixiao Zheng
, Shuai Ma
, Zuxi Chen, Xiangyu Luo:
Ensuring the Correctness of Regular Expressions: A Review. Int. J. Autom. Comput. 18(4): 521-535 (2021) - [j15]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: 107211 (2021) - [j14]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): 1744 (2021) - [i2]Shaowei Wang, Guanjie Huang, Xiangyu Luo:
Hippocampus-heuristic Character Recognition Network for Zero-shot Learning. CoRR abs/2104.02236 (2021) - 2020
- [i1]Shaowei Wang, Guanjie Huang, Xiangyu Luo:
A Human Eye-based Text Color Scheme Generation Method for Image Synthesis. CoRR abs/2010.07510 (2020)
2010 – 2019
- 2019
- [j13]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: 100626-100637 (2019) - [c18]Zuxi Chen, Huixing Fang
, Xiangyu Luo:
Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata. TASE 2019: 93-98 - 2018
- [j12]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): 052106:1-052106:23 (2018) - [j11]Jian Feng, Dandan Shi, Xiangyu Luo:
An identification method for important nodes based on k-shell and structural hole. J. Complex Networks 6(3): 342-352 (2018) - 2017
- [j10]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): 791-798 (2017) - [j9]De-He Lai, Yewang Chen
, Xiangyu Luo, Ji-Xiang Du, Tian Wang:
Age estimation with dynamic age range. Multim. Tools Appl. 76(5): 6551-6573 (2017) - 2016
- [j8]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): 99102 (2016) - [j7]Qingliang Chen, Kaile Su
, Abdul Sattar
, Xiangyu Luo, Aixiang Chen:
A first-order coalition logic for BDI-agents. Frontiers Comput. Sci. 10(2): 233-245 (2016) - [j6]Haibo Li, Keith C. C. Chan
, Mengxia Liang
, Xiangyu Luo:
Composition of Resource-Service Chain for Cloud Manufacturing. IEEE Trans. Ind. Informatics 12(1): 211-219 (2016) - [c17]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: 25:1-25:26 - 2015
- [j5]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): 1127-1140 (2015) - 2014
- [c16]Qingliang Chen, Qun Li, Kaile Su
, Xiangyu Luo:
Quantified Coalition Logic for BDI-Agents: Completeness and Complexity. PRICAI 2014: 871-876 - 2013
- [c15]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: 139-146 - 2012
- [c14]Yun Wang, Xiangyu Luo, Feifei Yuan, Cong Li:
An Empirical Comparative Study of Decentralized Load Balancing Algorithms in Clustered Storage Environment. ICPCA/SWS 2012: 562-574 - 2011
- [j4]Li Li, Xiaoyu Song, Ming Gu, Xiangyu Luo:
Competent predicate abstraction in model checking. Sci. China Inf. Sci. 54(2): 258-267 (2011) - 2010
- [j3]Rongsheng Dong, Zhao Wei, Xiangyu Luo, Fang Liu:
Testing Conformance of BPEL Business Process Based on Model Checking. J. Softw. 5(9): 1030-1037 (2010) - [j2]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): 162-168 (2010) - [c13]Xiangyu Luo, Kaile Su
, Ming Gu, Lijun Wu, Jinji Yang:
Symbolic Model Checking the Knowledge in Herbivore Protocol. MoChArt 2010: 112-129 - [c12]Xiangyu Luo, Yun Wang:
Recoverability of Erasure Codes Based and Intensively Written Storage Systems. SSIRI 2010: 173-179
2000 – 2009
- 2009
- [c11]Lijun Wu, Jinshu Su, Xiangyu Luo, Zhihua Yang, Qingliang Chen:
A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems. Canadian AI 2009: 146-157 - [c10]Zhao Wei, Rongsheng Dong, Xiangyu Luo, Fang Liu:
Model Checking Airline Tickets Reservation System Based on BPEL. WGEC 2009: 248-251 - [c9]Xiangyu Luo, Aicheng Xuan, Rongsheng Dong:
Detecting Feature Interactions in Web Services with Timed Automata. WGEC 2009: 276-279 - [c8]Zhenrong Deng, Wenming Huang, Rongsheng Dong, Xiangyu Luo:
Interest Property of E-commerce Protocols and its Verification in Strand Space Model. WGEC 2009: 280-283 - [c7]Xiangyu Luo, Zheng Tan, Rongsheng Dong:
Automatic Verification of Composite Web Services Based on Temporal and Epistemic Logic. WGEC 2009: 693-696 - 2008
- [c6]Xiangyu Luo, Kaile Su
, Abdul Sattar
, Yan Chen:
Solving Sum and Product Riddle via BDD-Based Model Checking. Web Intelligence/IAT Workshops 2008: 630-633 - 2007
- [j1]Kaile Su
, Abdul Sattar
, Xiangyu Luo:
Model Checking Temporal Logics of Knowledge Via OBDDs. Comput. J. 50(4): 403-420 (2007) - 2006
- [c5]Kaile Su
, Xiangyu Luo, Abdul Sattar
, Mehmet A. Orgun
:
The interpreted system model of knowledge, belief, desire and intention. AAMAS 2006: 220-222 - [c4]Xiangyu Luo, Kaile Su
, Abdul Sattar, Mark Reynolds:
Verification of Multi-agent Systems Via Bounded Model Checking. Australian Conference on Artificial Intelligence 2006: 69-78 - [c3]Kaile Su
, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo:
Observation-Based Logic of Knowledge, Belief, Desire and Intention. KSEM 2006: 366-378 - 2005
- [c2]Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan:
Observation-based Model for BDI-Agents. AAAI 2005: 190-195 - [c1]Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv:
Bounded model checking knowledge and branching time in synchronous multi-agent systems. AAMAS 2005: 1129-1130
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint