1. Finite-valued Streaming String Transducers;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Defining algorithmically presented structures in first order logic;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Regular Abstractions for Array Systems;Proceedings of the ACM on Programming Languages;2024-01-05
4. Ramsey Quantifiers in Linear Arithmetics;Proceedings of the ACM on Programming Languages;2024-01-05
5. Revisiting Membership Problems in Subclasses of Rational Relations;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26