Browsing by Author Barbosa, Luís Soares
Showing results 1 to 8 of 8
Issue Date | Title | Author(s) | Type | Access Type |
2023 | Capturing qubit decoherence through paraconsistent transition systems | Barbosa, Luís Soares; Madeira, Alexandre | conferenceObject |  |
14-Apr-2022 | A logic for paraconsistent transition systems | Cruz, Ana; Madeira, Alexandre; Barbosa, Luís Soares | article |  |
2018 | A note on reactive transitions and Reo connectors | Figueiredo, Daniel; Martins, Manuel A.; Barbosa, Luís Soares | bookPart |  |
2019 | Reactive models for biological regulatory networks | Figueiredo, Daniel; Barbosa, Luís Soares | bookPart |  |
13-Feb-2021 | A semantics and a logic for Fuzzy Arden Syntax | Gomes, Leandro; Madeira, Alexandre; Barbosa, Luís Soares | article |  |
Feb-2025 | Specification of paraconsistent transition systems, revisited | Cunha, Juliana; 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 |  |