Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 95



71
TÍTULO: Inconsistencies in Health Care Knowledge
AUTORES: Costa, D; Martins, MA ;
PUBLICAÇÃO: 2014, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID
72
TÍTULO: Paradigm integration in a specification course
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ; Neves, R ;
PUBLICAÇÃO: 2014, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
73
TÍTULO: THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT  Full Text
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2014, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 10, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
74
TÍTULO: A Coalgebraic Perspective on Logical Interpretations  Full Text
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: STUDIA LOGICA, VOLUME: 101, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
75
TÍTULO: An Institution for Alloy and Its Translation to Second-Order Logic
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: IRI (best papers), VOLUME: 263
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
76
TÍTULO: Bisimilarity and refinement for hybrid(ised) logics  Full Text
AUTORES: Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: Refine@IFM, VOLUME: 115
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
77
TÍTULO: Boilerplates for Reconfigurable Systems: A Language and Its Semantics
AUTORES: Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 8129
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
78
TÍTULO: Giving Alloy a family
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2013, FONTE: IRI
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
79
TÍTULO: Hybridisation at Work
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: CALCO, VOLUME: 8089 LNCS
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
80
TÍTULO: Malinowski modalization, modalization through fibring and the Leibniz hierarchy  Full Text
AUTORES: Martins, MA ; Voutsadakis, G;
PUBLICAÇÃO: 2013, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 21, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
Página 8 de 10. Total de resultados: 95.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service