Follow
Hamoon Mousavi
Hamoon Mousavi
Verified email at columbia.edu
Title
Cited by
Cited by
Year
Automatic theorem proving in Walnut
H Mousavi
arXiv preprint arXiv:1603.06017, 2016
972016
Decision algorithms for Fibonacci-automatic words, I: Basic results
H Mousavi, L Schaeffer, J Shallit
RAIRO-Theoretical Informatics and Applications-Informatique Théorique et …, 2016
532016
Decision algorithms for Fibonacci-automatic words, III: Enumeration and abelian properties
CF Du, H Mousavi, L Schaeffer, J Shallit
International Journal of Foundations of Computer Science 27 (08), 943-963, 2016
332016
Mechanical proofs of properties of the Tribonacci word
H Mousavi, J Shallit
International Conference on Combinatorics on Words, 170-190, 2015
292015
On the number of unbordered factors
D Goč, H Mousavi, J Shallit
Language and Automata Theory and Applications: 7th International Conference …, 2013
272013
Decision algorithms for Fibonacci-automatic words, with applications to pattern avoidance
CF Du, H Mousavi, L Schaeffer, J Shallit
arXiv preprint arXiv:1406.0670, 2014
252014
Decision algorithms for Fibonacci-automatic words, II: Related sequences and avoidability
CF Du, H Mousavi, E Rowland, L Schaeffer, J Shallit
Theoretical Computer Science 657, 146-162, 2017
242017
A generalization of CHSH and the algebraic structure of optimal strategies
D Cui, A Mehta, H Mousavi, SS Nezhadi
Quantum 4, 346, 2020
182020
Nonlocal games, compression theorems, and the arithmetical hierarchy
H Mousavi, SS Nezhadi, H Yuen
Proceedings of the 54th annual ACM SIGACT symposium on theory of computing, 1-11, 2022
112022
On the complexity of zero gap MIP
H Mousavi, SS Nezhadi, H Yuen
arXiv preprint arXiv:2002.10490, 2020
102020
Repetition avoidance in circular factors
H Mousavi, J Shallit
Developments in Language Theory: 17th International Conference, DLT 2013 …, 2013
102013
A new approach to the paperfolding sequences
D Goč, H Mousavi, L Schaeffer, J Shallit
Evolving Computability: 11th Conference on Computability in Europe, CiE 2015 …, 2015
72015
Synchronous values of games
JW Helton, H Mousavi, SS Nezhadi, VI Paulsen, TB Russell
Annales Henri Poincaré, 1-41, 2024
52024
Automatic theorem proving in Walnut. Preprint
H Mousavi
arXiv preprint arxiv:1603.06017, 2016
52016
Automatic theorem proving in Walnut, Arxiv preprint, 2016
H Mousavi
5
Lower bounds on regular expression size
H Mousavi
arXiv preprint arXiv:1712.00811, 2017
32017
Shortest repetition-free words accepted by automata
H Mousavi, J Shallit
International Workshop on Descriptional Complexity of Formal Systems, 182-193, 2013
12013
Filtrations of Formal Languages by Arithmetic Progressions
H Mousavi, J Shallit
Fundamenta Informaticae 123 (2), 135-142, 2013
12013
Approximation algorithms for noncommutative constraint satisfaction problems
E Culf, H Mousavi, T Spirig
arXiv preprint arXiv:2312.16765, 2023
2023
On the Number of Unbordered Factors
D Goc, H Mousavi, J Shallit
arXiv preprint arXiv:1211.1301, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–20