Ezequiel José Veloso Ferreira Moreira

According to our database¹, Ezequiel José Veloso Ferreira Moreira authored at least 3 papers between 2020 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

A Language for Explaining Counterexamples.

[BibT_eX]

[DOI]

Proceedings of the 13th Symposium on Languages, Applications and Technologies, 2024

2023

Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language.

[BibT_eX]

[DOI]

Proceedings of the Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium, 2023

2020

SPARQLing Neo4J (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the 9th Symposium on Languages, Applications and Technologies, 2020