Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Confirmed Publications: 69



11
TITLE: Relating Kleene Algebras with Pseudo Uninorms
AUTHORS: Benjamín R C Bedregal; Regivan H N Santiago; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2022, SOURCE: DaLí, VOLUME: 13780 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
12
TITLE: Weighted synchronous automata
AUTHORS: Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLISHED: 2022, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 32, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef
13
TITLE: A semantics and a logic for <i>Fuzzy Arden Syntax</i>
AUTHORS: Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 3
14
TITLE: Adding Proof Calculi to Epistemic Logics with Structured Knowledge
AUTHORS: Mario R F Benevides; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2021, SOURCE: FSEN, VOLUME: 12818 LNCS
INDEXED IN: Scopus DBLP CrossRef
15
TITLE: Hybrid dynamic logic institutions for event/data-based systems
AUTHORS: Hennicker, R; Knapp, A; Madeira, A ;
PUBLISHED: 2021, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 33, ISSUE: 6
INDEXED IN: WOS DBLP CrossRef: 2
16
TITLE: Observational interpretations of hybrid dynamic logic with binders and silent transitions
AUTHORS: Hennicker, R; Knapp, A; Madeira, A ;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 122
INDEXED IN: Scopus WOS DBLP CrossRef
17
TITLE: Towards a specification theory for fuzzy modal logic
AUTHORS: Jain, M; Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: 15th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021)
INDEXED IN: Scopus WOS DBLP CrossRef: 2
18
TITLE: A Fuzzy Modal Logic for Fuzzy Transition Systems
AUTHORS: Jain, M; Madeira, A ; Martins, MA ;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 17
19
TITLE: Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions
AUTHORS: Hennicker, R; Knapp, A; Madeira, A ; Mindt, F;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef
20
TITLE: DaLi - Dynamic Logic, new trends and applications
AUTHORS: Benevides, MRF; Madeira, A ;
PUBLISHED: 2020, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 111
INDEXED IN: Scopus WOS DBLP CrossRef
Page 2 of 7. Total results: 69.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service