Manuel António Gonçalves Martins


AuthID: R-000-A10

Confirmed Publications: 95



51
TITLE: A Tableau System for Quasi-Hybrid Logic
AUTHORS: Diana Costa; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: IJCAR, VOLUME: 9706
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
52
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
IN MY: ORCID
53
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
IN MY: ORCID
54
TITLE: Behavioral equivalence of hidden <i>k</i>-logics: An abstract algebraic approach  Full Text
AUTHORS: Babenyshev, S; Martins, MA ;
PUBLISHED: 2016, SOURCE: JOURNAL OF APPLIED LOGIC, VOLUME: 16
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
55
TITLE: Continuity as a computational effect
AUTHORS: Neves, R ; Barbosa, LS ; Hofmann, D ; Martins, MA ;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID
56
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
IN MY: ORCID
57
TITLE: Intelligent-based Robot to deal with Contradictions
AUTHORS: Costa, D; Martins, MA ;
PUBLISHED: 2016, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2016 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2016)
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
58
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
IN MY: ORCID
59
TITLE: Proof theory for hybrid(ised) logics  Full Text
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
IN MY: ORCID
60
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
IN MY: ORCID
Page 6 of 10. Total results: 95.

footer slogan

Useful Links

Get Help

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