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 graphs properties. J. Log. Algebraic Methods Program. 118: 100616.

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