Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Publicações Confirmadas: 71



31
TÍTULO: A Family of Graded Epistemic Logics
AUTORES: Mario R F Benevides; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
32
TÍTULO: A logic for the stepwise development of reactive systems  Full Text
AUTORES: Alexandre Madeira ; Luis S Barbosa ; Rolf Hennicker; Manuel A Martins ;
PUBLICAÇÃO: 2018, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | DBLP
33
TÍTULO: A Research Agenda on Quantum Algoritmics
AUTORES: Luis S Barbosa ; Alexandre Madeira ;
PUBLICAÇÃO: 2018, FONTE: ERCIM NEWS, VOLUME: 2018, NÚMERO: 113
INDEXADO EM: WOS DBLP
NO MEU: ORCID | DBLP
34
TÍTULO: Behavioural and abstractor specifications revisited  Full Text
AUTORES: Rolf Hennicker; Alexandre Madeira ; Martin Wirsing;
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: 1
NO MEU: ORCID | DBLP
35
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
36
TÍTULO: Hierarchical Hybrid Logic
AUTORES: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
37
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
38
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
39
TÍTULO: Institutions for Behavioural Dynamic Logic with Binders
AUTORES: Rolf Hennicker; Alexandre Madeira ;
PUBLICAÇÃO: 2017, FONTE: 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017 in Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, VOLUME: 10580
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
40
TÍTULO: On Kleene Algebras for Weighted Computation
AUTORES: Leandro Gomes ; Alexandre Madeira ; Luis S Barbosa ;
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
NO MEU: ORCID | DBLP
Página 4 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