Generalising KAT to verify weighted computations L Gomes, A Madeira, LS Barbosa arXiv preprint arXiv:1911.01146, 2019 | 13 | 2019 |
On Kleene Algebras for Weighted Computation L Gomes, A Madeira, LS Barbosa Brazilian Symposium on Formal Methods, 271-286, 2017 | 6 | 2017 |
A semantics and a logic for Fuzzy Arden Syntax L Gomes, A Madeira, LS Barbosa Soft Computing, 1-17, 2021 | 3 | 2021 |
Introducing Synchrony in Fuzzy Automata L Gomes, A Madeira, LS Barbosa Electronic Notes in Theoretical Computer Science 348, 43-60, 2020 | 3 | 2020 |
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 | 2 | 2021 |
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs L Gomes, A Madeira, M Jain, LS Barbosa International Conference on Formal Engineering Methods, 154-169, 2019 | 2 | 2019 |
On the Construction of Multi-valued Concurrent Dynamic Logics L Gomes International Workshop on Dynamic Logic, 218-226, 2019 | 2 | 2019 |
Logics for Petri nets with propagating failures L Gomes, A Madeira, M Benevides International Conference on Fundamentals of Software Engineering, 145-157, 2019 | 2 | 2019 |
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 L Gomes Universidade do Minho, 2022 | | 2022 |
FUNÇÃO INVERSA: ABORDAGEM EXPLORATÓRIA USANDO A CALCULADORA GRÁFICA L Gomes Universidade de Aveiro, 2012 | | 2012 |