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

See full list of headings
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Conference or Workshop Item

Chen, Taolue and Song, Fu and Wu, Zhilin (2017) Formal reasoning on infinite data values: an ongoing quest. In: SETSS 2016: Second International School Engineering Trustworthy Software Systems, Tutorial Lectures, 28 Mar - 02 Apr 2016, Chongqing, China.

Chen, Taolue and Song, Fu and Wu, Zhilin (2016) Verifying pushdown multi-agent systems against strategy logics. In: IJCAI 2016: 25th International Joint Conferences on Artificial Intelligence (IJCAI), 09-15 Jul 2016, New York, New York, USA.

Gu, Xincai and Chen, Taolue and Wu, Zhilin (2016) A complete decision procedure for linearly compositional separation logic with data constraints. In: IJCAR 2016: 8th International Joint Conference on Automated Reasoning, 27 Jun - 02 Jul 2016, University of Coimbra, Portugal.

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

Chen, Taolue and Song, Fu and Wu, Zhilin (2015) On the satisfiability of indexed linear temporal logics. In: 26th International Conference on Concurrency Theory, CONCUR 2015, 1-4 Sept 2015, Madrid, Spain.

This list was generated on Thu Dec 13 04:46:41 2018 GMT.