Old Web
English
Sign In
Acemap
>
authorDetail
>
Denghang Hu
Denghang Hu
Theoretical computer science
Symbolic execution
Solver
Computer science
Algorithm
5
Papers
3
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Solving string constraints with Regex-dependent functions through transducers with priorities and variables.
2022
Proc. ACM Program. Lang.
Taolue Chen
Alejandro Flores Lamas
Matthew Hague
Zhilei Han
Denghang Hu
Shuanglong Kan
Anthony W. Lin
Philipp Rümmer
Zhilin Wu
Show All
Source
Cite
Save
Citations (0)
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables.
2021
arXiv: Programming Languages
Taolue Chen
Matthew Hague
Zhilei Han
Denghang Hu
Alejandro Flores-Lamas
Anthony W. Lin
Shuanglong Kan
Philipp Ruemmer
Zhilin Wu
Show All
Source
Cite
Save
Citations (0)
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type.
2020
arXiv: Logic in Computer Science
Taolue Chen
Matthew Hague
Jinlong He
Denghang Hu
Anthony W. Lin
Philipp Rümmer
Zhilin Wu
Show All
Source
Cite
Save
Citations (1)
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type.
2020
ATVA | Automated Technology for Verification and Analysis
Taolue Chen
Matthew Hague
Jinlong He
Denghang Hu
Anthony W. Lin
Philipp Rümmer
Zhilin Wu
Show All
Source
Cite
Save
Citations (2)
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
2020
| International Symposium on Automated Technology for Verification and Analysis
Taolue Chen
Matthew Hague
Jinlong He
Denghang Hu
Anthony Widjaja Lin
Philipp Rümmer
Zhilin Wu
Show All
Source
Cite
Save
Citations (0)
1