Login / Signup
Yu-Fang Chen
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Decision Makers
Edit Distance
Context Free Grammars
String Matching
Top Venues
Acta Informatica
</>
Publications
</>
Hao Wu
,
Yu-Fang Chen
,
Zhilin Wu
,
Bican Xia
,
Naijun Zhan
A decision procedure for string constraints with string/integer conversion and flat regular constraints.
Acta Informatica
61 (1) (2024)