Manuel António Gonçalves Martins


AuthID: R-000-A10

Confirmed Publications: 95



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

footer slogan

Useful Links

Get Help

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