Xiangyu Luo

Orcid: 0000-0002-5202-3189

According to our database1, Xiangyu Luo authored at least 47 papers between 2005 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Classifier-Based Nonuniform Time Slicing Method for Local Community Evolution Analysis.
Big Data Res., November, 2023

A Novel Distal Hybrid Pneumatic/Cable-Driven Continuum Joint with Variable Stiffness Capacity for Flexible Gastrointestinal Endoscopy.
Adv. Intell. Syst., June, 2023

Parallel path detection for fraudulent accounts in banks based on graph analysis.
PeerJ Comput. Sci., 2023

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

Landslide Displacement Prediction Based on EEMD and CNN-LSTM.
Proceedings of the 6th IEEE International Conference on Information Systems and Computer Aided Educatio, 2023

2022
Incremental Witness Generation for Branching-Time Logic CTL.
IEEE Trans. Reliab., 2022

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

Hippocampus-heuristic character recognition network for zero-shot learning in Chinese character recognition.
Pattern Recognit., 2022

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

A Human Eye-based Text Color Scheme Generation Method for Image Synthesis.
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.
Remote. Sens., 2021

Practical and high-quality partitioning algorithm for large-scale and time-evolving graphs.
Knowl. Based Syst., 2021

Ensuring the Correctness of Regular Expressions: A Review.
Int. J. Autom. Comput., 2021

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

Hippocampus-heuristic Character Recognition Network for Zero-shot Learning.
CoRR, 2021

Testing cell-type-specific mediation effects in genome-wide epigenetic studies.
Briefings Bioinform., 2021

2019
Experimental Investigation of Two Types Interconnected Hydro-Pneumatic Struts.
IEEE Access, 2019

Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata.
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.
J. Complex Networks, 2018

Symbolic model checking for discrete real-time systems.
Sci. China Inf. Sci., 2018

2017
Age estimation with dynamic age range.
Multim. Tools Appl., 2017

Hot topic identification from micro-blog based on improved Single-pass algorithm.
J. Comput. Methods Sci. Eng., 2017

2016
Composition of Resource-Service Chain for Cloud Manufacturing.
IEEE Trans. Ind. Informatics, 2016

A first-order coalition logic for BDI-agents.
Frontiers Comput. Sci., 2016

Single-view determinacy and rewriting completeness for a fragment of XPath queries.
Sci. China Inf. Sci., 2016

Transforming Programs between APIs with Many-to-Many Mappings.
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.
Clust. Comput., 2015

2014
Quantified Coalition Logic for BDI-Agents: Completeness and Complexity.
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.
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.
Proceedings of the Pervasive Computing and the Networked World, 2012

2011
Competent predicate abstraction in model checking.
Sci. China Inf. Sci., 2011

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

Testing Conformance of BPEL Business Process Based on Model Checking.
J. Softw., 2010

Recoverability of Erasure Codes Based and Intensively Written Storage Systems.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Symbolic Model Checking the Knowledge in Herbivore Protocol.
Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

2009
Model Checking Airline Tickets Reservation System Based on BPEL.
Proceedings of the 2009 Third International Conference on Genetic and Evolutionary Computing, 2009

Detecting Feature Interactions in Web Services with Timed Automata.
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.
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.
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.
Proceedings of the Advances in Artificial Intelligence, 2009

2008
Solving Sum and Product Riddle via BDD-Based Model Checking.
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.
Comput. J., 2007

2006
Observation-Based Logic of Knowledge, Belief, Desire and Intention.
Proceedings of the Knowledge Science, 2006

Verification of Multi-agent Systems Via Bounded Model Checking.
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

The interpreted system model of knowledge, belief, desire and intention.
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.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Observation-based Model for BDI-Agents.
Proceedings of the Proceedings, 2005


  Loading...