Browsing by Author Gomes, Leandro
Showing results 1 to 7 of 7
| Issue Date | Title | Author(s) | Type | Access Type |
| 2019 | Generalising KAT to verify weighted computations | Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis S. | article |  |
| 1-Mar-2020 | Introducing synchrony in fuzzy automata | Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis Soares | article | |
| 2019 | Logics for Petri nets with propagating failures | Gomes, Leandro; Madeira, Alexandre; Benevides, Mario | bookPart | |
| 2019 | On the generation of equational dynamic logics for weighted imperative programs | Gomes, Leandro; Madeira, Alexandre; Jain, Manisha; Barbosa, Luis S. | bookPart | |
| 13-Feb-2021 | A semantics and a logic for Fuzzy Arden Syntax | Gomes, Leandro; Madeira, Alexandre; Barbosa, Luís Soares | article |  |
| 2021 | Towards a specification theory for fuzzy modal logic | Jain, Manisha; Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis S. | bookPart |  |
| 2023 | Weighted synchronous automata | Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis Soares | article | |