Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea, “On the Expressive Power of String Constraints”, Proc. ACM Program. Lang., 7:POPL (2023), 278
Josselin Giet, Félix Ridoux, Xavier Rival, Lecture Notes in Computer Science, 14284, Static Analysis, 2023, 310
Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen, “ZaligVinder: A generic test framework for string solvers”, J Software Evolu Process, 35:4 (2023)
Artur Jeż, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Lecture Notes in Computer Science, 13965, Computer Aided Verification, 2023, 18
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka, “Towards more efficient methods for solving regular-expression heavy string constraints”, Theoretical Computer Science, 943 (2023), 50
Joel Day, Vijay Ganesh, Nathan Grewal, Matthew Konefal, Florin Manea, “A Closer Look at the Expressive Power of Logics Based on Word Equations”, Theory Comput Syst, 2023
C. Aiswarya, Soumodev Mal, Prakash Saivasan, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, 1
Steven Eker, “Associative unification in Maude”, Journal of Logical and Algebraic Methods in Programming, 126 (2022), 100747
Sanjay Jain, Shao Ning Kuek, Eric Martin, Frank Stephan, “Learners based on transducers”, Information and Computation, 283 (2022), 104676
Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh, Lecture Notes in Computer Science, 13047, Formal Methods, 2021, 389