Selected publications

Notice
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.

Journals
- 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.

Conferences
- 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.

Manuscripts
- 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.