Ander Alonso, Montserrat Hermo, Josu Oca. Towards an efficient implementation of a tableau method for reactive safety specifications. J. Log. Algebraic Methods Program. 142: 101003 (2025).

Javier Álvez, Montserrat Hermo, Jose Antonio Pascual, Alejandro Perez. ​​​​Towards Massive Unification. Actas de las XXIV Jornadas de Programación y Lenguajes (PROLE 2025).

Montserrat Hermo, Ander Alonso, Markel Barrena. Proving Correctness of Prolem Reductions Using Dafny. Actas de las XXIV Jornadas de Programación y Lenguajes (PROLE 2025).