articulos2021-nuevo

2021

  • 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.