Zhilei Han

2022202320248 14 7

Accès public

2 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Matthew HagueRoyal Holloway, University of LondonAdresse e-mail validée de cs.rhul.ac.uk
Anthony Widjaja LinProfessor@TU Kaiserslautern, Max-Planck Fellow at Max-Planck Institute for Software SystemsAdresse e-mail validée de cs.uni-kl.de
Alejandro Flores LamasRoyal Holloway, University of LondonAdresse e-mail validée de rhul.ac.uk
Zhilin WuState Key Laboratory of Computer ScienceAdresse e-mail validée de ios.ac.cn
Philipp RuemmerProfessor in Computer Science, University of RegensburgAdresse e-mail validée de ur.de
Shuanglong KanDoctor of Computer Science, TU KaiserslauternAdresse e-mail validée de cs.uni-kl.de
Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonAdresse e-mail validée de bbk.ac.uk

Zhilei Han

Adresse e-mail validée de mails.tsinghua.edu.cn - Page d'accueil


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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, ...

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–4

Nombre de citations par an