Hamoon Mousavi

According to our database, Hamoon Mousavi authored at least 16 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2023

Approximation algorithms for noncommutative constraint satisfaction problems.

Eric Culf, Hamoon Mousavi, Taro Spirig

CoRR, 2023

2022

Nonlocal games, compression theorems, and the arithmetical hierarchy.

Hamoon Mousavi, Seyed Sajjad Nezhadi, Henry Yuen

Proceedings of the STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20, 2022

2020

A generalization of CHSH and the algebraic structure of optimal strategies.

David Cui, Arthur Mehta, Hamoon Mousavi, Seyed Sajjad Nezhadi

Quantum, 2020

On the Complexity of Zero Gap MIP.

Hamoon Mousavi, Seyed Sajjad Nezhadi, Henry Yuen

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

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

Lower Bounds on Regular Expression Size.

Hamoon Mousavi

CoRR, 2017

2016

Decision algorithms for Fibonacci-automatic Words, I: Basic results.

Hamoon Mousavi, Luke Schaeffer, Jeffrey O. Shallit

RAIRO Theor. Informatics Appl., 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

Automatic Theorem Proving in Walnut.

Hamoon Mousavi

CoRR, 2016

2015

Mechanical Proofs of Properties of the Tribonacci Word.

Hamoon Mousavi, Jeffrey O. Shallit

Proceedings of the Combinatorics on Words - 10th International Conference, 2015

A New Approach to the Paperfolding Sequences.

Daniel Goc, Hamoon Mousavi, Luke Schaeffer, Jeffrey O. Shallit

Proceedings of the Evolving Computability - 11th Conference on Computability in Europe, 2015

2014

Decision Algorithms for Fibonacci-Automatic Words, with Applications to Pattern Avoidance.

Chen Fei Du, Hamoon Mousavi, Luke Schaeffer, Jeffrey O. Shallit

CoRR, 2014

2013

Filtrations of Formal Languages by Arithmetic Progressions.

Hamoon Mousavi, Jeffrey O. Shallit

Fundam. Informaticae, 2013

On the Number of Unbordered Factors.

Daniel Goc, Hamoon Mousavi, Jeffrey O. Shallit

Proceedings of the Language and Automata Theory and Applications, 2013

Repetition Avoidance in Circular Factors.

Hamoon Mousavi, Jeffrey O. Shallit

Proceedings of the Developments in Language Theory - 17th International Conference, 2013

Shortest Repetition-Free Words Accepted by Automata.

Hamoon Mousavi, Jeffrey O. Shallit

Proceedings of the Descriptional Complexity of Formal Systems, 2013