| Generalising KAT to verify weighted computations L Gomes, A Madeira, LS Barbosa arXiv preprint arXiv:1911.01146, 2019 | 14 | 2019 |
| On Kleene algebras for weighted computation L Gomes, A Madeira, LS Barbosa Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF …, 2017 | 8 | 2017 |
| On the construction of multi-valued concurrent dynamic logics L Gomes International Workshop on Dynamic Logic, 218-226, 2019 | 4 | 2019 |
| Towards a specification theory for fuzzy modal logic LSB Manisha Jain, Leandro Gomes, Alexandre Madeira 2021 International Symposium on Theoretical Aspects of Software Engineering …, 2021 | 3 | 2021 |
| A semantics and a logic for Fuzzy Arden Syntax L Gomes, A Madeira, LS Barbosa Soft Computing 25 (9), 6789-6805, 2021 | 3 | 2021 |
| Introducing synchrony in fuzzy automata L Gomes, A Madeira, LS Barbosa Electronic Notes in Theoretical Computer Science 348, 43-60, 2020 | 2 | 2020 |
| Logics for Petri nets with propagating failures L Gomes, A Madeira, M Benevides Fundamentals of Software Engineering: 8th International Conference, FSEN …, 2019 | 2 | 2019 |
| On the generation of equational dynamic logics for weighted imperative programs L Gomes, A Madeira, M Jain, LS Barbosa Formal Methods and Software Engineering: 21st International Conference on …, 2019 | 2 | 2019 |
| BiGKAT: an algebraic framework for relational verification of probabilistic programs L Gomes, P Baillot, M Gaboardi | 1 | 2023 |
| On the construction of multi-valued concurrent dynamic logic L Gomes arXiv preprint arXiv:1911.00462, 2019 | 1 | 2019 |
| A Kleene algebra with tests for union bound reasoning about probabilistic programs L Gomes, P Baillot, M Gaboardi | | 2024 |
| Towards determinism in PDL: relations and proof theory M Benevides, L Gomes, B Lopes Journal of Logic and Computation, exae022, 2024 | | 2024 |
| Weighted synchronous automata LSB Leandro Gomes, Alexandre Madeira Mathematical Structures in Computer Science 32 (9), 1234 - 1253, 2023 | | 2023 |
| Weighted Computations: Semantics and Program Logics/Computações Pesadas: Semânticas e Lógicas de Programas LRM Gomes Universidade do Minho (Portugal), 2022 | | 2022 |
| Weighted computations: semantics and program logics L Gomes Universidade do Minho, 2022 | | 2022 |
| Generalising KAT to Verify Weighted Computations LS Barbosa, A Madeira, LR Gomes | | 2019 |
| FUNÇÃO INVERSA: ABORDAGEM EXPLORATÓRIA USANDO A CALCULADORA GRÁFICA L Gomes Universidade de Aveiro, 2012 | | 2012 |
| Publications@ FII L Gomes, A Madeira, LS Barbosa | | |
