The complexity of computing the period and the exponent of a digraph.
CoRR, 2024
On Shortest Products for Nonnegative Matrix Mortality.
Proceedings of the Reachability Problems - 18th International Conference, 2024
Monoids of Upper Triangular Matrices over the Boolean Semiring.
Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024
Reachability in Fixed VASS: Expressiveness and Lower Bounds.
Proceedings of the Foundations of Software Science and Computation Structures, 2024
Traversing automata with current state uncertainty under LTL<sub>f</sub> constraints.
CoRR, 2023
Universality and Forall-Exactness of Cost Register Automata with Few Registers.
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023
Formal and Empirical Studies of Counting Behaviour in ReLU RNNs.
Proceedings of the International Conference on Grammatical Inference, 2023
Fixed interval scheduling with third-party machines.
Networks, 2021
Finitely generated submonoids.
CoRR, 2021
Synchronizing Strongly Connected Partial DFAs.
Proceedings of the 38th International Symposium on Theoretical Aspects of Computer Science, 2021
Synchronizing automata and coding theory. (Automates synchronisant et théorie du codage).
PhD thesis, 2020
The Degree of a Finite Set of Words.
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020
Synchronization problems in automata without non-trivial cycles.
Theor. Comput. Sci., 2019
On automata recognizing birecurrent sets.
Theor. Comput. Sci., 2019
Palindromic Subsequences in Finite Words.
Proceedings of the Language and Automata Theory and Applications, 2019
Words of Minimum Rank in Deterministic Finite Automata.
Proceedings of the Developments in Language Theory - 23rd International Conference, 2019
Mortality and Synchronization of Unambiguous Finite Automata.
Proceedings of the Combinatorics on Words - 12th International Conference, 2019
A note on scheduling container storage operations of two non-passing stacking cranes.
Networks, 2018
Subset Synchronization in Monotonic Automata.
Fundam. Informaticae, 2018
Finding Short Synchronizing Words for Prefix Codes.
Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018
On Minimum Maximal Distance-k Matchings.
Electron. Notes Discret. Math., 2016
Approximating the Maximum Number of Synchronizing States in Automata.
CoRR, 2016