Javier Álvez, Montserrat Hermo, Paqui Lucio, German Rigau. Automatic white-box testing of first-order logic ontologies. Journal of Logic and Computation, Volume 29, Issue 5:723–751.

Javier Álvez, Paqui Lucio, German Rigau. A Framework for the Evaluation of SUMO-based Ontologies Using WordNet. IEEE Access, Volume 7: 36075-36093.

Alex Abuin, Alexander Bolotov, Unai Diaz de Cerio, Montserrat Hermo, Paqui Lucio. Towards Certified Model Checking for PLTL using One-pass Tableaux. 26th International Symposium on Temporal Representation and Reasoning (TIME 2019), Leibniz International Proceedings in Informatics (LIPIcs), Volume 147.

Alex Abuin, Alexander Bolotov, Unai Diaz de Cerio, Montserrat Hermo, Paqui Lucio. Using Contexts in Tableaux for PLTL: An illustrative Example. Proceedings of Automated Reasoning Workshop 2019, London, 2th - 3th September 2019.

Itziar Gonzalez-Dios, Javier Álvez, German Rigau. Exploiting Metonymy from Available Knowledge Resources.  Proceedings of the 20th International Conference on Computational Linguistics and Intelligent Text Processing (CICLing 2019).

Itziar Gonzalez-Dios, Javier Álvez, German Rigau. Common-sense Reasoning Using WordNet and SUMO: a Detailed Analysis. Proceedings of the 10th Global WordNet Conference (GWC 2019).

Elvira Pino, Marisa Navarro, Fernando Orejas. Incremental Concurrent Synchronization with Conflict Resolution. Actas de las XIX Jornadas sobre Programación y Lenguajes (PROLE 2019). 

Alexander Bolotov, Montserrat Hermo, Paqui Lucio. Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach (Extended Abstract). Actas de las XIX Jornadas sobre Programación y Lenguajes (PROLE 2019).