Automatic theorem proving in Walnut H Mousavi arXiv preprint arXiv:1603.06017, 2016 | 99 | 2016 |
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 | 55 | 2016 |
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 | 33 | 2016 |
Mechanical proofs of properties of the Tribonacci word H Mousavi, J Shallit International Conference on Combinatorics on Words, 170-190, 2015 | 29 | 2015 |
On the number of unbordered factors D Goč, H Mousavi, J Shallit Language and Automata Theory and Applications: 7th International Conference …, 2013 | 27 | 2013 |
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 | 25 | 2014 |
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 | 24 | 2017 |
A generalization of CHSH and the algebraic structure of optimal strategies D Cui, A Mehta, H Mousavi, SS Nezhadi Quantum 4, 346, 2020 | 18 | 2020 |
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 | 11 | 2022 |
On the complexity of zero gap MIP H Mousavi, SS Nezhadi, H Yuen arXiv preprint arXiv:2002.10490, 2020 | 10 | 2020 |
Repetition avoidance in circular factors H Mousavi, J Shallit Developments in Language Theory: 17th International Conference, DLT 2013 …, 2013 | 10 | 2013 |
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 | 7 | 2015 |
Synchronous values of games JW Helton, H Mousavi, SS Nezhadi, VI Paulsen, TB Russell Annales Henri Poincaré, 1-41, 2024 | 5 | 2024 |
Automatic theorem proving in Walnut. Preprint H Mousavi arXiv preprint arxiv:1603.06017, 2016 | 5 | 2016 |
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 | 3 | 2017 |
Approximation algorithms for noncommutative constraint satisfaction problems E Culf, H Mousavi, T Spirig arXiv preprint arXiv:2312.16765, 2023 | 1 | 2023 |
Shortest repetition-free words accepted by automata H Mousavi, J Shallit International Workshop on Descriptional Complexity of Formal Systems, 182-193, 2013 | 1 | 2013 |
Filtrations of Formal Languages by Arithmetic Progressions H Mousavi, J Shallit Fundamenta Informaticae 123 (2), 135-142, 2013 | 1 | 2013 |
On the Number of Unbordered Factors D Goc, H Mousavi, J Shallit arXiv preprint arXiv:1211.1301, 2012 | | 2012 |