Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Confirmed Publications: 62



1
TITLE: A Fuzzy Modal Logic for Fuzzy Transition Systems
AUTHORS: Manisha Jain; Alexandre Madeira ; Manuel A Martins;
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, PUBLISHED: 2020
INDEXED IN: WOS CrossRef
IN MY: ORCID
2
TITLE: Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions
AUTHORS: Hennicker, R; Knapp, A; Madeira, A ; Mindt, F;
SOURCE: 2nd International Workshop on Dynamic Logic, DALI 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12005 LNCS, PUBLISHED: 2020
INDEXED IN: Scopus CrossRef
IN MY: ORCID
3
TITLE: DaLi - Dynamic Logic, new trends and applications
AUTHORS: Mario R F Benevides; Alexandre Madeira ;
SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 111, PUBLISHED: 2020
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
4
TITLE: DaLí - Dynamic Logic, new trends and applications
AUTHORS: Mario R F Benevides; Alexandre Madeira ;
SOURCE: J. Log. Algebraic Methods Program., VOLUME: 111, PUBLISHED: 2020
INDEXED IN: DBLP
IN MY: ORCID | DBLP
5
TITLE: Introducing Synchrony in Fuzzy Automata
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis Soares Barbosa ;
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, PUBLISHED: 2020
INDEXED IN: WOS CrossRef
IN MY: ORCID
6
TITLE: A Hybrid Dynamic Logic for Event/Data-based Systems PDF
AUTHORS: Rolf Hennicker; Alexandre Madeira ; Alexander Knapp;
SOURCE: CoRR, VOLUME: abs/1902.03074, PUBLISHED: 2019
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
7
TITLE: A Hybrid Dynamic Logic for Event/Data-Based Systems
AUTHORS: Rolf Hennicker; Alexandre Madeira ; Alexander Knapp;
SOURCE: Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science, PUBLISHED: 2019
INDEXED IN: CrossRef
IN MY: ORCID
8
TITLE: A hybrid dynamic logic for event/data-based systems
AUTHORS: Hennicker, R; Madeira, A ; Knapp, A;
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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11424 LNCS, PUBLISHED: 2019
INDEXED IN: Scopus
IN MY: ORCID
9
TITLE: A Hybrid Dynamic Logic for Event/Data-Based Systems
AUTHORS: Rolf Hennicker; Alexandre Madeira ; Alexander Knapp;
SOURCE: 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, PUBLISHED: 2019
INDEXED IN: DBLP
IN MY: ORCID | DBLP
10
TITLE: Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions
AUTHORS: Rolf Hennicker; Alexander Knapp; Alexandre Madeira ; Felix Mindt;
SOURCE: Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings, VOLUME: 12005, PUBLISHED: 2019
INDEXED IN: DBLP
IN MY: ORCID | DBLP
Page 1 of 7. Total results: 62.

A place for researchers and their institutions

Useful Links

Get Help

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