Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Publicações Confirmadas: 71



11
TÍTULO: Graded epistemic logic with public announcement
AUTORES: Benevides, M; Madeira, A ; Martins, MA ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
12
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: 4th International Workshop on Dynamic Logic, DaLí 2022 in Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers, VOLUME: 13780
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
13
TÍTULO: A semantics and a logic for Fuzzy Arden Syntax  Full Text
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
NO MEU: ORCID | DBLP
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: 9th International Conference on Fundamentals of Software Engineering, FSEN 2021 in Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers, VOLUME: 12818
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
15
TÍTULO: Hybrid dynamic logic institutions for event/data-based systems  Full Text
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: 1
NO MEU: ORCID | DBLP
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 CrossRef
NO MEU: ORCID
17
TÍTULO: Observational interpretations of hybrid dynamic logic with binders and silent transitions
AUTORES: Rolf Hennicker; Alexander Knapp; Alexandre Madeira ;
PUBLICAÇÃO: 2021, FONTE: J. Log. Algebraic Methods Program., VOLUME: 122
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
18
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
NO MEU: ORCID | DBLP
19
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: WOS DBLP CrossRef: 12
NO MEU: ORCID | DBLP
20
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
NO MEU: ORCID | DBLP
Página 2 de 8. Total de resultados: 71.

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

Links Úteis

Ajuda

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