| Titolo |
Pubblicato in |
Anno |
| Quantum Automata and Languages of Finite Index |
Reachability Problems 18th International Conference, RP 2024 Vienna, Austria, September 25-27, 2024 Proceedings |
2024 |
| Unboundedness Problems for Machines with Reversal-Bounded Counters |
Foundations of Software Science and Computation Structures |
2023 |
| On the Commutative Equivalence of Algebraic Formal Series and Languages |
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
2021 |
| Coding by minimal linear grammars |
THEORETICAL COMPUTER SCIENCE |
2020 |
| On Finite-Index Indexed Grammars and Their Restrictions |
INFORMATION AND COMPUTATION |
2020 |
| Relationships Between Bounded Languages, Counter Machines, Finite-Index Grammars, Ambiguity, and Commutative Equivalence |
THEORETICAL COMPUTER SCIENCE |
2020 |
| On Bounded Linear Codes and the Commutative Equivalence |
THEORETICAL COMPUTER SCIENCE |
2020 |
| Locally strongly transitive automata in the Cerny conjecture and related problems |
JOURNAL OF AUTOMATA, LANGUAGES AND COMBINATORICS |
2019 |
| On the Commutative Equivalence of Bounded Semi-linear Codes |
Combinatorics on Words |
2019 |
| Language classes associated with automata over matrix groups |
Proceedings of the "8th Workshop on Non-Classical Models of Automata and Applications" |
2018 |
| On the Commutative Equivalence of Context-Free Languages |
Developments in Language Theory 2018 |
2018 |
| Language classes associated with automata over matrix groups |
RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS |
2018 |
| On incomplete and synchronizing finite sets |
THEORETICAL COMPUTER SCIENCE |
2017 |
| On finite-index indexed grammars and their restrictions |
LATA 2017, Language and Automata Theory and Applications |
2017 |
| Generalized results on monoids as memory |
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
2017 |
| Homing Vector Automata |
RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS |
2016 |
| On the commutative equivalence of bounded context-free and regular languages: the semi-linear case |
THEORETICAL COMPUTER SCIENCE |
2015 |
