Emerson Sales

According to our database, Emerson Sales authored at least 5 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Accurate Static Data Race Detection for C.

Emerson Sales, Omar Inverso, Emilio Tuosto

Proceedings of the Formal Methods - 26th International Symposium, 2024

2022

Separability and harmony in ecumenical systems.

Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales

CoRR, 2022

A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution).

Alex Coto, Omar Inverso, Emerson Sales, Emilio Tuosto

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

A Pure View of Ecumenical Modalities.

Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales

Proceedings of the Logic, Language, Information, and Computation, 2021

2020

Ecumenical Modal Logic.

Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales

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