Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Confirmed Publications: 39



1
TITLE: A Family of Graded Epistemic Logics
AUTHORS: Mario R F Benevides; Alexandre Madeira ; Manuel A Martins;
SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
2
TITLE: A logic for the stepwise development of reactive systems  Full Text
AUTHORS: Alexandre Madeira ; Luis S Barbosa ; Rolf Hennicker; Manuel A Martins;
SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
3
TITLE: A Research Agenda on Quantum Algoritmics
AUTHORS: Luis S Barbosa ; Alexandre Madeira ;
SOURCE: ERCIM NEWS, VOLUME: 2018, ISSUE: 113, PUBLISHED: 2018
INDEXED IN: WOS DBLP
IN MY: ORCID | DBLP
4
TITLE: Behavioural and abstractor specifications revisited  Full Text
AUTHORS: Rolf Hennicker; Alexandre Madeira ; Martin Wirsing;
SOURCE: Conference on European Theory and Practice of Software (ETAPS) in THEORETICAL COMPUTER SCIENCE, VOLUME: 741, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
5
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;
SOURCE: DALI@TABLEAUX, VOLUME: 10669, PUBLISHED: 2018
INDEXED IN: DBLP
IN MY: ORCID | DBLP
6
TITLE: Hierarchical Hybrid Logic
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins; Luis S Barbosa ;
SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
7
TITLE: Preface
AUTHORS: Benevides, M; Madeira, A ;
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, PUBLISHED: 2018
INDEXED IN: Scopus
IN MY: ORCID
8
TITLE: Institutions for Behavioural Dynamic Logic with Binders
AUTHORS: Rolf Hennicker; Alexandre Madeira ;
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, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
9
TITLE: On Kleene Algebras for Weighted Computation
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis S Barbosa ;
SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
10
TITLE: A method for rigorous design of reconfigurable systems  Full Text
AUTHORS: Alexandre Madeira ; Renato Neves ; Luis S Barbosa ; Manuel A Martins ;
SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
Page 1 of 4. Total results: 39.

A place for researchers and their institutions

Useful Links

Get Help

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