Login / Signup
Zhilei Han
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Boolean Variables
Quadratic Programming Problems
Constrained Problems
Cardinality Constraints
Top Venues
CoRR
Proc. ACM Program. Lang.
ICSE
</>
Publications
</>
Zhilei Han
,
Fei He
Data-driven Recurrent Set Learning For Non-termination Analysis.
ICSE
(2023)
Taolue Chen
,
Alejandro Flores-Lamas
,
Matthew Hague
,
Zhilei Han
,
Denghang Hu
,
Shuanglong Kan
,
Anthony W. Lin
,
Philipp Rümmer
,
Zhilin Wu
Solving string constraints with Regex-dependent functions through transducers with priorities and variables.
Proc. ACM Program. Lang.
6 (POPL) (2022)
Guanyan Li
,
Zhilei Han
,
Fei He
ProbTA: A sound and complete proof rule for probabilistic verification.
CoRR
(2022)
Taolue Chen
,
Alejandro Flores-Lamas
,
Matthew Hague
,
Zhilei Han
,
Denghang Hu
,
Shuanglong Kan
,
Anthony Widjaja Lin
,
Philipp Rümmer
,
Zhilin Wu
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables.
CoRR
(2021)