Noel Arteche

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Quantum Computing

Space Complexity

Closely Related

Domain Independent

Top Venues

J. Log. Algebraic Methods Program.

Electron. Colloquium Comput. Complex.

Publications

Noel Arteche, Erfan Khaniki, Ján Pich, Rahul Santhanam
From Proof Complexity to Circuit Complexity via Interactive Protocols. CoRR (2024)
Noel Arteche, Gaia Carenini, Matthew Gray
-Frege Is LWE-Hard. CoRR (2024)
Noel Arteche, Montserrat Hermo
Towards the exact complexity of realizability for Safety LTL. J. Log. Algebraic Methods Program. 141 (2024)
Noel Arteche, Gaia Carenini, Matthew Gray
Quantum Automating $\mathbf{TC}^0$-Frege Is LWE-Hard. Electron. Colloquium Comput. Complex. (2024)
Noel Arteche, Erfan Khaniki, Ján Pich, Rahul Santhanam
From Proof Complexity to Circuit Complexity via Interactive Protocols. ICALP (2024)
Noel Arteche, Gaia Carenini, Matthew Gray
Quantum Automating TC⁰-Frege Is LWE-Hard. CCC (2024)
Noel Arteche, Montserrat Hermo
On the Complexity of Realizability for Safety LTL and Related Subfragments. CoRR (2021)