期刊
- 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.
会议
- Serge Arbiteboul , Pierre Bourhis, Anca Muscholl, Zhilin Wu, Recursive queries on trees and data trees, ICDT 2013.
- Zhilin Wu, Commutative Data Automata, CSL 2012.
- 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, submitted, 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 , submitted, 2013.