Hamoon Mousavi

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 13

Top Topics

Orders Of Magnitude

Compressed Data

Algebraic Structure

Constraint Satisfaction

Top Venues

Int. J. Found. Comput. Sci.

Publications

Eric Culf, Hamoon Mousavi, Taro Spirig
Approximation algorithms for noncommutative constraint satisfaction problems. CoRR (2023)
Hamoon Mousavi, Seyed Sajjad Nezhadi, Henry Yuen
Nonlocal games, compression theorems, and the arithmetical hierarchy. STOC (2022)
Hamoon Mousavi, Seyed Sajjad Nezhadi, Henry Yuen
Nonlocal Games, Compression Theorems, and the Arithmetical Hierarchy. CoRR (2021)
David Cui, Arthur Mehta, Hamoon Mousavi, Seyed Sajjad Nezhadi
A generalization of CHSH and the algebraic structure of optimal strategies. Quantum 4 (2020)
Hamoon Mousavi, Seyed Sajjad Nezhadi, Henry Yuen
On the Complexity of Zero Gap MIP. ICALP (2020)
Hamoon Mousavi, Seyed Sajjad Nezhadi, Henry Yuen
On the complexity of zero gap MIP. CoRR (2020)
Chen Fei Du, Hamoon Mousavi, Eric Rowland, Luke Schaeffer, Jeffrey O. Shallit
Decision algorithms for Fibonacci-automatic words, II: Related sequences and avoidability. Theor. Comput. Sci. 657 (2017)
Hamoon Mousavi
Lower Bounds on Regular Expression Size. CoRR (2017)
Hamoon Mousavi, Luke Schaeffer, Jeffrey O. Shallit
Decision algorithms for Fibonacci-automatic Words, I: Basic results. RAIRO Theor. Informatics Appl. 50 (1) (2016)
Chen Fei Du, Hamoon Mousavi, Luke Schaeffer, Jeffrey O. Shallit
Decision Algorithms for Fibonacci-Automatic Words, III: Enumeration and Abelian Properties. Int. J. Found. Comput. Sci. 27 (8) (2016)
Hamoon Mousavi
Automatic Theorem Proving in Walnut. CoRR (2016)
Hamoon Mousavi, Jeffrey O. Shallit
Mechanical Proofs of Properties of the Tribonacci Word. WORDS (2015)
Daniel Goc, Hamoon Mousavi, Luke Schaeffer, Jeffrey O. Shallit
A New Approach to the Paperfolding Sequences. CiE (2015)
Hamoon Mousavi, Jeffrey O. Shallit
Mechanical Proofs of Properties of the Tribonacci Word. CoRR (2014)
Chen Fei Du, Hamoon Mousavi, Luke Schaeffer, Jeffrey O. Shallit
Decision Algorithms for Fibonacci-Automatic Words, with Applications to Pattern Avoidance. CoRR (2014)
Hamoon Mousavi, Jeffrey O. Shallit
Repetition Avoidance in Circular Factors. Developments in Language Theory (2013)
Hamoon Mousavi, Jeffrey O. Shallit
Shortest Repetition-Free Words Accepted by Automata. DCFS (2013)
Hamoon Mousavi, Jeffrey O. Shallit
Filtrations of Formal Languages by Arithmetic Progressions. Fundam. Informaticae 123 (2) (2013)
Hamoon Mousavi, Jeffrey O. Shallit
Shortest Repetition-Free Words Accepted by Automata CoRR (2013)
Daniel Goc, Hamoon Mousavi, Jeffrey O. Shallit
On the Number of Unbordered Factors. LATA (2013)
Daniel Goc, Hamoon Mousavi, Jeffrey O. Shallit
On the Number of Unbordered Factors CoRR (2012)
Hamoon Mousavi, Jeffrey O. Shallit
Repetition Avoidance in Circular Factors CoRR (2012)
Hamoon Mousavi, Jeffrey O. Shallit
Filtrations of Formal Languages by Arithmetic Progressions CoRR (2011)