Mauricio Martel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2017–2022
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICTAC | A PO Characterisation of Reconfiguration. | Yehia Abd Alrahman, Mauricio Martel, Nir Piterman |
| 2018 | ICDT | Querying the Unary Negation Fragment with Regular Path Expressions. | Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider |
| 2017 | ICALP | Conservative Extensions in Guarded and Two-Variable Fragments. | Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter |
| 2017 | IJCAI | Query Conservative Extensions in Horn Description Logics with Inverse Roles. | Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider |
| 2017 | TABLEAUX | Undecidability of Relation-Changing Modal Logics. | Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel |