Zhilei Han

2022202320249 12 17

Public access

2 articles

0 articles

available

not available

Based on funding mandates

Matthew HagueRoyal Holloway, University of LondonVerified email at cs.rhul.ac.uk
Anthony Widjaja LinProfessor@TU Kaiserslautern, Max-Planck Fellow at Max-Planck Institute for Software SystemsVerified email at cs.uni-kl.de
Alejandro Flores LamasRoyal Holloway, University of LondonVerified email at rhul.ac.uk
Zhilin WuState Key Laboratory of Computer ScienceVerified email at ios.ac.cn
Philipp RuemmerProfessor in Computer Science, University of RegensburgVerified email at ur.de
Shuanglong KanDoctor of Computer Science, TU KaiserslauternVerified email at cs.uni-kl.de
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonVerified email at bbk.ac.uk

Zhilei Han

Verified email at mails.tsinghua.edu.cn - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	37	2022
Data-driven Recurrent Set Learning For Non-termination Analysis Z Han, F He 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023	1	2023
OSTRICH Version 1.3 T Chen, R De Masellis, A Flores-Lamas, M Hague, Z Han, D Hu, AW Lin, ...
The OSTRICH String Solver T Chen, R De Masellis, A Flores-Lamas, M Hague, Z Han, D Hu, S Kan, ...

The system can't perform the operation now. Try again later.

Articles 1–4

Citations per year