Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Confirmed Publications: 71



31
TITLE: A Family of Graded Epistemic Logics
AUTHORS: Mario R F Benevides; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
32
TITLE: A logic for the stepwise development of reactive systems  Full Text
AUTHORS: Alexandre Madeira ; Luis S Barbosa ; Rolf Hennicker; Manuel A Martins ;
PUBLISHED: 2018, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | DBLP
33
TITLE: A Research Agenda on Quantum Algoritmics
AUTHORS: Luis S Barbosa ; Alexandre Madeira ;
PUBLISHED: 2018, SOURCE: ERCIM NEWS, VOLUME: 2018, ISSUE: 113
INDEXED IN: WOS DBLP
IN MY: ORCID | DBLP
34
TITLE: Behavioural and abstractor specifications revisited  Full Text
AUTHORS: Rolf Hennicker; Alexandre Madeira ; Martin Wirsing;
PUBLISHED: 2018, SOURCE: Conference on European Theory and Practice of Software (ETAPS) in THEORETICAL COMPUTER SCIENCE, VOLUME: 741
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
35
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
36
TITLE: Hierarchical Hybrid Logic
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
37
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
38
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
39
TITLE: Institutions for Behavioural Dynamic Logic with Binders
AUTHORS: Rolf Hennicker; Alexandre Madeira ;
PUBLISHED: 2017, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
40
TITLE: On Kleene Algebras for Weighted Computation
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis S Barbosa ;
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
IN MY: ORCID | DBLP
Page 4 of 8. Total results: 71.

A place for researchers and their institutions

Useful Links

Get Help

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