| Satisfiability for relation-changing logics C Areces, R Fervari, G Hoffmann, M Martel Journal of Logic and Computation 28 (7), 1443-1470, 2018 | 22 | 2018 |
| Querying the unary negation fragment with regular path expressions JC Jung, C Lutz, M Martel, T Schneider 21st International Conference on Database Theory (ICDT 2018), 2018 | 16 | 2018 |
| Relation-changing logics as fragments of hybrid logics C Areces, R Fervari, G Hoffmann, M Martel arXiv preprint arXiv:1609.04086, 2016 | 15 | 2016 |
| Conservative extensions in guarded and two-variable fragments JC Jung, C Lutz, M Martel, T Schneider, F Wolter arXiv preprint arXiv:1705.10115, 2017 | 14 | 2017 |
| Undecidability of relation-changing modal logics C Areces, R Fervari, G Hoffmann, M Martel Dynamic Logic. New Trends and Applications: First International Workshop …, 2018 | 12 | 2018 |
| Query Conservative Extensions in Horn Description Logics with Inverse Roles JC Jung, C Lutz, M Martel, T Schneider IJCAI, 1116-1122, 2017 | 8 | 2017 |
| Conservative extensions in horn description logics with inverse roles JC Jung, C Lutz, M Martel, T Schneider Journal of Artificial Intelligence Research 68, 365-411, 2020 | 6 | 2020 |
| Conservative Extensions and Satisfiability in Fragments of First-Order Logic: Complexity and Expressive Power M Martel Universität Bremen, 2018 | 3 | 2018 |
| On the Undecidability of Relation-Changing Logics M Martel Universidad Nacional de Río Cuarto, 2015 | 2 | 2015 |
| A PO Characterisation of Reconfiguration Y Abd Alrahman, M Martel, N Piterman International Colloquium on Theoretical Aspects of Computing, 42-59, 2022 | | 2022 |
| Una propuesta para promover la articulación entre temas básicos de álgebra y computación MA Martel, ME Markiewicz Revista de Educación Matemática (RevEM), 10, 2012 | | 2012 |
