Computer Science
Prime Implicant Enumeration via QBF Solvers, by Noel Arteche and Montserrat Hermo (2021). In the QBF Workshop 2021 at the 24th conference in Theory and Applications of Satisfiability Testing (SAT 2021).
A Formal Language for QBF Family Definitions, by Noel Arteche and Matthias van der Hallen (2020) . In the QBF Workshop 2020 at the 23rd conference in Theory and Applications of Satisfiability Testing (SAT 2020).
My Master's thesis
Parameterized Compilability (2022) - University of Amsterdam
My Bachelor's thesis
A Formal Language and Tool for QBF Family Definitions (2020) - University of the Basque Country / KU Leuven
Unpublished
Notes
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