Relation-Changing Logics as Fragments of Hybrid Logics. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001; Mauricio Martel (GandALF, 2016)

Conservative Extensions in Guarded and Two-Variable Fragments. - Jean Christoph Jung; Carsten Lutz; Mauricio Martel; Thomas Schneider 002; Frank Wolter (ICALP, 2017)

Query Conservative Extensions in Horn Description Logics with Inverse Roles. - Jean Christoph Jung; Carsten Lutz; Mauricio Martel; Thomas Schneider 002 (IJCAI, 2017)

Undecidability of Relation-Changing Modal Logics. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001; Mauricio Martel (DALI@TABLEAUX, 2017)

Querying the Unary Negation Fragment with Regular Path Expressions. - Jean Christoph Jung; Carsten Lutz; Mauricio Martel; Thomas Schneider 002 (ICDT, 2018)

Satisfiability for relation-changing logics. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001; Mauricio Martel (J. Log. Comput., 2018)

Conservative Extensions and Satisfiability in Fragments of First-Order Logic: Complexity and Expressive Power. - Mauricio Martel (2018)

Conservative Extensions in Horn Description Logics with Inverse Roles. - Jean Christoph Jung; Carsten Lutz; Mauricio Martel; Thomas Schneider 002 (J. Artif. Intell. Res., 2020)

Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue. - Yehia Abd Alrahman; Mauricio Martel; Nir Piterman (CoRR, 2021)

A PO Characterisation of Reconfiguration. - Yehia Abd Alrahman; Mauricio Martel; Nir Piterman (ICTAC, 2022)