Selected publications

The authors in almost all the papers below are ordered according to the alphabetic order, by following the usual practice in theoretical computer science and formal methods.

- Fu Song, Zhilin Wu, On temporal logics with data variable quantifications: decidability and complexity, Information and Computation, to appear, Published version , 2016
- Olivier Ly, Zhilin Wu, On effective construction of the greatest solution of language inequality $XA \subseteq BX$, Theoretical Computer Science, to appear, TCS version, 2014
- Zhilin Wu, Stephane Grumbach, Feasibility of motion planning on acyclic and strongly-connected directed graphs, Discrete Applied Mathematics, 158(9): 1017-1028, 2010.
- Zhilin Wu, A note on the characterization of TL[EF], Information processing letters, 102, 48-54, 2007.
- Zhilin Wu, Quasi-star-free Languages on Infinite Words, Acta Cybernetica, 17(1), 75-93, 2005.

- Taolue Chen , Fu Song, Zhilin Wu, Tractability of separation logic with inductive definitions: Beyond lists, CONCUR 2017, to appear.
- Ping Lu, Zhilin Wu, Haiming Chen, The complexity of SORE-definability problems, MFCS 2017, to appear.
- Zhaowei Xu, Taolue Chen , Zhilin Wu, Satisfiability of compositional separation logic with tree predicates and data constraints , CADE 2017.
- Yu-fang Chen, Ondrej Lengal, Tony Tan, Zhilin Wu, Register automata with linear arithmetic , LICS 2017. The long version on arXiv.
- Zhilin Wu, Semipositivity in separation logic with two variables , SETTA 2016.
- Yu-fang Chen , Lei Song, Zhilin Wu, The commutativity problem of the MapReduce framework: A transducer-based approach , CAV 2016. Notice : This is the long version of the CAV paper. Since there are some flaws in the version published at CAV, we encourage the readers to read this long version.
- Xincai Gu, Taolue Chen , Zhilin Wu, A complete decision procedure for linearly compositional separation logic with data constraints , IJCAR 2016.
- Taolue Chen , Fu Song, Zhilin Wu, Verifying pushdown multi-agent systems against strategy logics , IJCAI 2016.
- Taolue Chen , Fu Song, Zhilin Wu, Global model checking of pushdown multi-agent systems , AAAI 2016.
- Taolue Chen , Fu Song , Zhilin Wu, On the Satisfiability of Indexed Linear Temporal Logics, CONCUR 2015.
- Constantin Enea , Mihaela Sighireanu , Zhilin Wu, On Automated Lemma Generation for Separation Logic with Inductive Definitions , ATVA 2015.
- Fu Song , Zhilin Wu, Extending Temporal Logics with Data Variable Quantifications , FSTTCS 2014, journal version.
- Serge Arbiteboul , Pierre Bourhis, Anca Muscholl, Zhilin Wu, Recursive queries on trees and data trees, ICDT 2013.
- Zhilin Wu, Commutative Data Automata, CSL 2012. Slides
- Zhilin Wu, A Decidable Extension of Data Automata, GandALF 2011.
- Blaise Genest, Anca Muscholl, Zhilin Wu, Verifying Active Documents with Positive Data Tree Pattern Rewriting, FSTTCS 2010.
- Stephane Grumbach, Zhilin Wu, Distributed tree decomposition of graphs and applications to verification, APDCM 2010.
- Stephane Grumbach, Zhilin Wu, Logical locality entails frugal distributed computation over graphs, WG 2009, LNCS 5911, 154-165, 2010.
- Zhilin Wu, Stephane Grumbach, Feasibility of motion planning on directed graphs, TAMC 2009, LNCS 5532, 430-439, 2009.
- Zhilin Wu, On the expressive power of QLTL, ICTAC 2007, LNCS 4711, 467-481, 2007.

- Jakub Michaliszyn, Anca Muscholl, Slawek Staworko, Piotr Wieczorek, Zhilin Wu, On Injective Embeddings of Tree Patterns, 2012.
- Linqing Tang, Zhilin Wu, Mingji Xia, Quantitative reasoning of opinions in social networks , 2012.
- Zhilin Wu, Regular path queries on graphs with data: A rigid approach , 2013.