Leandro Gomes

According to our database, Leandro Gomes authored at least 14 papers between 2017 and 2025.

Collaborative distances:

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

2025

Towards determinism in PDL: relations and proof theory.

Mario R. F. Benevides, Leandro Gomes, Bruno Lopes

J. Log. Comput., 2025

BiGKAT: An Algebraic Framework for Relational Verification of Probabilistic Programs.

Leandro Gomes, Patrick Baillot, Marco Gaboardi

Proceedings of the Foundations of Software Science and Computation Structures, 2025

A Kleene Algebra with Tests for Union Bound Reasoning About Probabilistic Programs.

Leandro Gomes, Patrick Baillot, Marco Gaboardi

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2022

Weighted synchronous automata.

Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Math. Struct. Comput. Sci., October, 2022

Weighted computations: semantics and program logics

Leandro Gomes

PhD thesis, 2022

2021

A semantics and a logic for Fuzzy Arden Syntax.

Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Soft Comput., 2021

Towards a specification theory for fuzzy modal logic.

Manisha Jain, Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

2019

Generalising KAT to Verify Weighted Computations.

Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Sci. Ann. Comput. Sci., 2019

On the construction of multi-valued concurrent dynamic logic.

Leandro Gomes

CoRR, 2019

On the Construction of Multi-valued Concurrent Dynamic Logics.

Leandro Gomes

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

Introducing Synchrony in Fuzzy Automata.

Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

On the Generation of Equational Dynamic Logics for Weighted Imperative Programs.

Leandro Gomes, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa

Proceedings of the Formal Methods and Software Engineering, 2019

Logics for Petri Nets with Propagating Failures.

Leandro Gomes, Alexandre Madeira, Mario R. F. Benevides

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

2017

On Kleene Algebras for Weighted Computation.

Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017