Fernando Orejas, Elvira Pino, Marisa Navarro and Leen Lambers. Institutions for Navigational Logics for Graphical Structures. Theoretical Computer Science. Volume 741: 19-24

Leen Lambers, Marisa Navarro, Fernando Orejas, and Elvira Pino. Towards a Navigational Logic for Graphical Structures. Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Springer Lecture Notes in Computer Science 10800: 124-141

Montserrat Hermo and Ana Ozaki. Exact learning of multivalued dependency formulas. Theoretical Computer Science 716: 4-14

Alexander Bolotov, Montserrat Hermo, Paqui Lucio. Extended Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach. 25th International Symposium on Temporal Representation and Reasoning (TIME 2018)- Leibniz International Proceedings in Informatics (LIPIcs), Vol. 120, 5:1-5:22

Alex Abuin, Unai Díaz de Cerio, Montserrat Hermo and Paqui Lucio. Context-based Model Checking using SMT-solvers. In F. Durán (ed.): Actas de las XVIII Jornadas de Programación y Lenguajes: (PROLE 2018)

Javier Álvez, Itziar Gonzalez-Dios, German Rigau. Cross-checking WordNet and SUMO Using Meronymy. earnability of Solutions to Conjunctive Queries: The Full Dichotomy. 11th International Conference on Language Resources and Evaluation (LREC 2018)