Montserrat Hermo, Noel Arteche. Prime Implicant Enumeration via QBF Solvers. International Workshop on Quantified Boolean Formulas and Beyond.

Alex Abuin, Unai Díaz de Cerio, Montserrat Hermo, Paqui Lucio. Verified Model Checking for Conjunctive Positive Logic. SN Comput. Sci. 2(5): 344.

Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers. A navigational logic for reasoning about graph properties. J. Log. Algebraic Methods Program. 118: 100616

Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio. One-Pass Context-Based Tableaux System for CTL and ECTL. Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021). Málaga.