Size-degree trade-offs for sums-of-squares and positivstellensatz proofs A Atserias, T Hakoniemi arXiv preprint arXiv:1811.01351, 2018 | 32 | 2018 |

Simple hard instances for low-depth algebraic proofs N Govindasamy, T Hakoniemi, I Tzameret 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS …, 2022 | 7 | 2022 |

Monomial size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus T Hakoniemi 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-7, 2021 | 5 | 2021 |

Labelled tableaux for interpretability logics TA Hakoniemi, JJ Joosten arXiv preprint arXiv:1605.05612, 2016 | 5 | 2016 |

Feasible interpolation for polynomial calculus and sums-of-squares T Hakoniemi 47th International Colloquium on Automata, Languages, and Programming (ICALP …, 2020 | 4 | 2020 |

Size bounds for algebraic and semialgebraic proof systems TA Hakoniemi Universitat Politècnica de Catalunya, 2022 | 2 | 2022 |

Protoalgebraic and Equivalential Logics T Hakoniemi Department of Mathematics and Statistics, University of Helsinki, Helsinki, 2016 | 1 | 2016 |

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers T Hakoniemi, N Limaye, I Tzameret Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 1396-1404, 2024 | | 2024 |

IMTech S Fernández, J Díaz, J Guàrdia, JM Rossell, N Salán, I Zaplana, V Rotger, ... | | 2022 |

Size-degree trade-offs for Sums-of-Squares and Positivstellensatz proofs T Hakoniemi, A Atserias 34th Computational Complexity Conference, CCC 2019, 2019 | | 2019 |