Publications

 

• Quantum Automating TC⁰-Frege Is LWE-Hard
  Noel Arteche, Gaia Carenini, and Matthew Gray
  In the 39th Computational Complexity Conference (CCC 2024)
  (A preliminary version appeared as a poster at QIP 2024)
  [PDF | ECCC | arXiv | DROPS | QIP’24 poster]
• From Proof Complexity to Circuit Complexity via Interactive Protocols
  Noel Arteche, Erfan Khaniki, Ján Pich, and Rahul Santhanam
  In the 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP 2024)
  [PDF | arXiv | DROPS]
• Towards the exact complexity of realizability for Safety LTL
  Noel Arteche and Montserrat Hermo
  In the Journal of Logical and Algebraic Methods in Programming, Volume 141 (October 2024)
  [Journal version]

Theses

• Parameterized Compilability
  MSc Thesis - 2022
  University of Amsterdam
  [PDF] [Slides from the thesis defense - 11.07.2022]
  • My handwritten research notes — Why upload my handwritten notes?
• A Formal Language and Tool for QBF Family Definitions
  BSc Thesis - 2020
  University of the Basque Country / KU Leven
  [PDF]

Workshop papers

• Prime Implicant Enumeration via QBF Solvers
  Noel Arteche and Montserrat Hermo
  Presented at the QBF Workshop 2021 at the 24th conference in Theory and Applications of Satisfiability Testing (SAT 2021)
  [PDF]
• A Formal Language for QBF Family Definitions
  Noel Arteche and Matthias van der Hallen
  Presented at the QBF Workshop 2020 at the 23rd conference in Theory and Applications of Satisfiability Testing (SAT 2020)
  [PDF]

Unpublished manuscripts

• Wittgenstein’s Aesthetics in the Philosophy of Mathematical Practice (2022)
• Between Invention and Discovery: What Video Game Speedrunning Can Teach Us about Mathematical Practice (2022)
• Strict Finitism’s Unrequited Love for Computational Complexity (2021)
• From Trueba to Rohmer: Form, destiny and transcendentalism in Le Rayon vert and La virgen de agosto (2020)

Notes

• Descriptive Complexity: Summary Notes (2021)
• Introduction to Modal Logic: Study Notes (2020)

On video games (in Spanish)

• Seattle no fue inundada: Mito y espectáculo en The Last of Us: Parte II (2020) - Published on Start
• Observation: La forma, el fondo y el iPhone de Obama (2019) - Published on Start
• Trüberbrook: La solución se presenta sola (2019) - Published on Start
• Tomar la palabra: Diálogo, libertad e inteligencia artificial (2019) - Published on Start
• 11-11 Memories Retold: Guerra, paz y espera) (2019) - Published on Start
• Tacoma y el cyberpunk costumbrista (2019) - [Unpublished]
• Do Not Feed the Monkeys: Las noticias nunca hablan del tiempo (2018) - Published on Start
• Mooncrash y Majora’s Mask: Repetición y temporalidad (2018) - Published on Start
• Zelda: Detrás de la leyenda, de Salva Fernández (2018) - Published on Start
• El corte y la cinestesia en el lenguaje videolúdico (2018) - Published on Start
• Dialogue: A Writer’s Story y la dicotomía de Feynman (2018) - Published on Start
• Hob (2017) - Originally published on ZehnGames
• La didáctica en el Santuario de la Espada de Breath of the Wild (2017) - Published on Start
• Abstracción, madurez y videojuegos (2017) - Originally published on ZehnGames
• Console Wars, de Blake J. Harris (2017) - Published on Start
• Prey y el simulador inmersivo como supragénero (2017) - Originally published on ZehnGames
• Flat Heroes: el multijugador matemático (2017) - Originally published on ZehnGames
• Dishonored 2: El agradable anacronismo de Arkane (2017) - Published on Start
• Life Is Strange y el analfabetismo videolúdico (2017) - Published on Start
• El lenguaje propio y la amistad interactiva en Journey y Majora’s Mask (2016) - Published on Start