1. Half-Positional Objectives Recognized by Deterministic B\"uchi Automata;Logical Methods in Computer Science;2024-08-29
2. Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi;Logical Methods in Computer Science;2024-07-23
3. Operations on Fixpoint Equation Systems;Logical Methods in Computer Science;2024-07-10
4. Positional ω-regular languages;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
5. Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08