Showing results 18 to 37 of 37
< previous
Issue Date | Title | Author(s) | Type | Access Type |
14-Apr-2022 | A logic for paraconsistent transition systems | Cruz, Ana; Madeira, Alexandre; Barbosa, Luís Soares | article | |
5-Oct-2018 | A logic for the stepwise development of reactive systems | Madeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A. | article | |
2019 | Logics for Petri nets with propagating failures | Gomes, Leandro; Madeira, Alexandre; Benevides, Mario | bookPart | |
15-Dec-2016 | A method for rigorous design of reconfigurable systems | Madeira, Alexandre; Neves, Renato; Barbosa, Luís S.; Martins, Manuel A. | article | |
Aug-2021 | Observational interpretations of hybrid dynamic logic with binders and silent transitions | Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre | article | |
15-Apr-2019 | On interval dynamic logic: Introducing quasi-action lattices | Santiago, Regivan; Bedregal, Benjamín; Madeira, Alexandre; Martins, Manuel A. | article | |
2019 | On the generation of equational dynamic logics for weighted imperative programs | Gomes, Leandro; Madeira, Alexandre; Jain, Manisha; Barbosa, Luis S. | bookPart | |
23-Mar-2023 | Paraconsistent transition systems | Cruz, Ana; Madeira, Alexandre; Barbosa, Luís S. | article | |
14-Mar-2016 | Proof theory for hybrid(ised) logics | Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luis S. | article | |
Oct-2023 | Recent trends in algebraic development techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers | Madeira, Alexandre; Martins, Manuel A. | book | |
19-Dec-2014 | Refinement in hybridised institutions | Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luis S.; Hennicker, Rolf | article | |
2023 | Relating Kleene algebras with pseudo uninorms | Bedregal, Benjamin; Santiago, Regivan; Madeira, Alexandre; Martins, Manuel A. | bookPart | |
2-Apr-2016 | Reuse and integration of specification logics: the hybridisation perspective | Barbosa, Luís S.; Martins, Manuel A.; Madeira, Alexandre; Neves, Renato | bookPart | |
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 | |