Browsing by Author Madeira, Alexandre
Showing results 31 to 37 of 37
< previous
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
13-Feb-2021 | A semantics and a logic for Fuzzy Arden Syntax | Gomes, Leandro; Madeira, Alexandre; Barbosa, Luís Soares | article | |
27-Jun-2023 | Stepwise development of paraconsistent processes | Cunha, Juliana; Madeira, Alexandre; Barbosa, Luís Soares | bookPart | |
2023 | Structured specification of paraconsistent transition systems | Cunha, Juliana; Madeira, Alexandre; Barbosa, Luís Soares | article | |
2019 | Taming hierarchical connectors | Proença, José; Madeira, Alexandre | bookPart | |
2021 | Towards a specification theory for fuzzy modal logic | Jain, Manisha; Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis S. | bookPart | |
2019 | Verification for Everyone? An Overview of Dynamic Logic | Madeira, Alexandre | bookPart | |
2023 | Weighted synchronous automata | Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis Soares | article |