Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Publicações Confirmadas: 69



11
TÍTULO: Relating Kleene Algebras with Pseudo Uninorms
AUTORES: Benjamín R C Bedregal; Regivan H N Santiago; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2022, FONTE: DaLí, VOLUME: 13780 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 2
12
TÍTULO: Weighted synchronous automata
AUTORES: Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2022, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 32, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef
13
TÍTULO: A semantics and a logic for <i>Fuzzy Arden Syntax</i>
AUTORES: Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2021, FONTE: SOFT COMPUTING, VOLUME: 25, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
14
TÍTULO: Adding Proof Calculi to Epistemic Logics with Structured Knowledge
AUTORES: Mario R F Benevides; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2021, FONTE: FSEN, VOLUME: 12818 LNCS
INDEXADO EM: Scopus DBLP CrossRef
15
TÍTULO: Hybrid dynamic logic institutions for event/data-based systems
AUTORES: Hennicker, R; Knapp, A; Madeira, A ;
PUBLICAÇÃO: 2021, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 33, NÚMERO: 6
INDEXADO EM: WOS DBLP CrossRef: 2
16
TÍTULO: Observational interpretations of hybrid dynamic logic with binders and silent transitions
AUTORES: Hennicker, R; Knapp, A; Madeira, A ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 122
INDEXADO EM: Scopus WOS DBLP CrossRef
17
TÍTULO: Towards a specification theory for fuzzy modal logic
AUTORES: Jain, M; Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2021, FONTE: 15th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021)
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
18
TÍTULO: A Fuzzy Modal Logic for Fuzzy Transition Systems
AUTORES: Jain, M; Madeira, A ; Martins, MA ;
PUBLICAÇÃO: 2020, FONTE: 14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) / 27th International Conference on Automated Deduction (CADE) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 348
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
19
TÍTULO: Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions
AUTORES: Hennicker, R; Knapp, A; Madeira, A ; Mindt, F;
PUBLICAÇÃO: 2020, FONTE: 2nd International Workshop on Dynamic Logic (DaLi) as part of the Formal Methods Week / 3rd World Congress on Formal Methods in DYNAMIC LOGIC: NEW TRENDS AND APPLICATIONS, DALI 2019, VOLUME: 12005
INDEXADO EM: Scopus WOS DBLP CrossRef
20
TÍTULO: DaLi - Dynamic Logic, new trends and applications
AUTORES: Benevides, MRF; Madeira, A ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 111
INDEXADO EM: Scopus WOS DBLP CrossRef
Página 2 de 7. Total de resultados: 69.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service