Editorial "Tools for Teaching Logic". - Hans van Ditmarsch; María Manzano (Log. J. IGPL, 2007)

Completeness in Hybrid Type Theory. - Carlos Areces; Patrick Blackburn; Antonia Huertas; María Manzano (J. Philos. Log., 2014)

Visions of Henkin. - María Manzano; Enrique Alonso (Synth., 2015)

FLEX End-to-End Mission Performance Simulator. - Jorge Vicent 001; Neus Sabater; Carolina Tenjo; Juan Ramon Acarreta; María Manzano; Juan Pablo Rivera; Pedro Jurado; Raffaella Franco; Luis Alonso 002; Jochem Verrelst; José F. Moreno (IEEE Trans. Geosci. Remote. Sens., 2016)

Leon Henkin: A Logician's View on Mathematics Education. - María Manzano; Nitsa Movshovitz-Hadar; Diane Resek (FLAP, 2017)

A note on Visions of Henkin. - María Manzano; Enrique Alonso (Synth., 2017)

Rigid First-Order Hybrid Logic. - Patrick Blackburn; Manuel A. Martins 001; María Manzano; Antonia Huertas (WoLLIC, 2019)

Completeness in Equational Hybrid Propositional Type Theory. - María Manzano; Manuel A. Martins 001; Antonia Huertas (Stud Logica, 2019)

Exorcising the phantom zone. - Patrick Blackburn; Manuel A. Martins 001; María Manzano; Antonia Huertas (Inf. Comput., 2022)

Propositional Type Theory of Indeterminacy. - Víctor Aranda; Manuel A. Martins 001; María Manzano (Stud Logica, 2024)

Hybrid Partial Type Theory. - María Manzano; Antonia Huertas; Patrick Blackburn; Manuel A. Martins 001; Víctor Aranda (J. Symb. Log., 2025)