1. Relational Network Verification;Proceedings of the ACM SIGCOMM 2024 Conference;2024-08-04
2. Jump complexity of finite automata with translucent letters;Theoretical Computer Science;2024-04
3. Weak determinism and the computational consequences of interaction;Natural Language & Linguistic Theory;2024-01-03
4. Topologies for error-detecting variable-length codes;Information and Computation;2023-12
5. Revisiting Membership Problems in Subclasses of Rational Relations;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26