Skip to content

Noel Arteche

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

2

Active years

2024–2025

Best venue rank

A*

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2025FOCSThe Proof Analysis Problem.Noel Arteche, Albert Atserias, Susanna F. de Rezende, Erfan Khaniki
2024ICALPFrom Proof Complexity to Circuit Complexity via Interactive Protocols.Noel Arteche, Erfan Khaniki, Jn Pich, Rahul Santhanam