Manuel António Gonçalves Martins


AuthID: R-000-A10

Confirmed Publications: 76



61
TITLE: Malinowski modalization, modalization through fibring and the Leibniz hierarchy  Full Text
AUTHORS: Manuel Antonio Martins ; George Voutsadakis;
PUBLISHED: 2013, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 21, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
62
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 | ResearcherID | DBLP
63
TITLE: When even the interface evolves ...
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
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 | ResearcherID | DBLP
64
TITLE: Hybrid Specification of Reactive Systems: An Institutional Approach
AUTHORS: Alexandre Madeira ; Jose M Faria; Manuel A Martins ; Luis S Barbosa ;
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 | ResearcherID | DBLP
65
TITLE: Hybridization of Institutions
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Razvan Diaconescu; Luís Soares Barbosa ;
PUBLISHED: 2011, SOURCE: 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011 in Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, VOLUME: 6859
INDEXED IN: Scopus DBLP CrossRef: 31
IN MY: ORCID | DBLP
66
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: 15th International Refinement Workshop, Refine 2011 in Proceedings 15th International Refinement Workshop, Refine 2011, Limerick, Ireland, 20th June 2011., VOLUME: 55
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
67
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
68
TITLE: Behavioral Algebraization of Logics  Full Text
AUTHORS: Carlos Caleiro ; Ricardo Gonçalves; Manuel A Martins ;
PUBLISHED: 2009, SOURCE: Studia Logica, VOLUME: 91, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: ORCID | DBLP
69
TITLE: Refinement by Interpretation in a General Setting
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2009, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 259, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
70
TITLE: Refinement via interpretation
AUTHORS: Manuel A Martins ; Alexandre Madeira ; 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 | ResearcherID | DBLP
Page 7 of 8. Total results: 76.

A place for researchers and their institutions

Useful Links

Get Help

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