Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Confirmed Publications: 69



41
TITLE: Asymmetric Combination of Logics is Functorial: A Survey
AUTHORS: Renato Neves ; Alexandre Madeira ; Luís Soares Barbosa ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: WADT, VOLUME: 10644 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
42
TITLE: Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
AUTHORS: Madeira, A ; Barbosa, LS ; Hennicker, R; Martins, MA ;
PUBLISHED: 2016, SOURCE: 13th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, VOLUME: 9965
INDEXED IN: Scopus WOS DBLP CrossRef: 5
43
TITLE: Encoding hybridized institutions into first-order logic
AUTHORS: Diaconescu, R; Madeira, A ;
PUBLISHED: 2016, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 23
44
TITLE: Observational Semantics for Dynamic Logic with Binders
AUTHORS: Rolf Hennicker; Alexandre Madeira ;
PUBLISHED: 2016, SOURCE: WADT, VOLUME: 10644 LNCS
INDEXED IN: Scopus DBLP CrossRef: 3
45
TITLE: On Interval Dynamic Logic
AUTHORS: Regivan H N Santiago; Benjamín R C Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: SBMF, VOLUME: 10090 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
46
TITLE: Proof theory for hybrid(ised) logics
AUTHORS: Neves, R ; Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2016, SOURCE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 126
INDEXED IN: Scopus WOS DBLP CrossRef: 11
47
TITLE: Reuse and Integration of Specification Logics: The Hybridisation Perspective
AUTHORS: Luís Soares Barbosa ; Manuel A Martins ; Alexandre Madeira ; Renato Neves ;
PUBLISHED: 2016, SOURCE: Theoretical Information Reuse and Integration, VOLUME: 446
INDEXED IN: Scopus DBLP CrossRef: 1
48
TITLE: A Dynamic Logic for Every Season
AUTHORS: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2015, SOURCE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, VOLUME: 8941
INDEXED IN: Scopus WOS DBLP CrossRef: 5
49
TITLE: A logic for n-dimensional hierarchical refinement
AUTHORS: Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2015, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 209, ISSUE: 209
INDEXED IN: Scopus WOS DBLP CrossRef: 1
50
TITLE: A Logic for Robotics?  Full Text
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
Page 5 of 7. Total results: 69.

footer slogan

Useful Links

Get Help

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