Manuel António Gonçalves Martins


AuthID: R-000-A10

Confirmed Publications: 95



71
TITLE: Inconsistencies in Health Care Knowledge
AUTHORS: Costa, D; Martins, MA ;
PUBLISHED: 2014, SOURCE: 16th IEEE International Conference on e-Health Networking, Applications and Services (Healthcom) in 2014 IEEE 16TH INTERNATIONAL CONFERENCE ON E-HEALTH NETWORKING, APPLICATIONS AND SERVICES (HEALTHCOM)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
72
TITLE: Paradigm integration in a specification course
AUTHORS: Martins, MA ; Madeira, A ; Barbosa, LS ; Neves, R ;
PUBLISHED: 2014, SOURCE: 15th IEEE International Conference on Information Reuse and Integration (IEEE IRI) / IRI-HI / FMI / DIM / EM-RITE / WICSOC / SocialSec / IICPC / NatSec in 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI)
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
73
TITLE: THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT  Full Text
AUTHORS: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2014, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 10, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
74
TITLE: A Coalgebraic Perspective on Logical Interpretations  Full Text
AUTHORS: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: STUDIA LOGICA, VOLUME: 101, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
75
TITLE: An Institution for Alloy and Its Translation to Second-Order Logic
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: IRI (best papers), VOLUME: 263
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
76
TITLE: Bisimilarity and refinement for hybrid(ised) logics  Full Text
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: Refine@IFM, VOLUME: 115
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
77
TITLE: Boilerplates for Reconfigurable Systems: A Language and Its Semantics
AUTHORS: Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 8129
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
78
TITLE: Giving Alloy a family
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2013, SOURCE: IRI
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
79
TITLE: Hybridisation at Work
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: CALCO, VOLUME: 8089 LNCS
INDEXED IN: Scopus DBLP
IN MY: ORCID
80
TITLE: Malinowski modalization, modalization through fibring and the Leibniz hierarchy  Full Text
AUTHORS: Martins, MA ; Voutsadakis, G;
PUBLISHED: 2013, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 21, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
Page 8 of 10. Total results: 95.

footer slogan

Useful Links

Get Help

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