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, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rummer, Zhilin Wu, Solving string constraints with Regex-dependent functions through transducers with priorities and variables, POPL 2022.
- Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukas Holik, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen, Solving Not-Substring Constraint withFlat Abstraction, APLAS 2021.
- Xie Li, Taolue Chen , Zhilin Wu, Mingji Xia, Computing Linear Arithmetic Representation of Reachability Relation of One-counter Automata , SETTA 2020.
- Taolue Chen , Matthew Hague, Jinlong He, Denghang Hu, Anthony W. Lin, Philipp Rümmer , Zhilin Wu, A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type , ATVA 2020.
- Matthew Hague, Anthony W. Lin, Philipp Rümmer , Zhilin Wu, Monadic Decomposition in Integer Linear Arithmetic , IJCAR 2020.
- Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan, Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps , APLAS 2019.
- Chong Gao, Taolue Chen, Zhilin Wu, Separation logic with linearly compositional inductive predicates and set data constraints, SOFSEM 2019.
- Taolue Chen , Matthew Hague, Anthony W. Lin, Philipp Rümmer , Zhilin Wu, Decision procedures for path feasibility of string-manipulating programs with complex operations , POPL 2019.
- Taolue Chen , Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan , Android Stack Machine , CAV 2018.
- Taolue Chen , Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu, What is decidable about string constraints with the replaceAll function , POPL 2018.
- Taolue Chen , Fu Song, Zhilin Wu, Tractability of separation logic with inductive definitions: Beyond lists, CONCUR 2017.
- Ping Lu, Zhilin Wu, Haiming Chen, The complexity of SORE-definability problems, MFCS 2017.
- 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.