Get started
Author

Leandro Gomes

Observed names: Gomes, Leandro, Gomes, Leandro Rafael Moreira
Observed institutions: Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, Université de Lille, Institute for Systems Engineering and Computers, INESC TEC, Centre de Recherche en Informatique, Signal et Automatique de Lille, SYCOMORES: Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires, Centrale Lille Institut, University of Minho
ORCID: 0000-0003-1180-0620
Observed ORCID: 0000-0003-1180-0620
OpenAlex ID: A5038172142
Generalising KAT to Verify Weighted Computations
2019 · Leandro Gomes, Alexandre Madeira, et al. · Scientific Annals of Computer Science · 12
PDF
On Kleene Algebras for Weighted Computation
2017 · Leandro Gomes, Alexandre Madeira, et al. · Lecture notes in computer science · 6
PDF
A semantics and a logic for Fuzzy Arden Syntax
2021 · Leandro Gomes, Alexandre Madeira, et al. · Soft Computing · 5
Towards determinism in PDL: relations and proof theory
2024 · Mario Benevides, Leandro Gomes, et al. · Journal of Logic and Computation · 3
PDF
Towards a specification theory for fuzzy modal logic
2021 · Manisha Jain, Leandro Gomes, et al. · International Symposium on Theoretical Aspects of Software Engineering (TASE) · 3
Introducing Synchrony in Fuzzy Automata
2020 · Leandro Gomes, Alexandre Madeira, et al. · Electronic Notes in Theoretical Computer Science · 3
PDF
A Kleene Algebra with Tests for Union Bound Reasoning About Probabilistic Programs
2025 · Gomes, Leandro, Baillot, Patrick, et al. · HAL · 2
PDF
BiGKAT: An Algebraic Framework for Relational Verification of Probabilistic Programs
2025 · Leandro Gomes, Patrick Baillot, et al. · Lecture notes in computer science · 1
PDF
On the Construction of Multi-valued Concurrent Dynamic Logics
2020 · Leandro Gomes · Lecture notes in computer science · 1
PDF
Generalising KAT to verify weighted computations
2019 · Gomes, Leandro, Madeira, Alexandre, et al. · arXiv (Cornell University) · 1
PDF
On the construction of multi-valued concurrent dynamic logic
2019 · Gomes, Leandro · arXiv (Cornell University) · 1
PDF
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs
2019 · Leandro Gomes, Alexandre Madeira, et al. · Lecture notes in computer science · 1
PDF
A proof system for upper and lower bounds in Probabilistic GKAT
2026 · Baillot, Patrick, de Rette, Corentin, et al. · HAL
A Kleene algebra with tests for union bound reasoning on probabilistic programs
2023 · Gomes, Leandro, Baillot, Patrick, et al. · HAL
PDF
Weighted synchronous automata
2022 · Leandro Gomes, Alexandre Madeira, et al. · Mathematical Structures in Computer Science
PDF
Logics for Petri Nets with Propagating Failures
2019 · Leandro Gomes, Alexandre Madeira, et al. · Lecture notes in computer science
PDF
Works count: 18
Citation count: 39
H-index: 3
I10-index: 1
Year
Topic
Type