On Kleene Algebras for Weighted Computation. - Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (SBMF, 2017)

Logics for Petri Nets with Propagating Failures. - Leandro Gomes 001; Alexandre Madeira; Mario R. F. Benevides (FSEN, 2019)

On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. - Leandro Gomes 001; Alexandre Madeira; Manisha Jain; Luís Soares Barbosa (ICFEM, 2019)

Introducing Synchrony in Fuzzy Automata. - Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (LSFA, 2019)

On the Construction of Multi-valued Concurrent Dynamic Logics. - Leandro Gomes 001 (DaLí, 2019)

On the construction of multi-valued concurrent dynamic logic. - Leandro Gomes 001 (CoRR, 2019)

Generalising KAT to Verify Weighted Computations. - Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (Sci. Ann. Comput. Sci., 2019)

Towards a specification theory for fuzzy modal logic. - Manisha Jain; Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (TASE, 2021)

A semantics and a logic for Fuzzy Arden Syntax. - Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (Soft Comput., 2021)

Weighted computations: semantics and program logics - Leandro Gomes 001 (2022)

Weighted synchronous automata. - Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (Math. Struct. Comput. Sci., 2022)

A Kleene Algebra with Tests for Union Bound Reasoning About Probabilistic Programs. - Leandro Gomes 001; Patrick Baillot; Marco Gaboardi (CSL, 2025)

BiGKAT: An Algebraic Framework for Relational Verification of Probabilistic Programs. - Leandro Gomes 001; Patrick Baillot; Marco Gaboardi (FoSSaCS, 2025)

Towards determinism in PDL: relations and proof theory. - Mario R. F. Benevides; Leandro Gomes 001; Bruno Lopes 001 (J. Log. Comput., 2025)