Mauricio Martel

Orcid: 0000-0002-0480-0801

According to our database¹, Mauricio Martel authored at least 10 papers between 2016 and 2022.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2022

A PO Characterisation of Reconfiguration.

[BibT_eX]

[DOI]

Yehia Abd Alrahman

Mauricio Martel

Nir Piterman

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue.

[BibT_eX]

[DOI]

Yehia Abd Alrahman

Mauricio Martel

Nir Piterman

CoRR, 2021

2020

Conservative Extensions in Horn Description Logics with Inverse Roles.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2020

2018

Conservative Extensions and Satisfiability in Fragments of First-Order Logic: Complexity and Expressive Power.

[BibT_eX]

[DOI]

Mauricio Martel

PhD thesis, 2018

Satisfiability for relation-changing logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2018

Querying the Unary Negation Fragment with Regular Path Expressions.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Database Theory, 2018

2017

Undecidability of Relation-Changing Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Logic. New Trends and Applications, 2017

Query Conservative Extensions in Horn Description Logics with Inverse Roles.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Conservative Extensions in Guarded and Two-Variable Fragments.

[BibT_eX]

[DOI]

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016

Relation-Changing Logics as Fragments of Hybrid Logics.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Games, 2016

Mauricio Martel

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...