| A cut-free and invariant-free sequent calculus for PLTL J Gaintzarain, M Hermo, P Lucio, M Navarro, F Orejas International Workshop on Computer Science Logic, 481-495, 2007 | 38 | 2007 |
| Dual systems of tableaux and sequents for PLTL J Gaintzarain, M Hermo, P Lucio, M Navarro, F Orejas The Journal of Logic and Algebraic Programming 78 (8), 701-722, 2009 | 34 | 2009 |
| The structure of logarithmic advice complexity classes JL Balcázar, M Hermo Theoretical Computer Science 207 (1), 217-244, 1998 | 26 | 1998 |
| Systematic semantic tableaux for PLTL J Gaintzarain, M Hermo, P Lucio, M Navarro Electronic Notes in Theoretical Computer Science 206, 59-73, 2008 | 20 | 2008 |
| Characterizations of logarithmic advice complexity classes JL Balcázar, M Hermo, E Mayordomo Proceedings of the IFIP 12th World Computer Congress on Algorithms, Software …, 1992 | 19 | 1992 |
| A note on polynomial-size circuits with low resource-bounded Kolmogorov complexity M Hermo, E Mayordomo Mathematical systems theory 27, 347-356, 1994 | 17 | 1994 |
| Learning minimal covers of functional dependencies with queries M Hermo, V Lavín International Conference on Algorithmic Learning Theory, 291-300, 1999 | 12 | 1999 |
| Nonuniform complexity classes with sub-linear advice functions M Hermo BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 60, 302-304, 1996 | 11 | 1996 |
| Compressibility of infinite binary sequences JL Balcázar, R Gavalda, M Hermo Complexity, logic, and recursion theory, 75-91, 2019 | 9 | 2019 |
| Automatic white-box testing of first-order logic ontologies J Álvez, M Hermo, P Lucio, G Rigau Journal of Logic and Computation 29 (5), 723-751, 2019 | 8 | 2019 |
| Exact learning: On the boundary between horn and CNF M Hermo, A Ozaki ACM Transactions on Computation Theory (TOCT) 12 (1), 1-25, 2020 | 7 | 2020 |
| Towards certified model checking for PLTL using one-pass tableaux A Abuin, A Bolotov, U de Cerio, M Hermo, P Lucio Leibniz International Proceedings in Informatics 147, 12, 2019 | 7 | 2019 |
| Invariant-free clausal temporal resolution J Gaintzarain, M Hermo, P Lucio, M Navarro, F Orejas Journal of automated reasoning 50, 1-49, 2013 | 7 | 2013 |
| Extending fairness expressibility of ECTL+: a tree-style one-pass tableau approach A Bolotov, M Hermo, P Lucio 25th International Symposium on Temporal Representation and Reasoning (TIME …, 2018 | 6 | 2018 |
| Negative results on learning multivalued dependencies with queries VL Puente, M Hermo Information processing letters 111 (19), 968-972, 2011 | 6 | 2011 |
| Negative Results on Learning Dependencies with Queries. M Hermo, V Lavín AI&M, 2002 | 6 | 2002 |
| Compressibility and uniform complexity M Hermo Information processing letters 62 (5), 259-264, 1997 | 6 | 1997 |
| Degrees and reducibilities of easy tally sets M Hermo Mathematical Foundations of Computer Science 1994: 19th International …, 1994 | 6 | 1994 |
| One-pass context-based tableaux systems for CTL and ECTL A Abuin, A Bolotov, M Hermo, P Lucio Leibniz International Proceedings in Informatics 178, 14, 2020 | 5 | 2020 |
| Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+ A Bolotov, M Hermo, P Lucio Theoretical Computer Science 813, 428-451, 2020 | 5 | 2020 |
Paqui Lucio CarrascoUniversity of the Basque CountryEmail verificata su ehu.es
