Shortest Repetition-Free Words Accepted by Automata. - Hamoon Mousavi; Jeffrey O. Shallit (DCFS, 2013)

Repetition Avoidance in Circular Factors. - Hamoon Mousavi; Jeffrey O. Shallit (Developments in Language Theory, 2013)

On the Number of Unbordered Factors. - Daniel Goc; Hamoon Mousavi; Jeffrey O. Shallit (LATA, 2013)

Filtrations of Formal Languages by Arithmetic Progressions. - Hamoon Mousavi; Jeffrey O. Shallit (Fundam. Informaticae, 2013)

Decision Algorithms for Fibonacci-Automatic Words, with Applications to Pattern Avoidance. - Chen Fei Du; Hamoon Mousavi; Luke Schaeffer; Jeffrey O. Shallit (CoRR, 2014)

A New Approach to the Paperfolding Sequences. - Daniel Goc; Hamoon Mousavi; Luke Schaeffer; Jeffrey O. Shallit (CiE, 2015)

Mechanical Proofs of Properties of the Tribonacci Word. - Hamoon Mousavi; Jeffrey O. Shallit (WORDS, 2015)

Automatic Theorem Proving in Walnut. - Hamoon Mousavi (CoRR, 2016)

Decision Algorithms for Fibonacci-Automatic Words, III: Enumeration and Abelian Properties. - Chen Fei Du; Hamoon Mousavi; Luke Schaeffer; Jeffrey O. Shallit (Int. J. Found. Comput. Sci., 2016)

Decision algorithms for Fibonacci-automatic Words, I: Basic results. - Hamoon Mousavi; Luke Schaeffer; Jeffrey O. Shallit (RAIRO Theor. Informatics Appl., 2016)

Lower Bounds on Regular Expression Size. - Hamoon Mousavi (CoRR, 2017)

Decision algorithms for Fibonacci-automatic words, II: Related sequences and avoidability. - Chen Fei Du; Hamoon Mousavi; Eric Rowland; Luke Schaeffer; Jeffrey O. Shallit (Theor. Comput. Sci., 2017)

On the Complexity of Zero Gap MIP. - Hamoon Mousavi; Seyed Sajjad Nezhadi; Henry Yuen (ICALP, 2020)

A generalization of CHSH and the algebraic structure of optimal strategies. - David Cui; Arthur Mehta; Hamoon Mousavi; Seyed Sajjad Nezhadi (Quantum, 2020)

Nonlocal games, compression theorems, and the arithmetical hierarchy. - Hamoon Mousavi; Seyed Sajjad Nezhadi; Henry Yuen (STOC, 2022)

Approximation algorithms for noncommutative constraint satisfaction problems. - Eric Culf; Hamoon Mousavi; Taro Spirig (CoRR, 2023)

Some Aspects of Noncommutativity in Polynomial Optimization - Hamoon Mousavi (2023)

Approximation Algorithms for Noncommutative CSPs. - Eric Culf; Hamoon Mousavi; Taro Spirig (FOCS, 2024)

A Quantum Unique Games Conjecture. - Hamoon Mousavi; Taro Spirig (ITCS, 2025)