Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Publicações Confirmadas: 69



31
TÍTULO: A Research Agenda on Quantum Algoritmics
AUTORES: Barbosa, LS ; Madeira, A ;
PUBLICAÇÃO: 2018, FONTE: ERCIM NEWS, VOLUME: 2018, NÚMERO: 113
INDEXADO EM: WOS DBLP
32
TÍTULO: Behavioural and abstractor specifications revisited
AUTORES: Hennicker, R; Madeira, A ; Wirsing, M;
PUBLICAÇÃO: 2018, FONTE: Conference on European Theory and Practice of Software (ETAPS) in THEORETICAL COMPUTER SCIENCE, VOLUME: 741
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
33
TÍTULO: Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
AUTORES: Alexandre Madeira ; Mário Benevides;
PUBLICAÇÃO: 2018, FONTE: DALI@TABLEAUX, VOLUME: 10669
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
34
TÍTULO: Hierarchical Hybrid Logic
AUTORES: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
35
TÍTULO: Preface
AUTORES: Benevides, M; Madeira, A ;
PUBLICAÇÃO: 2018, FONTE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID
36
TÍTULO: Verification for Everyone? An Overview of Dynamic Logic
AUTORES: Alexandre Madeira ;
PUBLICAÇÃO: 2018, FONTE: 1st International Symposium on Molecular Logic and Computational Synthetic Biology, MLCSB 2018 in Molecular Logic and Computational Synthetic Biology - First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers, VOLUME: 11415
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
37
TÍTULO: Institutions for Behavioural Dynamic Logic with Binders
AUTORES: Rolf Hennicker; Alexandre Madeira ;
PUBLICAÇÃO: 2017, FONTE: ICTAC, VOLUME: 10580 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
38
TÍTULO: On Kleene Algebras for Weighted Computation
AUTORES: Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2017, FONTE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
39
TÍTULO: A method for rigorous design of reconfigurable systems
AUTORES: Madeira, A ; Neves, R ; Barbosa, LS ; Martins, MA ;
PUBLICAÇÃO: 2016, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
40
TÍTULO: An exercise on the generation of many-valued dynamic logics
AUTORES: Madeira, A ; Neves, R ; Martins, MA ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
Página 4 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