Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Confirmed Publications: 69



31
TITLE: A Research Agenda on Quantum Algoritmics
AUTHORS: Barbosa, LS ; Madeira, A ;
PUBLISHED: 2018, SOURCE: ERCIM NEWS, VOLUME: 2018, ISSUE: 113
INDEXED IN: WOS DBLP
32
TITLE: Behavioural and abstractor specifications revisited
AUTHORS: Hennicker, R; Madeira, A ; Wirsing, M;
PUBLISHED: 2018, SOURCE: Conference on European Theory and Practice of Software (ETAPS) in THEORETICAL COMPUTER SCIENCE, VOLUME: 741
INDEXED IN: Scopus WOS DBLP CrossRef: 4
33
TITLE: Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
AUTHORS: Alexandre Madeira ; Mário Benevides;
PUBLISHED: 2018, SOURCE: DALI@TABLEAUX, VOLUME: 10669
INDEXED IN: DBLP
IN MY: ORCID | DBLP
34
TITLE: Hierarchical Hybrid Logic
AUTHORS: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXED IN: Scopus WOS DBLP CrossRef: 1
35
TITLE: Preface
AUTHORS: Benevides, M; Madeira, A ;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
36
TITLE: Verification for Everyone? An Overview of Dynamic Logic
AUTHORS: Alexandre Madeira ;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
37
TITLE: Institutions for Behavioural Dynamic Logic with Binders
AUTHORS: Rolf Hennicker; Alexandre Madeira ;
PUBLISHED: 2017, SOURCE: ICTAC, VOLUME: 10580 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
38
TITLE: On Kleene Algebras for Weighted Computation
AUTHORS: Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2017, SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623
INDEXED IN: Scopus WOS DBLP CrossRef: 2
39
TITLE: A method for rigorous design of reconfigurable systems
AUTHORS: Madeira, A ; Neves, R ; Barbosa, LS ; Martins, MA ;
PUBLISHED: 2016, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132
INDEXED IN: Scopus WOS DBLP CrossRef: 12
40
TITLE: An exercise on the generation of many-valued dynamic logics
AUTHORS: Madeira, A ; Neves, R ; Martins, MA ;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 17
Page 4 of 7. Total results: 69.

footer slogan

Useful Links

Get Help

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