Name Card

Full name Familienname, Vorname
Wu, Zhilin
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hague-2025-OSTRICH2 Solver for Complex String Constraints-vor.pdf.jpgHague, Matthew ; Hu, Denghang ; Jeż, Artur ; Lin, Anthony Widjaja ; Markgraf, Oliver ; Rümmer, Philipp ; Wu, Zhilin OSTRICH2: Solver for Complex String ConstraintsInproceedings Konferenzbeitrag 2025