Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Xiangyu
    Last name: Luo
    DBLP: 23/5725
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 26 of 26  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    De-He Lai, Yewang Chen, Xiangyu Luo, Ji-Xiang Du, Tian Wang.
    Age estimation with dynamic age range.
    Multimedia Tools Appl. 2017, Volume 76 (0) 2017
    Journal article
    Haibo Li, Keith C. C. Chan, Mengxia Liang, Xiangyu Luo.
    Composition of Resource-Service Chain for Cloud Manufacturing.
    IEEE Trans. Industrial Informatics 2016, Volume 12 (0) 2016
    Conference paper
    Qingliang Chen, Kaile Su, Abdul Sattar, Xiangyu Luo, Aixiang Chen.
    A first-order coalition logic for BDI-agents.
    Frontiers of Computer Science 2016, Volume 10 (0) 2016
    Conference paper
    Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu.
    Transforming Programs between APIs with Many-to-Many Mappings.
    30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy 2016 (0) 2016
    Conference paper
    Lixiao Zheng, Shuai Ma, Xiangyu Luo, Tiejun Ma.
    Single-view determinacy and rewriting completeness for a fragment of XPath queries.
    SCIENCE CHINA Information Sciences 2016, Volume 59 (0) 2016
    Conference paper
    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.
    Cluster Computing 2015, Volume 18 (0) 2015
    Conference paper
    Qingliang Chen, Qun Li, Kaile Su, Xiangyu Luo.
    Quantified Coalition Logic for BDI-Agents: Completeness and Complexity.
    PRICAI 2014: Trends in Artificial Intelligence - 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Xiangyu Luo, Yun Wang, Zexi Zhang, Hui Wang.
    Superset: A Non-uniform Replica Placement Strategy towards High-Performance and Cost-Effective Distributed Storage Service.
    International Conference on Advanced Cloud and Big Data, CBD 2013, Nanjing, China, December 13-15, 2013 2013 (0) 2013
    Conference paper
    Yun Wang, Xiangyu Luo, Feifei Yuan, Cong Li.
    An Empirical Comparative Study of Decentralized Load Balancing Algorithms in Clustered Storage Environment.
    Pervasive Computing and the Networked World - Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers 2013 (0) 2012
    Journal article
    Li Li, Xiaoyu Song, Ming Gu, Xiangyu Luo.
    Competent predicate abstraction in model checking.
    SCIENCE CHINA Information Sciences 2011, Volume 54 (0) 2011
    Conference paper
    Xiangyu Luo, Yun Wang.
    Recoverability of Erasure Codes Based and Intensively Written Storage Systems.
    Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010 2010 (0) 2010
    Conference paper
    Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang.
    Symbolic Model Checking the Knowledge in Herbivore Protocol.
    Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers 2011 (0) 2010
    Conference paper
    Rongsheng Dong, Zhao Wei, Xiangyu Luo, Fang Liu.
    Testing Conformance of BPEL Business Process Based on Model Checking.
    JSW 2010, Volume 5 (0) 2010
    Conference paper
    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. 2010, Volume 23 (0) 2010
    Conference paper
    Lijun Wu, Jinshu Su, Xiangyu Luo, Zhihua Yang, Qingliang Chen.
    A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems.
    Advances in Artificial Intelligence, 22nd Canadian Conference on Artificial Intelligence, Canadian AI 2009, Kelowna, Canada, May 25-27, 2009, Proceedings 2009 (0) 2009
    Conference paper
    Zhenrong Deng, Wenming Huang, Rongsheng Dong, Xiangyu Luo.
    Interest Property of E-commerce Protocols and its Verification in Strand Space Model.
    2009 Third International Conference on Genetic and Evolutionary Computing, WGEC 2009, Guilin, China, 14-17 October 2009 2009 (0) 2009
    Conference paper
    Xiangyu Luo, Aicheng Xuan, Rongsheng Dong.
    Detecting Feature Interactions in Web Services with Timed Automata.
    2009 Third International Conference on Genetic and Evolutionary Computing, WGEC 2009, Guilin, China, 14-17 October 2009 2009 (0) 2009
    Conference paper
    Xiangyu Luo, Zheng Tan, Rongsheng Dong.
    Automatic Verification of Composite Web Services Based on Temporal and Epistemic Logic.
    2009 Third International Conference on Genetic and Evolutionary Computing, WGEC 2009, Guilin, China, 14-17 October 2009 2009 (0) 2009
    Conference paper
    Zhao Wei, Rongsheng Dong, Xiangyu Luo, Fang Liu.
    Model Checking Airline Tickets Reservation System Based on BPEL.
    2009 Third International Conference on Genetic and Evolutionary Computing, WGEC 2009, Guilin, China, 14-17 October 2009 2009 (0) 2009
    Conference paper
    Xiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen.
    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 - Workshops, 9-12 December 2008, Sydney, NSW, Australia 2008 (0) 2008
    Conference paper
    Kaile Su, Abdul Sattar, Xiangyu Luo.
    Model Checking Temporal Logics of Knowledge Via OBDDs.
    Comput. J. 2007, Volume 50 (0) 2007
    Conference paper
    Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun.
    The interpreted system model of knowledge, belief, desire and intention.
    5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006 2006 (0) 2006
    Conference paper
    Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds.
    Verification of Multi-agent Systems Via Bounded Model Checking.
    AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo.
    Observation-Based Logic of Knowledge, Belief, Desire and Intention.
    Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan.
    Observation-based Model for BDI-Agents.
    Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA 2005 (0) 2005
    Conference paper
    Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv.
    Bounded model checking knowledge and branching time in synchronous multi-agent systems.
    4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands 2005 (0) 2005
    Show item 1 to 26 of 26  

    Your query returned 26 matches in the database.