Mostrar resultados 9-28 de 37.
< anterior
próximo >
| Data | Título | Autor(es) | Tipo | Acesso |
| 23-Set-2017 | A family of graded epistemic logics | Benevides, Mário; Madeira, Alexandre; Martins, Manuel A. | conferenceObject |  |
| 26-Out-2018 | A family of graded epistemic logics | Benevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A. | article | |
| Mar-2020 | A fuzzy modal logic for fuzzy transition systems | Jain, Manisha; Madeira, Alexandre; Martins, Manuel A. | article |  |
| 2019 | Generalising KAT to verify weighted computations | Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis S. | article | |
| Fev-2022 | Graded epistemic logic with public announcement | Benevides, Mário; Madeira, Alexandre; Martins, Manuel A. | article | |
| 2019 | A hybrid dynamic logic for event/data-based systems | Hennicker, Rolf; Madeira, Alexandre; Knapp, Alexander | bookPart | |
| 29-Jul-2021 | Hybrid dynamic logic institutions for event/data-based systems | Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre | article | |
| Jun-2023 | idDL2DL – interval syntax to dL | Santos, Jaime; Figueiredo, Daniel; Madeira, Alexandre | bookPart |  |
| 1-Mar-2020 | Introducing synchrony in fuzzy automata | Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis Soares | article | |
| 14-Abr-2022 | A logic for paraconsistent transition systems | Cruz, Ana; Madeira, Alexandre; Barbosa, Luís Soares | article | |
| 5-Out-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-Dez-2016 | A method for rigorous design of reconfigurable systems | Madeira, Alexandre; Neves, Renato; Barbosa, Luís S.; Martins, Manuel A. | article | |
| Ago-2021 | Observational interpretations of hybrid dynamic logic with binders and silent transitions | Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre | article | |
| 15-Abr-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 | |
| Out-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-Dez-2014 | Refinement in hybridised institutions | Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luis S.; Hennicker, Rolf | article | |