Hamoon Mousavi

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