Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Confirmed Publications: 55



1
TITLE: A Logic for Paraconsistent Transition Systems
AUTHORS: Ana Cruz; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2022, SOURCE: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022., VOLUME: 358
INDEXED IN: DBLP
IN MY: ORCID | DBLP
2
TITLE: A semantics and a logic for Fuzzy Arden Syntax  Full Text
AUTHORS: Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
3
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 CrossRef
IN MY: ORCID
4
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: WOS DBLP CrossRef
IN MY: ORCID | DBLP
5
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
IN MY: ORCID | DBLP
6
TITLE: DaLi - Dynamic Logic, new trends and applications
AUTHORS: Mario R F Benevides; Alexandre Madeira ;
PUBLISHED: 2020, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 111
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
7
TITLE: Introducing Synchrony in Fuzzy Automata
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis Soares Barbosa ;
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
IN MY: ORCID | DBLP
8
TITLE: A Hybrid Dynamic Logic for Event/Data-Based Systems
AUTHORS: Rolf Hennicker; Alexandre Madeira ; Alexander Knapp;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 in Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, VOLUME: 11424
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
9
TITLE: A Hybrid Dynamic Logic for Event/Data-based Systems PDF
AUTHORS: Rolf Hennicker; Alexandre Madeira ; Alexander Knapp;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1902.03074
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
10
TITLE: Epistemic Logics with Structured Knowledge
AUTHORS: Alexandre Madeira ; Manuel A Martins; Mario R F Benevides;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
Page 1 of 6. Total results: 55.

footer slogan

Useful Links

Get Help

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