Items where Author / Artist / Editor is "Wu, Zhilin"

Chen, Taolue, Song, Fu and Wu, Zhilin (2017) Formal reasoning on infinite data values: an ongoing quest. Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. In: SETSS 2016: Second International School Engineering Trustworthy Software Systems, Tutorial Lectures, 28 Mar - 02 Apr 2016, Chongqing, China. ISBN 9783319568409. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-56841-6_6)

Chen, Taolue, Song, Fu and Wu, Zhilin (2016) Verifying pushdown multi-agent systems against strategy logics. Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16). In: IJCAI 2016: 25th International Joint Conferences on Artificial Intelligence (IJCAI), 09-15 Jul 2016, New York, New York, USA. ISBN 9781577357704 (volumes 1-3), 9781577357711 (volumes 4-6). [Conference or Workshop Item]

Gu, Xincai, Chen, Taolue and Wu, Zhilin (2016) A complete decision procedure for linearly compositional separation logic with data constraints. Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings. In: IJCAR 2016: 8th International Joint Conference on Automated Reasoning, 27 Jun - 02 Jul 2016, University of Coimbra, Portugal. ISBN 9783319402284. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-40229-1_36)

Chen, Taolue, Song, Fu and Wu, Zhilin (2016) Global model checking on pushdown multi-agent systems. Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16). In: Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16), 12-17 Feb 2016, Phoenix, Arizona, USA. . [Conference or Workshop Item]

Chen, Taolue, Song, Fu and Wu, Zhilin (2015) On the satisfiability of indexed linear temporal logics. 26th International Conference on Concurrency Theory, {CONCUR} 2015, Madrid, Spain, September 1.4, 2015. In: 26th International Conference on Concurrency Theory, CONCUR 2015, 1-4 Sept 2015, Madrid, Spain. ISBN 9783939897910. ISSN 1868-8969 [Conference or Workshop Item] (doi:10.4230/LIPIcs.CONCUR.2015.254)