Research output per year
Research output per year
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 1 Conference contribution
-
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables
Chen, T., Flores Lamas, A., Hague, M., Han, Z., Hu, D., Kan, S., Lin, A., Ruemmer, P. & Wu, Z., 12 Jan 2022, (E-pub ahead of print) Principles of Programming Languages 2022. ACM, Vol. 6. p. 1-31 31 p. 45Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access8 Downloads (Pure)