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

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