Hamoon Mousavi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Synchronous values of games Annales Henri Poincaré	2024-10-10	Paper
Nonlocal games, compression theorems, and the arithmetical hierarchy Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing	2023-12-08	Paper
Synchronous Values of Games	2021-09-29	Paper
Decision algorithms for Fibonacci-automatic words. III: Enumeration and abelian properties. International Journal of Foundations of Computer Science	2017-04-06	Paper
Decision algorithms for Fibonacci-automatic words. II: Related sequences and avoidability Theoretical Computer Science	2016-12-05	Paper
Decision algorithms for Fibonacci-automatic words. I: Basic results. RAIRO - Theoretical Informatics and Applications	2016-08-12	Paper
Automatic Theorem Proving in Walnut	2016-03-18	Paper
Mechanical proofs of properties of the Tribonacci word Lecture Notes in Computer Science	2015-11-04	Paper
A new approach to the paperfolding sequences Evolving Computability	2015-10-20	Paper
Decision Algorithms for Fibonacci-Automatic Words, with Applications to Pattern Avoidance	2014-06-03	Paper
Shortest repetition-free words accepted by automata Descriptional Complexity of Formal Systems	2013-08-09	Paper
Repetition avoidance in circular factors Developments in Language Theory	2013-06-28	Paper
Filtrations of formal languages by arithmetic progressions Fundamenta Informaticae	2013-06-27	Paper
On the number of unbordered factors Language and Automata Theory and Applications	2013-03-18	Paper

Research outcomes over time

This page was built for person: Hamoon Mousavi