Jitao Han

According to our database, Jitao Han authored at least 2 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Incremental Context-free Grammar Inference in Black Box Settings.

Feifei Li, Xiao Chen, Xi Xiao, Xiaoyu Sun, Chuan Chen, Shaohua Wang, Jitao Han

CoRR, 2024

2020

Termination analysis for evolving programs: an incremental approach by reusing certified modules.

Fei He, Jitao Han

Proc. ACM Program. Lang., 2020