| 2026 | ISSAC | Learning Unions of Intersecting Affine Modules in One Dimension with Queries. | Eva Gonzlez Garcia, Montserrat Hermo, Anthony Widjaja Lin |
| 2024 | DATE | A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification. | Josu Oca, Montserrat Hermo, Alexander Bolotov |
| 2023 | FM | Tableaux for Realizability of Safety Specifications. | Montserrat Hermo, Paqui Lucio, Csar Snchez |
| 2020 | TIME | One-Pass Context-Based Tableaux Systems for CTL and ECTL. | Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio |
| 2019 | TIME | Towards Certified Model Checking for PLTL Using One-Pass Tableaux. | Alex Abuin, Alexander Bolotov, Unai Daz-de-Cerio, Montserrat Hermo, Paqui Lucio |
| 2018 | TIME | Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach. | Alexander Bolotov, Montserrat Hermo, Paqui Lucio |
| 2015 | ALT | Exact Learning of Multivalued Dependencies. | Montserrat Hermo, Ana Ozaki |
| 2007 | CSL | A Cut-Free and Invariant-Free Sequent Calculus for PLTL. | Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas |
| 2005 | MFCS | Goals in the Propositional Horn Language Are Monotone Boolean Circuits. | Joxe Gaintzarain, Montserrat Hermo, Marisa Navarro |
| 2002 | ISAIM | Negative Results on Learning Dependencies with Queries. | Montserrat Hermo, Vctor Lavn |
| 1999 | ALT | Learning Minimal Covers of Functional Dependencies with Queries. | Montserrat Hermo, Vctor Lavn |
| 1995 | STACS | On the Sparse Set Conjecture for Sets with Low Denisty. | Harry Buhrman, Montserrat Hermo |
| 1994 | MFCS | Degrees and Reducibilities of Easy Tally Sets. | Montserrat Hermo |