Leandro Gomes

15 papers B 2C 1Misc 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2025 B conf
A Kleene Algebra with Tests for Union Bound Reasoning About Probabilistic Programs.
CSL
Leandro Gomes, Patrick Baillot, Marco Gaboardi
2025 B conf
BiGKAT: An Algebraic Framework for Relational Verification of Probabilistic Programs.
FoSSaCS
Leandro Gomes, Patrick Baillot, Marco Gaboardi
2025 J jnl
Towards determinism in PDL: relations and proof theory.
J. Log. Comput.
Mario R. F. Benevides, Leandro Gomes, Bruno Lopes
2022 — —
Weighted computations: semantics and program logics
Leandro Gomes
2022 J jnl
Weighted synchronous automata.
Math. Struct. Comput. Sci.
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2021 J jnl
A semantics and a logic for Fuzzy Arden Syntax.
Soft Comput.
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2021 Misc conf
Towards a specification theory for fuzzy modal logic.
TASE
Manisha Jain, Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2019 J jnl
Generalising KAT to Verify Weighted Computations.
Sci. Ann. Comput. Sci.
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2019 J jnl
Generalising KAT to verify weighted computations.
CoRR
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2019 — conf
Introducing Synchrony in Fuzzy Automata.
LSFA
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2019 — conf
Logics for Petri Nets with Propagating Failures.
FSEN
Leandro Gomes, Alexandre Madeira, Mario R. F. Benevides
2019 — conf
On the Construction of Multi-valued Concurrent Dynamic Logics.
DaLí
Leandro Gomes
2019 C conf
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs.
ICFEM
Leandro Gomes, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa
2019 J jnl
On the construction of multi-valued concurrent dynamic logic.
CoRR
Leandro Gomes
2017 — conf
On Kleene Algebras for Weighted Computation.
SBMF
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa