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, Fernendo Orejas, Elvira Pino, Leen Lambres. 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 Systems for CTL and ECTL. Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021). Málaga.