Article

Chen, Taolue and Hague, M. and Flores-Lamas, A. and Han, Z. and Hu, D. and Kan, S. and Lin, A. and Wu, Z. (2022) Solving string constraints with Regex-dependent functions through transducers with priorities and variables. Proceedings of the ACM on Programming Languages 6 (POPL), pp. 1-31. ISSN 2475-1421.

Bar-Ilan, J. and Levene, Mark and Lin, A. (2007) Some measures for comparing citation databases. Journal of Informetrics 1 (1), 26 - 34. ISSN 1751-1577.