| Decision procedures for path feasibility of string-manipulating programs with complex operations T Chen, M Hague, AW Lin, P Rümmer, Z Wu Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019 | 91 | 2019 |
| 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 | 60* | 2018 |
| What is decidable about string constraints with the ReplaceAll function ZW Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin POPL, 2018 | 60* | 2018 |
| On automated lemma generation for separation logic with inductive definitions C Enea, M Sighireanu, Z Wu International Symposium on Automated Technology for Verification and …, 2015 | 47 | 2015 |
| Solving string constraints with regex-dependent functions through transducers with priorities and variables T Chen, A Flores-Lamas, M Hague, Z Han, D Hu, S Kan, AW Lin, ... Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022 | 40 | 2022 |
| A complete decision procedure for linearly compositional separation logic with data constraints X Gu, T Chen, Z Wu International Joint Conference on Automated Reasoning, 532-549, 2016 | 28 | 2016 |
| A decision procedure for path feasibility of string manipulating programs with integer data type T Chen, M Hague, J He, D Hu, AW Lin, P Rümmer, Z Wu International Symposium on Automated Technology for Verification and …, 2020 | 25 | 2020 |
| SL-COMP: competition of solvers for separation logic M Sighireanu, JA Navarro Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 25 | 2019 |
| Feasibility of motion planning on acyclic and strongly connected directed graphs Z Wu, S Grumbach Discrete Applied Mathematics 158 (9), 1017-1028, 2010 | 24 | 2010 |
| Register automata with linear arithmetic YF Chen, O Lengál, T Tan, Z Wu 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017 | 20 | 2017 |
| The commutativity problem of the MapReduce framework: A transducer-based approach YF Chen, L Song, Z Wu International Conference on Computer Aided Verification, 91-111, 2016 | 17 | 2016 |
| Satisfiability of compositional separation logic with tree predicates and data constraints Z Xu, T Chen, Z Wu Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017 | 16 | 2017 |
| Logical locality entails frugal distributed computation over graphs S Grumbach, Z Wu Graph-Theoretic Concepts in Computer Science: 35th International Workshop …, 2010 | 16 | 2010 |
| Recursive queries on trees and data trees S Abiteboul, P Bourhis, A Muscholl, Z Wu Proceedings of the 16th International Conference on Database Theory, 93-104, 2013 | 15 | 2013 |
| Global model checking on pushdown multi-agent systems T Chen, F Song, Z Wu Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016 | 14 | 2016 |
| Monadic decomposition in integer linear arithmetic M Hague, AW Lin, P Rümmer, Z Wu Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 12 | 2020 |
| On temporal logics with data variable quantifications: Decidability and complexity F Song, Z Wu Information and Computation 251, 104-139, 2016 | 11 | 2016 |
| Feasibility of motion planning on directed graphs Z Wu, S Grumbach International Conference on Theory and Applications of Models of Computation …, 2009 | 10 | 2009 |
| Extending temporal logics with data variable quantifications F Song, Z Wu 34th International Conference on Foundation of Software Technology and …, 2014 | 9 | 2014 |
| Android multitasking mechanism: Formal semantics and static analysis of apps J He, T Chen, P Wang, Z Wu, J Yan Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa …, 2019 | 7 | 2019 |
