Zhilin Wu
Zhilin Wu
State Key Laboratory of Computer Science
Verified email at ios.ac.cn - Homepage
Title
Cited by
Cited by
Year
What is decidable about string constraints with the ReplaceAll function
ZW Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin
POPL, 3:1-3:29, 2018
21*2018
What is decidable about string constraints with the ReplaceAll function
ZW Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin
POPL, 2018
21*2018
Quasi-star-free languages on infinite words
Z Wu
Acta Cybernetica 17 (1), 75-93, 2005
22005
On the distributed evaluation of recursive queries over graphs
S Grumbach, F Wang, Z Wu
arXiv preprint arXiv:0904.3157, 2009
12009
On Distributed Model Checking of MSO on Graphs
S Grumbach, Z Wu
arXiv preprint arXiv:0904.1902, 2009
2009
Quantitative Reasoning of Opinions in Social Networks
L Tang, Z Wu, M Xia
On the complexity of tree pattern matching
A Muscholl, Z Wu
An Effective Solution of Language Inequality XA⊆ BX In the Case of Codes with Finite Decoding Delay
O Ly, Z Wu
The system can't perform the operation now. Try again later.
Articles 1–8