Concepedia

Zhilin Wu

ZW

Statistics

Publications

6

Citations

209

H-Index

6

Active since

2008

Affiliations

Institute of Software(Current)

Chinese Academy of Sciences

University of Oxford

Royal Holloway University of London

Uppsala University

Zhilin Wu is an author at Institute of Software specializing in computing, computer science, and programming languages.

Publications per year

2008–2022

6

Publications

6

Decision procedures for path feasibility of string-manipulating programs with complex operations

Taolue Chen, Matthew Hague, Anthony W. Lin et al. · Proceedings of the ACM on Programming Languages · 2019 · 79 citations · Full text

Computing, Computer Science, Formal Methods +13

What is decidable about string constraints with the ReplaceAll function

Taolue Chen, Yan Chen, Matthew Hague et al. · Proceedings of the ACM on Programming Languages · 2017 · 44 citations · Full text

Computing, Computer Science, Programming Languages +12

Solving string constraints with Regex-dependent functions through transducers with priorities and variables

Taolue Chen, Alejandro Flores-Lamas, Matthew Hague et al. · Proceedings of the ACM on Programming Languages · 2022 · 35 citations · Full text

Computing, Computer Science, Formal Methods +14

Ant-based Energy-aware Disjoint Multipath Routing Algorithm for MANETs

Zhilin Wu, Haijing Song · The Computer Journal · 2008 · 27 citations

Computing, High-performance Computing, Energy Management +16

Recursive queries on trees and data trees

Serge Abiteboul, Pierre Bourhis, Anca Muscholl et al. · 2013 · 13 citations

Computing, Computer Science, Data Structures +10

1–5 of 6