2025

Jul 01, 2025

25.5 Commutative polynomial automata series

Jul 01, 2025

25.4 Efficient LRS evaluation

Jul 01, 2025

25.3 Relative degree for rational series

2024

Jul 01, 2024

24.19 Reachability in Reversible Data VASS

2023

Jul 01, 2023

23.8 Linear loop synthesis: When d variables are not enough.

Jul 01, 2023

23.5 Linear loop synthesis: When d variables are not enough.

2022

Jul 01, 2022

22.19 Membership in Reversed Partially-Ordered Automata

Jul 01, 2022

22.18 Learning sequences

Jul 01, 2022

22.17 Eventual non-negativity of Matrices

Jul 01, 2022

22.14 Transformation monoid minimisation