The Selfish Algorithm. - Eduardo Hermo Reyes; Joost J. Joosten (CoRR, 2014)

Interacting Behavior and Emerging Complexity. - Alyssa M. Adams; Hector Zenil; Eduardo Hermo Reyes; Joost J. Joosten (CoRR, 2015)

Relational Semantics for the Turing Schmerl Calculus. - Eduardo Hermo Reyes; Joost J. Joosten (Advances in Modal Logic, 2018)

A Self-contained Provability Calculus for Γ0. - David Fernández-Duque; Eduardo Hermo Reyes (WoLLIC, 2019)

The Logic of Turing Progressions. - Eduardo Hermo Reyes (2019)

The Logic of Turing Progressions. - Eduardo Hermo Reyes; Joost J. Joosten (Notre Dame J. Formal Log., 2020)

FV Time: a formally verified Coq library. - Ana de Almeida Borges; Mireia González Bedmar; Juan José Conejero Rodríguez; Eduardo Hermo Reyes; Joaquim Casals Buñuel; Joost J. Joosten (CoRR, 2022)

Deducibility and independence in Beklemishev's autonomous provability calculus. - David Fernández-Duque; Eduardo Hermo Reyes (Inf. Comput., 2022)

UTC Time, Formally Verified. - Ana de Almeida Borges; Mireia González Bedmar; Juan José Conejero Rodríguez; Eduardo Hermo Reyes; Joaquim Casals Buñuel; Joost J. Joosten (CPP, 2024)