publication venue for
- Matrix Multiplication via Matrix Groups 2023
- Sparsification of Phylogenetic Covariance Matrices of k-Regular Trees 2024
- On the Complexity Dichotomy for the Satisfiability of Systems of Term Equations over Finite Algebras 2023
- Average-Case Algorithms for Testing Isomorphism of Polynomials, Algebras, and Multilinear Forms 2021
- On the Complexity of Isomorphism Problems for Tensors, Groups, and Polynomials I: Tensor Isomorphism-Completeness 2021
- Minimum Circuit Size, Graph Isomorphism, and Related Problems 2018
- FO-Definable Transformations of Infinite Strings 2016
- Mean-Payoff Games on Timed Automata 2016
- Boundaries of VP and VNP 2016