Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 95



81
TÍTULO: On a coalgebraic view on Logic
AUTORES: Hofmann, D ; Martins, MA ;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 23, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
82
TÍTULO: When even the interface evolves ...
AUTORES: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: 7th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE)
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
83
TÍTULO: Hybrid Specification of Reactive Systems: An Institutional Approach
AUTORES: Madeira, A ; Faria, JM; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2011, FONTE: 9th International Conference on Software Engineering and Formal Methods in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 7041
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID
84
TÍTULO: Hybridization of Institutions
AUTORES: Manuel A Martins ; Alexandre Madeira ; Razvan Diaconescu; Luís Soares Barbosa ;
PUBLICAÇÃO: 2011, FONTE: CALCO, VOLUME: 6859 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 36
NO MEU: ORCID
85
TÍTULO: Refinement by interpretation in π-institutions  Full Text
AUTORES: César Jesus Rodrigues; Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2011, FONTE: Refine@FM, VOLUME: 55
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
86
TÍTULO: Admissible equivalence systems
AUTORES: Babenyshev, S; Martins, MA ;
PUBLICAÇÃO: 2010, FONTE: Bulletin of the Section of Logic, VOLUME: 39, NÚMERO: 1-2
INDEXADO EM: Scopus
NO MEU: ORCID
87
TÍTULO: Behavioral Algebraization of Logics
AUTORES: Carlos Caleiro ; Ricardo Gonçalves; Manuel A Martins ;
PUBLICAÇÃO: 2009, FONTE: Stud Logica, VOLUME: 91, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID
88
TÍTULO: Refinement by Interpretation in a General Setting
AUTORES: Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2009, FONTE: REFINE@FMWeek, VOLUME: 259, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID
89
TÍTULO: Refinement via interpretation
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2009, FONTE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
90
TÍTULO: Automatic structures for semigroup constructions  Full Text
AUTORES: Andrade, I; Descalco, L ; Manuel A Martins ;
PUBLICAÇÃO: 2008, FONTE: SEMIGROUP FORUM, VOLUME: 76, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef: 4
NO MEU: ORCID | ResearcherID
Página 9 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