Zhilei Han

2022202320248 14 7

Public access

1 article

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 ChenDepartment of Computer Science, 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	29	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		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